SPLASH 2022 (series) /
COVID Time Papers In PersonSPLASH 2022
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
Mon 5 DecDisplayed time zone: Auckland, Wellington change
Mon 5 Dec
Displayed time zone: Auckland, Wellington change
10:00 - 10:30 | |||
10:00 30mCoffee 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 30mTalk | 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 30mTalk | Manipulating GUI Structures Declaratively COVID Time Papers In Person Link to publication DOI | ||
12:00 - 13:30 | |||
12:00 90mLunch | 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 30mTalk | 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 30mTalk | 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 30mCoffee break | Coffee break Catering and Social Events | ||
Tue 6 DecDisplayed time zone: Auckland, Wellington change
Tue 6 Dec
Displayed time zone: Auckland, Wellington change
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee break Catering and Social Events | ||
Wed 7 DecDisplayed time zone: Auckland, Wellington change
Wed 7 Dec
Displayed time zone: Auckland, Wellington change
12:00 - 13:30 | |||
12:00 90mLunch | 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 30mTalk | Abstract Neural Networks COVID Time Papers In Person Link to publication DOI | ||
14:00 30mTalk | 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 30mTalk | 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 30mCoffee break | Coffee break Catering and Social Events | ||
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | 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 DecDisplayed time zone: Auckland, Wellington change
Thu 8 Dec
Displayed time zone: Auckland, Wellington change
10:00 - 10:30 | |||
10:00 30mCoffee 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 90mLunch | Lunch Catering and Social Events | ||
15:00 - 15:30 | |||
15:00 30mCoffee 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 30mTalk | 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 30mTalk | 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 30mTalk | Stable relations and abstract interpretation of higher-order programs COVID Time Papers In Person Link to publication File Attached | ||
18:00 - 21:00 | |||
18:00 3hDinner | Dinner Catering and Social Events | ||
Fri 9 DecDisplayed time zone: Auckland, Wellington change
Fri 9 Dec
Displayed time zone: Auckland, Wellington change
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering and Social Events | ||
12:00 - 13:30 | |||
12:00 90mLunch | 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 30mTalk | 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 30mTalk | How (Not) To Write Java Pointer Analyses After 2020 COVID Time Papers In Person Manas Thakur IIT Bombay Link to publication DOI | ||
14:30 30mTalk | 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 30mCoffee break | Coffee break Catering and Social Events | ||
Sat 10 DecDisplayed time zone: Auckland, Wellington change
Sat 10 Dec
Displayed time zone: Auckland, Wellington change
12:00 - 13:30 | |||
12:00 90mLunch | 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 30mTalk | PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization COVID Time Papers In Person Link to publication DOI | ||
14:00 30mTalk | Software Model-Checking as Cyclic-Proof Search COVID Time Papers In Person Link to publication DOI | ||
14:30 30mTalk | 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 30mCoffee 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 | ||
Unscheduled Events
| Not scheduled Talk | Vision: the next 700 language workbenches COVID Time Papers In Person Mikhail Barash University of Bergen Link to publication DOI | ||
| Not scheduled 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 |
