SAS 2022
Mon 5 - Wed 7 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
VenueUniversity of Auckland
Room nameLecture Theatre 2
Room number505-007
Capacity250
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 5 Dec

Displayed time zone: Auckland, Wellington change

11:00 - 12:00
SLE and GPCE PapersSPLASH COVID Time Papers In Person at Lecture Theatre 2
Chair(s): Andreea Costea School of Computing, National University Of Singapore
11:00
30m
Talk
FIDDLR: streamlining reuse with concern-specific modelling languages
SPLASH COVID Time Papers In Person
Maximilian Schiedermeier McGill University, Jörg Kienzle McGill University, Canada, Bettina Kemme McGill University, Canada
Link to publication DOI
11:30
30m
Talk
Manipulating GUI Structures Declaratively
SPLASH COVID Time Papers In Person
Knut Anders Stokke , Mikhail Barash University of Bergen, Jaakko Järvi University of Turku
Link to publication DOI
13:30 - 14:30
SLE papersSPLASH COVID Time Papers In Person at Lecture Theatre 2
Chair(s): Peter Thiemann University of Freiburg, Germany
13:30
30m
Talk
Automatic Grammar Repair
SPLASH COVID Time Papers In Person
Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
Link to publication DOI
14:00
30m
Talk
Grammar-based testing for little languages: an experience report with student compilers
SPLASH COVID Time Papers In Person
Phillip van Heerden Stellenbosch University, Moeketsi Raselimo Stellenbosch University, South Africa, Konstantinos (Kostis) Sagonas Uppsala University and Nat. Tech. Univ. of Athens, Bernd Fischer Stellenbosch University, South Africa
Link to publication DOI

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

15:30 - 17:30
APLAS PapersSPLASH COVID Time Papers In Person at Lecture Theatre 2
Chair(s): Joxan Jaffar National University of Singapore
15:30
30m
Talk
A Counterexample-Guided Debugger for Non-Recursive Datalog
SPLASH COVID Time Papers In Person
Van-Dang Tran National Institute of Informatics, Japan, Hiroyuki Kato National Institute of Informatics, Japan, Zhenjiang Hu Peking University
Link to publication DOI
16:00
30m
Talk
A New Refinement Type System for Automated nu-HFLZ Validity Checking
SPLASH COVID Time Papers In Person
Hiroyuki Katsura , Naoki Iwayama University of Tokyo, Japan, Naoki Kobayashi University of Tokyo, Japan, Takeshi Tsukada Chiba University
Link to publication DOI
16:30
30m
Talk
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine
SPLASH COVID Time Papers In Person
Andrea Rosà USI Lugano, Walter Binder USI Lugano
Link to publication DOI
17:00
30m
Talk
Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination
SPLASH COVID Time Papers In Person
Tsubasa Shoshi , Takuma Ishikawa The University of Tokyo, Naoki Kobayashi University of Tokyo, Japan, Ken Sakayori University of Bologna, Ryosuke Sato University of Tokyo, Japan, Takeshi Tsukada Chiba University
Link to publication DOI

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

13:30 - 15:00
SAS Papers 1SPLASH COVID Time Papers In Person at Lecture Theatre 2
Chair(s): Roberto Giacobazzi University of Verona
13:30
30m
Talk
Abstract Neural Networks
SPLASH COVID Time Papers In Person
Matthew Sotoudeh Stanford University, Aditya V. Thakur University of California at Davis
Link to publication DOI
14:00
30m
Talk
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
SPLASH COVID Time Papers In Person
Denis Mazzucato INRIA & École Normale Supérieure, Caterina Urban Inria & École Normale Supérieure | Université PSL
Link to publication DOI
14:30
30m
Talk
Static analysis of ReLU neural networks with tropical polyhedra
SPLASH COVID Time Papers In Person
Eric Goubault Ecole Polytechnique, Sebastien Palumby Ecole Polytechnique, Sylvie Putot École Polytechnique, Louis Rustenholz Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute, Sriram Sankaranarayanan University of Colorado, Boulder
Link to publication DOI
15:30 - 17:00
15:30
30m
Talk
Compositional Verification of Smart Contracts Through Communication Abstraction
SPLASH COVID Time Papers In Person
Scott Wesley University of Waterloo, Canada, Maria Christakis MPI-SWS, Jorge A. Navas Certora, inc., Richard Trefler University of Waterloo, Canada, Valentin Wüstholz ConsenSys, Arie Gurfinkel University of Waterloo
Link to publication DOI
16:30
30m
Talk
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
SPLASH COVID Time Papers In Person
Hugo Illous CEA & INRIA / ENS Paris, Matthieu Lemerre CEA LIST, France, Xavier Rival INRIA/CNRS/ENS Paris
Link to publication DOI

