SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand

Several SIGPLAN conferences have been held virtually or in hybrid mode since March 2020.

We invite authors of papers from ICFP, OOPSLA, POPL, and PLDI conferences who were previously only able to present their work in a virtual track, to come to Auckland and present their work in person at SPLASH 2022.

NB! Only papers never presented in past SIGPLAN Tracks of the other conferences are eligible.

These presentations will be given during the main conference days, in parallel with OOPSLA and Onward! 2022 presentations. They will not be streamed, since they were already streamed at their respective conferences in a virtual track.

Registration deadline: October 1st, 2022

Registration to present SIGPLAN OOPSLA/Onward!/POPL/PLDI/ICFP covid-affected papers: please fill up this form.

UPDATE: We are providing the same opportunity to the COVID-affected authors of GPCE, DLS, SAS, and SLE. To register, please fill up this form.

Dates
Plenary
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

10:00 - 10:30
10:00
30m
Coffee break
Coffee break
Catering and Social Events

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
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering and Social Events

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
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering and Social Events

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering and Social Events

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

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering and Social Events

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:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering and Social Events

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:00 - 10:30
10:00
30m
Coffee break
Coffee break
Catering and Social Events

10:30 - 12:00
ICFP and SASCOVID Time Papers In Person at Seminar Room LG004
Chair(s): Peter Thiemann University of Freiburg, Germany
10:30
30m
Talk
Composing and decomposing op-based CRDTs with semidirect products
COVID Time Papers In Person
Matthew Weidner Carnegie Mellon University, Heather Miller Carnegie Mellon University, USA, Christopher Meiklejohn Carnegie Mellon University
Link to publication DOI
11:00
30m
Talk
Improving Thread-Modular Abstract Interpretation
COVID Time Papers In Person
Michael Schwarz Technische Universität München, Simmo Saan University of Tartu, Estonia, Helmut Seidl Technische Universität München, Kalmer Apinis University of Tartu, Estonia, Julian Erhard Technical University of Munich, Vesal Vojdani University of Tartu
Link to publication DOI
11:30
30m
Talk
Static Analysis of Endian Portability by Abstract InterpretationVirtual
COVID Time Papers In Person
David Delmas Airbus & Sorbonne Université, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université
Link to publication DOI
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering and Social Events

15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering and Social Events

15:30 - 17:00
ICFP PapersCOVID Time Papers In Person at Seminar Room LG004
Chair(s): Matthieu Lemerre CEA LIST, France
15:30
30m
Talk
Certifying the Synthesis of Heap-Manipulating Programs
COVID Time Papers In Person
Yasunari Watanabe Ahrefs Research, Kiran Gopinathan National University of Singapore, George Pîrlea National University of Singapore, Singapore, Nadia Polikarpova University of California at San Diego, Ilya Sergey National University of Singapore
Link to publication DOI
16:00
30m
Talk
Kindly Bent to Free Us
COVID Time Papers In Person
Gabriel Radanne Inria, Hannes Saffrich University of Freiburg, Peter Thiemann University of Freiburg, Germany
Link to publication DOI
16:30
30m
Talk
Stable relations and abstract interpretation of higher-order programs
COVID Time Papers In Person
Benoît Montagu Inria, Thomas P. Jensen INRIA Rennes
Link to publication File Attached
18:00 - 21:00
18:00
3h
Dinner
Dinner
Catering and Social Events

Fri 9 Dec

Displayed time zone: Auckland, Wellington change

10:00 - 10:30
10:00
30m
Coffee break
Coffee break
Catering and Social Events

10:30 - 12:30
OOPSLA PapersCOVID Time Papers In Person at Seminar Room LG004
Chair(s): Manas Thakur IIT Bombay
10:30
30m
Talk
Label dependent lambda calculus and gradual typing
COVID Time Papers In Person
Weili Fu University of Freiburg, Germany, Fabian Krause University of Freiburg, Peter Thiemann University of Freiburg, Germany
Link to publication DOI
11:00
30m
Talk
Modular Specification and Verification of Closures in Rust
COVID Time Papers In Person
Fabian Wolff , Aurel Bílý ETH Zurich, Christoph Matheja ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia
Link to publication DOI
11:30
30m
Talk
Revisiting Iso-Recursive SubtypingVirtual
COVID Time Papers In Person
Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Jinxu Zhao University of Hong Kong
Link to publication DOI
12:00
30m
Talk
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
COVID Time Papers In Person
Yannis Smaragdakis University of Athens, Neville Grech University of Malta, Sifis Lagouvardos University of Athens, Konstantinos Triantafyllou ETH Zurich, Ilias Tsatiris University of Athens
Link to publication DOI
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering and Social Events

13:30 - 15:00
Onward! Papers and EssaysCOVID Time Papers In Person at Seminar Room LG004
Chair(s): Matthew Sotoudeh Stanford University
13:30
30m
Talk
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
COVID Time Papers In Person
Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University
Link to publication DOI
14:00
30m
Talk
How (Not) To Write Java Pointer Analyses After 2020
COVID Time Papers In Person
Manas Thakur IIT Bombay
Link to publication DOI
14:30
30m
Talk
Putting the Semantics into Semantic Versioning
COVID Time Papers In Person
Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce ConsenSys
Link to publication DOI
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering and Social Events

Sat 10 Dec

Displayed time zone: Auckland, Wellington change

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering and Social Events

