SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
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 PapersCOVID 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
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
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 papersCOVID Time Papers In Person at Lecture Theatre 2
Chair(s): Peter Thiemann University of Freiburg, Germany
13:30
30m
Talk
Automatic Grammar Repair
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
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 PapersCOVID 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
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
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
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
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 1COVID Time Papers In Person at Lecture Theatre 2
Chair(s): Roberto Giacobazzi University of Verona
13:30
30m
Talk
Abstract Neural Networks
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
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
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
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
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
10:30
30m
Research paper
Complexity-guided container replacement synthesis
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
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
OOPSLA
Ashish Mishra Purdue University, Suresh Jagannathan Purdue University
DOI
15:30 - 17:00
15:30
30m
Talk
Compilation of Dynamic Sparse Tensor Algebra
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
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
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 IIOOPSLA at Lecture Theatre 2
10:30
30m
Talk
Neural Architecture Search using Property Guided Synthesis
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
OOPSLA
Paul Krogmeier University of Illinois at Urbana-Champaign, Zhengyao Lin University of Illinois at Urbana-Champaign, 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
OOPSLA
Kostas Ferles Veridise Inc., Benjamin Sepanski The University of Texas at Austin, Rahul Krishnan UT Austin, James Bornholt University of Texas at Austin, Işil Dillig University of Texas at Austin
DOI
13:30 - 15:00
13:30
30m
Research paper
Bugs in Quantum computing platforms: an empirical study
OOPSLA
Matteo Paltenghi University of Stuttgart, Germany, Michael Pradel University of Stuttgart
DOI
14:00
30m
Talk
Tower: Data Structures in Quantum Superposition
OOPSLA
Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
14:30
30m
Talk
Verified Compilation of Quantum Oracles
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
15:30
30m
Research paper
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
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
OOPSLA
Ningning Xie University of Cambridge / 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++
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
10:30
30m
Talk
Data-Driven Lemma Synthesis for Interactive Proofs
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
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
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
13:30
30m
Research paper
C4: verified transactional objects
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
OOPSLA
Gal Sela Technion, Erez Petrank Technion
DOI
14:30
30m
Talk
Veracity: Declarative Multicore Programming with Commutativity
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 IIIOOPSLA at Lecture Theatre 2
15:30
30m
Research paper
Automated transpilation of imperative to functional code using neural-guided program synthesis
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şil Dillig University of Texas at Austin
DOI
16:00
30m
Talk
Synthesis-Powered Optimization of Smart Contracts via Data Type Refactoring
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şil Dillig University of Texas at Austin
DOI
16:30
30m
Talk
Synthesizing Abstract Transformers
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
Hide past events

Mon 5 Dec

Displayed time zone: Auckland, Wellington change

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

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

Sat 10 Dec

Displayed time zone: Auckland, Wellington change

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