Thu 8 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Synthesis ISPLASH OOPSLA at Lecture Theatre 2
Chair(s): Hakjoo Oh Korea University
10:30
30m
Research paper
Complexity-guided container replacement synthesisDistinguished Paper
SPLASH OOPSLA
Chengpeng Wang Hong Kong University of Science and Technology, Peisen Yao Hong Kong University of Science and Technology, Wensheng Tang Hong Kong University of Science and Technology, Qingkai Shi Ant Group, Charles Zhang Hong Kong University of Science and Technology
DOI
11:00
30m
Talk
Katara: Synthesizing CRDTs with Verified Lifting
SPLASH OOPSLA
Shadaj Laddad University of California at Berkeley, Conor Power University of California at Berkeley, Mae Milano University of California at Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein University of California at Berkeley
DOI
11:30
30m
Talk
Specification-Guided Component-Based Synthesis from Effectful Libraries
SPLASH OOPSLA
Ashish Mishra Purdue University, Suresh Jagannathan Purdue University
DOI
15:30 - 17:00
CompileSPLASH OOPSLA at Lecture Theatre 2
Chair(s): Stefan Marr University of Kent
15:30
30m
Talk
Compilation of Dynamic Sparse Tensor Algebra
SPLASH OOPSLA
Stephen Chou Massachusetts Institute of Technology, Saman Amarasinghe Massachusetts Institute of Technology
DOI
16:00
30m
Talk
Incremental Type-Checking for Free: Using Scope Graphs to Derive Incremental Type-Checkers
SPLASH OOPSLA
Aron Zwaan Delft University of Technology, Hendrik van Antwerpen Delft University of Technology, Eelco Visser Delft University of Technology
DOI
16:30
30m
Talk
UniRec: A Unimodular-Like Framework for Nested Recursions and Loops
SPLASH OOPSLA
Kirshanthan Sundararajah Purdue University, Charitha Saumya Purdue University, Milind Kulkarni Purdue University
DOI

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Synthesis IISPLASH OOPSLA at Lecture Theatre 2
Chair(s): Loris D'Antoni University of Wisconsin-Madison
10:30
30m
Talk
Neural Architecture Search using Property Guided Synthesis
SPLASH OOPSLA
Charles Jin Massachusetts Institute of Technology, Phitchaya Mangpo Phothilimthana Google Research, Sudip Roy Cohere.ai
DOI
11:00
30m
Talk
Synthesizing Axiomatizations using Logic Learning
SPLASH OOPSLA
Paul Krogmeier University of Illinois at Urbana-Champaign, Zhengyao Lin Carnegie Mellon University, Adithya Murali University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign
DOI
11:30
30m
Research paper
Synthesizing fine-grained synchronization protocols for implicit monitors
SPLASH OOPSLA
Kostas Ferles Veridise Inc., Benjamin Sepanski The University of Texas at Austin, Rahul Krishnan University of Wisconsin-Madison, James Bornholt University of Texas at Austin, Işıl Dillig University of Texas at Austin
DOI
13:30 - 15:00
QuantumSPLASH OOPSLA at Lecture Theatre 2
Chair(s): Jan Vitek Northeastern University
13:30
30m
Research paper
Bugs in Quantum computing platforms: an empirical study
SPLASH OOPSLA
Matteo Paltenghi University of Stuttgart, Germany, Michael Pradel University of Stuttgart
DOI
14:00
30m
Talk
Tower: Data Structures in Quantum Superposition
SPLASH OOPSLA
Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
14:30
30m
Talk
Verified Compilation of Quantum Oracles
SPLASH OOPSLA
Liyi Li University of Maryland, Finn Voichick University of Maryland, Kesha Hietala University of Maryland, Yuxiang Peng University of Maryland, Xiaodi Wu University of Maryland, Michael Hicks University of Maryland; Amazon
DOI
15:30 - 17:00
EffectsSPLASH OOPSLA at Lecture Theatre 2
Chair(s): Peter Thiemann University of Freiburg, Germany
15:30
30m
Research paper
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
SPLASH OOPSLA
Jonathan Immanuel Brachthäuser University of Tübingen, Philipp Schuster University of Tübingen, Edward Lee University of Waterloo, Aleksander Boruch-Gruszecki EPFL
DOI
16:00
30m
Talk
First-class Names for Effect Handlers
SPLASH OOPSLA
Ningning Xie University of Toronto, Youyou Cong Tokyo Institute of Technology, Kazuki Ikemori Tokyo Institute of Technology, Daan Leijen Microsoft Research
DOI
16:30
30m
Talk
High-Level Effect Handlers in C++
SPLASH OOPSLA
Dan Ghica Huawei, Sam Lindley University of Edinburgh, Marcos Maronas Bravo Huawei, Maciej Piróg Huawei
DOI

