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

This year, we will have a virtual OOPSLA track to provide the authors an opportunity to present their work without travelling to New Zealand. The virtual event will happen on November 29 and 30 (in most time zones).

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

Wed 30 Nov

Displayed time zone: Auckland, Wellington change

04:00 - 05:30
Session 1V-OOPSLA at Virtual Airmeet Room
Chair(s): Amal Ahmed Northeastern University, USA, Jan Vitek Northeastern University
04:00
15m
Talk
Generic Go to Go: Dictionary-Passing, Monomorphisation, and HybridPre-recorded
V-OOPSLA
Stephen Ellis Imperial College London, Shuofei Zhu Pennsylvania State University, Nobuko Yoshida University of Oxford, Linhai Song Pennsylvania State University
DOI
04:15
15m
Research paper
Coverage-guided tensor compiler fuzzing with joint IR-pass mutationPre-recorded
V-OOPSLA
Jiawei Liu University of Illinois at Urbana-Champaign, Yuxiang Wei Tongji University, Sen Yang Fudan University, Yinlin Deng University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign
DOI
04:30
15m
Talk
Modular Verification of Op-Based CRDTs in Separation Logic
V-OOPSLA
Abel Nieto Aarhus University, Léon Gondelman Aarhus University, Alban Reynaud ENS Lyon, Amin Timany Aarhus University, Lars Birkedal Aarhus University
DOI
04:45
15m
Talk
Monadic and Comonadic Aspects of Dependency Analysis
V-OOPSLA
Pritam Choudhury University of Pennsylvania
DOI
05:00
30m
Live Q&A
Q&A for Session 1
V-OOPSLA

21:00 - 22:45
Session 2V-OOPSLA at Virtual Airmeet Room
Chair(s): Sophia Drossopoulou Meta and Imperial College London
21:00
15m
Talk
Taming Transitive Redundancy for Context-Free Language ReachabilityPre-recorded
V-OOPSLA
Yuxiang Lei University of Technology Sydney, Yulei Sui University of New South Wales, Sydney, Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
DOI
21:15
15m
Talk
Scalable Linear Invariant Generation with Farkas’ Lemma
V-OOPSLA
Hongming Liu Shanghai Jiao Tong University, Hongfei Fu Shanghai Jiao Tong University, zhiyong yu Shanghai Jiao Tong University, Jiaxin Song Shanghai Jiao Tong University, Guoqiang Li Shanghai Jiao Tong University
DOI
21:30
15m
Talk
Consistency-Preserving Propagation for SMT Solving of Concurrent Program VerificationPre-recorded
V-OOPSLA
Zhihang Sun Tsinghua University, Hongyu Fan Tsinghua University, Fei He Tsinghua University
DOI
21:45
15m
Talk
Oracle-Free Repair Synthesis for Floating-Point ProgramsPre-recorded
V-OOPSLA
Daming Zou ETH Zurich, Yuchen Gu Peking University, Yuanfeng Shi Peking University, Mingzhe Wang Princeton University, Yingfei Xiong Peking University, Zhendong Su ETH Zurich
DOI
22:00
15m
Talk
Neurosymbolic Repair for Low-Code Formula Languages
V-OOPSLA
Rohan Bavishi University of California at Berkeley, Harshit Joshi Microsoft, José Pablo Cambronero Microsoft, Anna Fariha Microsoft, Sumit Gulwani Microsoft, Vu Le Microsoft, Ivan Radiček Microsoft, Ashish Tiwari Microsoft
DOI
22:15
30m
Live Q&A
Q&A for Session 2
V-OOPSLA

Thu 1 Dec

Displayed time zone: Auckland, Wellington change

01:00 - 02:30
Session 3V-OOPSLA at Virtual Airmeet Room
Chair(s): Atsushi Igarashi Kyoto University
01:00
15m
Research paper
SHARP: fast incremental context-sensitive pointer analysis for JavaPre-recorded
V-OOPSLA
Bozhen Liu Texas A&M University, USA, Jeff Huang Texas A&M University
DOI
01:15
15m
Talk
Reasoning about Distributed Reconfigurable Systems
V-OOPSLA
Emma Ahrens RWTH Aachen University, Marius Bozga CNRS; Université Grenoble Alpes, Radu Iosif CNRS; Université Grenoble Alpes, Joost-Pieter Katoen RWTH Aachen University
DOI
01:30
15m
Talk
Type-Directed Synthesis of Visualizations from Natural Language Queries
V-OOPSLA
Qiaochu Chen University of Texas at Austin, Shankara Pailoor University of Texas at Austin, Celeste Barnaby University of Texas at Austin, Abby Criswell University of Texas at Austin, Chenglong Wang Microsoft Research, Greg Durrett University of Texas at Austin, Işıl Dillig University of Texas at Austin
DOI
01:45
15m
Talk
Model Checking for a Multi-Execution Memory Model
V-OOPSLA
Evgenii Moiseenko JetBrains Research, Michalis Kokologiannakis MPI-SWS, Viktor Vafeiadis MPI-SWS
DOI
02:00
30m
Live Q&A
Q&A for Session 3
V-OOPSLA

Accepted Papers

Title
Consistency-Preserving Propagation for SMT Solving of Concurrent Program VerificationPre-recorded
V-OOPSLA
DOI
Coverage-guided tensor compiler fuzzing with joint IR-pass mutationPre-recorded
V-OOPSLA
DOI
Generic Go to Go: Dictionary-Passing, Monomorphisation, and HybridPre-recorded
V-OOPSLA
DOI
Model Checking for a Multi-Execution Memory Model
V-OOPSLA
DOI
Modular Verification of Op-Based CRDTs in Separation Logic
V-OOPSLA
DOI
Monadic and Comonadic Aspects of Dependency Analysis
V-OOPSLA
DOI
Neurosymbolic Repair for Low-Code Formula Languages
V-OOPSLA
DOI
Oracle-Free Repair Synthesis for Floating-Point ProgramsPre-recorded
V-OOPSLA
DOI
Reasoning about Distributed Reconfigurable Systems
V-OOPSLA
DOI
Scalable Linear Invariant Generation with Farkas’ Lemma
V-OOPSLA
DOI
SHARP: fast incremental context-sensitive pointer analysis for JavaPre-recorded
V-OOPSLA
DOI
Taming Transitive Redundancy for Context-Free Language ReachabilityPre-recorded
V-OOPSLA
DOI
Type-Directed Synthesis of Visualizations from Natural Language Queries
V-OOPSLA
DOI