13:30 - 15:00
PLDI and POPL PapersCOVID Time Papers In Person at Seminar Room LG004
Chair(s): Joxan Jaffar National University of Singapore
13:30
30m
Talk
PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization
COVID Time Papers In Person
Fabian Ritter Saarland University, Germany, Sebastian Hack Saarland University, Germany
Link to publication DOI
14:00
30m
Talk
Software Model-Checking as Cyclic-Proof Search
COVID Time Papers In Person
Takeshi Tsukada Chiba University, Hiroshi Unno University of Tsukuba; RIKEN AIP
Link to publication DOI
14:30
30m
Talk
SolType: Refinement Types for Arithmetic Overflow in Solidity
COVID Time Papers In Person
Bryan Tan , Benjamin Mariano The University of Texas at Austin, Texas, USA, Shuvendu K. Lahiri Microsoft Research, Işıl Dillig University of Texas at Austin, Yu Feng University of California at Santa Barbara
Link to publication DOI
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering and Social Events

15:30 - 17:00
PLDI PapersCOVID Time Papers In Person at Seminar Room LG004
Chair(s): Jonathan Aldrich Carnegie Mellon University
15:30
30m
Talk
Behavioral simulation for smart contracts
COVID Time Papers In Person
Sidi Mohamed Beillahi University of Toronto, Gabriela Ciocarlie University of Texas at San Antonio, Michael Emmi Amazon Web Services, Constantin Enea Ecole Polytechnique / LIX / CNRS
Link to publication DOI
16:00
30m
Talk
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
COVID Time Papers In Person
Lexi Brent International Computer Science Institute, USA / University of Sydney, Australia, Neville Grech University of Malta, Sifis Lagouvardos University of Athens, Bernhard Scholz The University of Sydney, Yannis Smaragdakis University of Athens
Link to publication DOI
16:30
30m
Talk
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
COVID Time Papers In Person
George Pîrlea National University of Singapore, Singapore, Amrit Kumar Zilliqa Research, Ilya Sergey National University of Singapore
Link to publication DOI

Not scheduled yet

Not scheduled yet
Talk
Vision: the next 700 language workbenches
COVID Time Papers In Person
Mikhail Barash University of Bergen
Link to publication DOI
Not scheduled yet
Talk
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
COVID Time Papers In Person
Anastasia Isychev Technical University of Munich, Eva Darulova Uppsala University, Helmut Seidl Technische Universität München
Link to publication DOI

Accepted Papers

Title
Abstract Neural Networks
COVID Time Papers In Person
Link to publication DOI
A Case Study in Language-Based Security: Building an I/O Library for Wyvern
COVID Time Papers In Person
Link to publication DOI
A Counterexample-Guided Debugger for Non-Recursive Datalog
COVID Time Papers In Person
Link to publication DOI
A New Refinement Type System for Automated nu-HFLZ Validity Checking
COVID Time Papers In Person
Link to publication DOI
Automatic Grammar Repair
COVID Time Papers In Person
Link to publication DOI
Behavioral simulation for smart contracts
COVID Time Papers In Person
Link to publication DOI
Certifying the Synthesis of Heap-Manipulating Programs
COVID Time Papers In Person
Link to publication DOI
Composing and decomposing op-based CRDTs with semidirect products
COVID Time Papers In Person
Link to publication DOI
Compositional Verification of Smart Contracts Through Communication Abstraction
COVID Time Papers In Person
Link to publication DOI
Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
COVID Time Papers In Person
Link to publication DOI
Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities
COVID Time Papers In Person
Link to publication DOI
FIDDLR: streamlining reuse with concern-specific modelling languages
COVID Time Papers In Person
Link to publication DOI
Grammar-based testing for little languages: an experience report with student compilers
COVID Time Papers In Person
Link to publication DOI
How (Not) To Write Java Pointer Analyses After 2020
COVID Time Papers In Person
Link to publication DOI
Improving Thread-Modular Abstract Interpretation
COVID Time Papers In Person
Link to publication DOI
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
COVID Time Papers In Person
Link to publication DOI
Kindly Bent to Free Us
COVID Time Papers In Person
Link to publication DOI
Label dependent lambda calculus and gradual typing
COVID Time Papers In Person
Link to publication DOI
Manipulating GUI Structures Declaratively
COVID Time Papers In Person
Link to publication DOI
Modular Specification and Verification of Closures in Rust
COVID Time Papers In Person
Link to publication DOI
P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine
COVID Time Papers In Person
Link to publication DOI
PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization
COVID Time Papers In Person
Link to publication DOI
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
COVID Time Papers In Person
Link to publication DOI
Putting the Semantics into Semantic Versioning
COVID Time Papers In Person
Link to publication DOI
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
COVID Time Papers In Person
Link to publication DOI
Revisiting Iso-Recursive SubtypingVirtual
COVID Time Papers In Person
Link to publication DOI
Software Model-Checking as Cyclic-Proof Search
COVID Time Papers In Person
Link to publication DOI
SolType: Refinement Types for Arithmetic Overflow in Solidity
COVID Time Papers In Person
Link to publication DOI
Stable relations and abstract interpretation of higher-order programs
COVID Time Papers In Person
Link to publication File Attached
Static Analysis of Endian Portability by Abstract InterpretationVirtual
COVID Time Papers In Person
Link to publication DOI
Static analysis of ReLU neural networks with tropical polyhedra
COVID Time Papers In Person
Link to publication DOI
Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts
COVID Time Papers In Person
Link to publication DOI
Termination Analysis for the pi-Calculus by Reduction to Sequential Program Termination
COVID Time Papers In Person
Link to publication DOI
Vision: the next 700 language workbenches
COVID Time Papers In Person
Link to publication DOI