Sat 10 Dec

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
ProofsSPLASH OOPSLA at Lecture Theatre 2
Chair(s): Atsushi Igarashi Kyoto University
10:30
30m
Talk
Data-Driven Lemma Synthesis for Interactive Proofs
SPLASH OOPSLA
Aishwarya Sivaraman University of California at Los Angeles, Alex Sanchez-Stern University of Massachusetts at Amherst, Bretton Chen University of California at Los Angeles, Sorin Lerner University of California at San Diego, Todd Millstein University of California at Los Angeles
DOI
11:00
30m
Talk
Intrinsically-Typed Definitional Interpreters à la Carte
SPLASH OOPSLA
Cas van der Rest Delft University of Technology, Casper Bach Poulsen Delft University of Technology, Arjen Rouvoet Delft University of Technology, Eelco Visser Delft University of Technology, Peter D. Mosses Swansea University and Delft University of Technology
DOI
11:30
30m
Research paper
Proof transfer for fast certification of multiple approximate neural networks
SPLASH OOPSLA
Shubham Ugare University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign
DOI
13:30 - 15:00
ConcurrencySPLASH OOPSLA at Lecture Theatre 2
Chair(s): Suresh Jagannathan Purdue University
13:30
30m
Research paper
C4: verified transactional objects
SPLASH OOPSLA
Mohsen Lesani University of California at Riverside, Li-yao Xia University of Pennsylvania, Anders Kaseorg Massachusetts Institute of Technology, Christian J. Bell MIT CSAIL, Adam Chlipala Massachusetts Institute of Technology, Benjamin C. Pierce University of Pennsylvania, Steve Zdancewic University of Pennsylvania
DOI
14:00
30m
Talk
Concurrent Size
SPLASH OOPSLA
Gal Sela Technion, Erez Petrank Technion
DOI
14:30
30m
Talk
Veracity: Declarative Multicore Programming with Commutativity
SPLASH OOPSLA
Adam Chen Stevens Institute of Technology, Parisa Fathololumi Stevens Institute of Technology, Eric Koskinen Stevens Institute of Technology, Jared Pincus Stevens Institute of Technology
DOI
15:30 - 17:00
Synthesis IIISPLASH OOPSLA at Lecture Theatre 2
Chair(s): Ilya Sergey National University of Singapore
15:30
30m
Research paper
Automated transpilation of imperative to functional code using neural-guided program synthesis
SPLASH OOPSLA
Benjamin Mariano University of Texas at Austin, Yanju Chen University of California at Santa Barbara, Yu Feng University of California at Santa Barbara, Greg Durrett University of Texas at Austin, Işıl Dillig University of Texas at Austin
DOI
16:00
30m
Talk
Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
SPLASH OOPSLA
Yanju Chen University of California at Santa Barbara, Yuepeng Wang Simon Fraser University, Maruth Goyal University of Texas at Austin, James Dong Stanford University, Yu Feng University of California at Santa Barbara, Işıl Dillig University of Texas at Austin
DOI
16:30
30m
Talk
Synthesizing Abstract Transformers
SPLASH OOPSLA
Pankaj Kumar Kalita IIT Kanpur, Sujit Kumar Muduli IIT Kanpur, Loris D'Antoni University of Wisconsin-Madison, Thomas Reps University of Wisconsin-Madison, Subhajit Roy IIT Kanpur
DOI

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

Thu 8 Dec

Displayed time zone: Auckland, Wellington change

Room10:003011:003012:003013:003014:003015:003016:0030
Lecture Theatre 2

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

Sat 10 Dec

Displayed time zone: Auckland, Wellington change