SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

Several SIGPLAN conferences have been held virtually since March 2020. We have invited authors of papers from virtual OOPSLA 2020, PLDI 2020 and 2021, and ICFP 2020 and 2021 to present their work in person at SPLASH, and many authors have accepted. These presentations will be given during the main conference days, in parallel with OOPSLA and Onward! 2021 presentations. They will not be streamed, since they were already streamed at their respective virtual conferences.

Papers To Be Presented

Title
A General Approach to Define Binders using Matching Logic
SIGPLAN Papers
DOI
A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
SIGPLAN Papers
A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
SIGPLAN Papers
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and DifferencesIn-Person
SIGPLAN Papers
Link to publication DOI Pre-print Media Attached
An Order-Aware Dataflow Model for Parallel Unix Pipelines
SIGPLAN Papers
DOI
Armada: Low-Effort Verification of High-Performance Concurrent Programs
SIGPLAN Papers
DOI
Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
SIGPLAN Papers
Automated Policy Synthesis for System Call Sandboxing
SIGPLAN Papers
DOI
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
SIGPLAN Papers
BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
SIGPLAN Papers
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
SIGPLAN Papers
Link to publication
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
SIGPLAN Papers
Compiling Symbolic Execution with Staging and Algebraic Effects
SIGPLAN Papers
Compositional Optimizations for CertiCoq
SIGPLAN Papers
DOI
Concurrent Deferred Reference Counting for Non-garbage-collected Languages
SIGPLAN Papers
Crafty: Efficient, HTM-Compatible Persistent Transactions
SIGPLAN Papers
Cyclic Program Synthesis
SIGPLAN Papers
DOI
Data-Driven Inference of Representation Invariants
SIGPLAN Papers
Decidable Verification under a Causally Consistent Shared Memory
SIGPLAN Papers
Deductive Optimization of Relational Data Storage
SIGPLAN Papers
Demystifying Dependence
SIGPLAN Papers
Link to publication Pre-print
Denotational Recurrence Extraction for Amortized Analysis
SIGPLAN Papers
DOI
Designing Types for R, Empirically
SIGPLAN Papers
DiffStream: Differential Output Testing for Stream Processing Programs
SIGPLAN Papers
Digging for Fold: Synthesis-Aided API Discovery for Haskell
SIGPLAN Papers
DynamiTe: Dynamic Termination and Non-termination Proofs
SIGPLAN Papers
Efficient Handling of String-Number Conversion
SIGPLAN Papers
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
SIGPLAN Papers
DOI
Example-Guided Synthesis of Relational Queries
SIGPLAN Papers
Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
SIGPLAN Papers
Filling Typed Holes with Live GUIs
SIGPLAN Papers
Formulog: Datalog for SMT-based Static Analysis
SIGPLAN Papers
Gradual Verification of Recursive Heap Data Structures
SIGPLAN Papers
Guided Linking: Dynamic Linking Without the Costs
SIGPLAN Papers
Link to publication DOI
IOOpt- Automatic Derivation of I/O complexity bounds for affine programs
SIGPLAN Papers
Integration Verification Across Software and Hardware for a Simple Embedded System
SIGPLAN Papers
Koord: a language for programming and verifying distributed robotics applications
SIGPLAN Papers
Liquid Information Flow Control
SIGPLAN Papers
DOI
On Probabilistic Termination of Functional Programs with Continuous Distributions
SIGPLAN Papers
Pomsets with Preconditions: A Simple Model of Relaxed Memory
SIGPLAN Papers
Program Sketching with Live Bidirectional Evaluation
SIGPLAN Papers
DOI
Programming and Reasoning with Partial Observability
SIGPLAN Papers
Python 3 Types in the Wild: A Tale of Two Type Systems
SIGPLAN Papers
Link to publication Pre-print
Reactive Probabilistic Programming
SIGPLAN Papers
DOI Pre-print
Reasoning about the Garden of Forking Paths
SIGPLAN Papers
DOI
Reconciling Enumerative and Deductive Program Synthesis
SIGPLAN Papers
Regex Matching with Counting-Set Automata
SIGPLAN Papers
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
SIGPLAN Papers
Responsive Parallelism with Futures and State
SIGPLAN Papers
SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
SIGPLAN Papers
DOI Pre-print
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
SIGPLAN Papers
DOI
Scooter & Sidecar: A domain-specific approach to writing secure migrations
SIGPLAN Papers
Semantic Code Search via Equational Reasoning
SIGPLAN Papers
Link to publication
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
SIGPLAN Papers
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
SIGPLAN Papers
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
SIGPLAN Papers
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
SIGPLAN Papers
TacTok: Semantics-Aware Proof Synthesis
SIGPLAN Papers
Link to publication DOI Pre-print
The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
SIGPLAN Papers
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
SIGPLAN Papers
Towards a Verified Range Analysis for JavaScript JITs
SIGPLAN Papers
Link to publication DOI
Untangling mechanized proofs
SIGPLAN Papers
Link to publication
Vectorized Secure Evaluation of Decision Forests
SIGPLAN Papers
Verifying Concurrent Search Structure Templates
SIGPLAN Papers
Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
SIGPLAN Papers
Web Question Answering with Neurosymbolic Program Synthesis
SIGPLAN Papers
Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 20 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 09:20
Opening SessionOpening at Zurich D +8h
09:00
20m
Day opening
Opening SessionIn-Person
Opening
Hridesh Rajan Iowa State University
09:00 - 09:01
SPLASH StartOpening at Zurich D
09:00
1m
Day opening
SPLASH Conference at Chicago Starts NowIn-Person
Opening

09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich D +8h
09:20
60m
Keynote
Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory
10:50 - 12:10
OOPSLA 2020 Papers 1SIGPLAN Papers at Zurich G
Chair(s): John Renner University of California at San Diego, USA
10:50
15m
Talk
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
SIGPLAN Papers
Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University
Link to publication
11:05
15m
Talk
Designing Types for R, Empirically
SIGPLAN Papers
Alexi Turcotte Northeastern University, Aviral Goel Northeastern University, Filip Křikava Czech Technical University, Jan Vitek Northeastern University; Czech Technical University
11:20
15m
Talk
Deductive Optimization of Relational Data Storage
SIGPLAN Papers
John Feser Massachusetts Institute of Technology, Sam Madden Massachusetts Institute of Technology, Nan Tang QCRI HBKU, Armando Solar-Lezama Massachusetts Institute of Technology
11:35
15m
Talk
Digging for Fold: Synthesis-Aided API Discovery for Haskell
SIGPLAN Papers
Michael B. James University of California at San Diego, Zheng Guo University of California, San Diego, Ziteng Wang University of California at San Diego, Shivani Doshi University of California at San Diego, Hila Peleg Technion, Ranjit Jhala University of California at San Diego, Nadia Polikarpova University of California at San Diego
11:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

13:50 - 15:10
OOPSLA and Onward! 2020 Papers 2SIGPLAN Papers at Zurich G
Chair(s): Michael Coblenz University of Maryland at College Park
13:50
15m
Talk
Programming and Reasoning with Partial Observability
SIGPLAN Papers
Eric Atkinson Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
14:05
15m
Talk
Pomsets with Preconditions: A Simple Model of Relaxed Memory
SIGPLAN Papers
Radha Jagadeesan DePaul University, Alan Jeffrey Roblox, James Riely DePaul University
14:20
15m
Talk
Koord: a language for programming and verifying distributed robotics applications
SIGPLAN Papers
Ritwika Ghosh University of Illinois at Urbana-Champaign, Chiao Hsieh University of Illinois at Urbana-Champaign, Sasa Misailovic University of Illinois at Urbana-Champaign, Sayan Mitra University of Illinois at Urbana-Champaign
14:35
15m
Paper
Demystifying Dependence
SIGPLAN Papers
James Koppel Massachusetts Institute of Technology, USA, Daniel Jackson MIT
Link to publication Pre-print
14:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

15:40 - 17:00
OOPSLA 2020 Papers 3SIGPLAN Papers at Zurich G
Chair(s): Anders Miltner The University of Texas at Austin, Texas, USA
15:40
15m
Talk
DynamiTe: Dynamic Termination and Non-termination Proofs
SIGPLAN Papers
Ton Chanh Le Stevens Institute of Technology, Timos Antonopoulos Yale University, Parisa Fathololumi Stevens Institute of Technology, Eric Koskinen Stevens Institute of Technology, ThanhVu Nguyen George Mason University
15:55
15m
Talk
TacTok: Semantics-Aware Proof Synthesis
SIGPLAN Papers
Emily First University of Massachusetts at Amherst, Yuriy Brun University of Massachusetts Amherst, Arjun Guha Northeastern University
Link to publication DOI Pre-print
16:10
15m
Talk
Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
SIGPLAN Papers
Xiaohong Chen University of Illinois at Urbana-Champaign, Minh-Thai Trinh Advanced Digital Sciences Center, Nishant Rodrigues University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign
16:25
15m
Talk
Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
SIGPLAN Papers
Julie L. Newcomb University of Washington, Andrew Adams Adobe, Steven Johnson Google, Rastislav Bodik University of Washington, Shoaib Kamil Adobe Research
16:40
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

17:00 - 18:50
ReceptionOpening at Zurich B
17:00
1h50m
Other
ReceptionIn-Person
Opening

17:00 - 17:20
Opening SessionOpening at Zurich D
17:00
20m
Day opening
Opening SessionIn-Person
Opening
Hridesh Rajan Iowa State University
17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich D
17:20
60m
Keynote
Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory

Thu 21 Oct

Displayed time zone: Central Time (US & Canada) change

09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich D +8h
Chair(s): Jonathan Aldrich Carnegie Mellon University
09:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli University of Oxford
10:50 - 12:10
ICFP 2020 PapersSIGPLAN Papers at Zurich E
Chair(s): Stefan K. Muller Illinois Institute of Technology
10:50
15m
Talk
A General Approach to Define Binders using Matching Logic
SIGPLAN Papers
Xiaohong Chen University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign
DOI
11:05
15m
Talk
Denotational Recurrence Extraction for Amortized Analysis
SIGPLAN Papers
Joseph W. Cutler University of Pennsylvania, Dan Licata Wesleyan University, Norman Danner Wesleyan University
DOI
11:20
15m
Talk
Program Sketching with Live Bidirectional Evaluation
SIGPLAN Papers
Justin Lubin University of California at Berkeley, Nick Collins University of Chicago, Cyrus Omar University of Michigan, Ravi Chugh University of Chicago
DOI
11:35
15m
Talk
Liquid Information Flow Control
SIGPLAN Papers
Nadia Polikarpova University of California at San Diego, Jean Yang Carnegie Mellon University, Deian Stefan University of California at San Diego, USA, Shachar Itzhaky Technion, Armando Solar-Lezama Massachusetts Institute of Technology, Travis Hance Carnegie Mellon University
DOI
11:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

10:50 - 12:10
PLDI 2020 Papers 1SIGPLAN Papers at Zurich F
Chair(s): Luís Pina University of Illinois at Chicago
10:50
15m
Talk
Armada: Low-Effort Verification of High-Performance Concurrent Programs
SIGPLAN Papers
Jacob R. Lorch Microsoft Research, n.n., Yixuan Chen Yale University, USA, Manos Kapritsos University of Michigan, USA, Bryan Parno Carnegie Mellon University, USA, Shaz Qadeer Novi, USA, Upamanyu Sharma University of Michigan, USA, James R. Wilcox University of Washington, Xueyuan Zhao Carnegie Mellon University, USA
DOI
11:05
15m
Talk
Decidable Verification under a Causally Consistent Shared Memory
SIGPLAN Papers
Ori Lahav Tel Aviv University, Udi Boker IDC Herzliya, Israel
11:20
15m
Talk
Efficient Handling of String-Number Conversion
SIGPLAN Papers
Parosh Aziz Abdulla Uppsala University, Sweden, Mohamed Faouzi Atig Uppsala University, Sweden, Yu-Fang Chen Academia Sinica, Taiwan, Bui Phi Diep Uppsala University, Sweden, Julian Dolby IBM Research, USA, Petr Janků Brno University of Technology, Czechia, Hsin-Hung Lin Academia Sinica, Taiwan, Lukáš Holík Brno University of Technology, Wei-Cheng Wu University of Southern California, USA
11:35
15m
Talk
Verifying Concurrent Search Structure Templates
SIGPLAN Papers
Siddharth Krishna Microsoft Research, Nisarg Patel New York University, Dennis Shasha New York University, Thomas Wies New York University
11:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

10:50 - 12:10
PLDI 2021, PLDI 2020, and OOPSLA 2020 Papers 1SIGPLAN Papers at Zurich G
Chair(s): James Koppel Massachusetts Institute of Technology, USA
10:50
15m
Talk
Example-Guided Synthesis of Relational Queries
SIGPLAN Papers
Aalok Thakkar University of Pennsylvania, Aaditya Naik University of Pennsylvania, Nathaniel Sands University of Southern California, Mukund Raghothaman University of Southern California, Mayur Naik University of Pennsylvania, Rajeev Alur University of Pennsylvania
11:05
15m
Talk
Web Question Answering with Neurosymbolic Program Synthesis
SIGPLAN Papers
Qiaochu Chen University of Texas at Austin, USA, Aaron Lamoreaux University of Texas at Austin, Xinyu Wang University of Michigan, Greg Durrett University of Texas at Austin, USA, Osbert Bastani University of Pennsylvania, Isil Dillig University of Texas at Austin
11:20
15m
Talk
Reactive Probabilistic Programming
SIGPLAN Papers
Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Eric Atkinson Massachusetts Institute of Technology, Benjamin Sherman Massachusetts Institute of Technology, USA, Marc Pouzet École normale supérieure, Michael Carbin Massachusetts Institute of Technology
DOI Pre-print
11:35
15m
Talk
A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
SIGPLAN Papers
Ryan Senanayake Reservoir Labs, Changwan Hong Massachusetts Institute of Technology, Ziheng Wang Massachusetts Institute of Technology, Amalee Wilson Stanford University, Stephen Chou Massachusetts Institute of Technology, Shoaib Kamil Adobe Research, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University
11:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

13:50 - 15:10
PLDI 2020 Papers 2SIGPLAN Papers at Zurich F
Chair(s): Tyler Sorensen University of California at Santa Cruz
13:50
15m
Talk
Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
SIGPLAN Papers
Auguste Olivry Inria, France, Julien Langou , Louis-Noël Pouchet Colorado State University, USA, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France
14:05
15m
Talk
Responsive Parallelism with Futures and State
SIGPLAN Papers
Stefan K. Muller Illinois Institute of Technology, Kyle Singer Washington University in St. Louis, USA, Noah Goldstein Washington University in St. Louis, USA, Umut A. Acar Carnegie Mellon University, Kunal Agrawal Washington University in St. Louis, USA, I-Ting Angelina Lee Washington University in St. Louis, USA
14:20
15m
Talk
The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
SIGPLAN Papers
Thomas Bourgeat , Clément Pit-Claudel MIT CSAIL, Adam Chlipala Massachusetts Institute of Technology, Arvind Massachusetts Institute of Technology, USA
14:35
15m
Paper
Semantic Code Search via Equational Reasoning
SIGPLAN Papers
Varot Premtoon Massachusetts Institute of Technology, USA, James Koppel Massachusetts Institute of Technology, USA, Armando Solar-Lezama Massachusetts Institute of Technology
Link to publication
14:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

13:50 - 15:10
PLDI 2021 Papers 2SIGPLAN Papers at Zurich G
Chair(s): Michael D. Bond Ohio State University, USA
13:50
15m
Talk
Concurrent Deferred Reference Counting for Non-garbage-collected Languages
SIGPLAN Papers
Daniel Anderson Carnegie Mellon University, Guy E. Blelloch Carnegie Mellon University, USA, Yuanhao Wei Carnegie Mellon University, USA
14:05
15m
Talk
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
SIGPLAN Papers
Ruslan Nikolaev Virginia Tech, Binoy Ravindran Virginia Tech
14:20
15m
Talk
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
SIGPLAN Papers
Yoshiki Takashima Carnegie Mellon University, Ruben Martins Carnegie Mellon University, Limin Jia Carnegie Mellon University, Corina S. Păsăreanu Carnegie Mellon University
14:35
15m
Talk
Vectorized Secure Evaluation of Decision Forests
SIGPLAN Papers
Raghav Malik Purdue University, Vidush Singhal Purdue University, Benjamin Gottfried Purdue University, Milind Kulkarni Purdue University
14:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

15:40 - 17:00
ICFP 2021 PapersSIGPLAN Papers at Zurich E
Chair(s): Cyrus Omar University of Michigan
15:40
15m
Talk
An Order-Aware Dataflow Model for Parallel Unix Pipelines
SIGPLAN Papers
Shivam Handa Massachusetts Institute of Technology, Konstantinos Kallas University of Pennsylvania, Nikos Vasilakis Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology
DOI
15:55
15m
Talk
Compositional Optimizations for CertiCoq
SIGPLAN Papers
Zoe Paraskevopoulou Northeastern University, John M. Li Princeton University, Andrew Appel Princeton
DOI
16:10
15m
Talk
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
SIGPLAN Papers
Chaitanya Koparkar Indiana University, Mike Rainey Carnegie Mellon University, Michael Vollmer University of Kent, Milind Kulkarni Purdue University, Ryan R. Newton Facebook
DOI
16:25
15m
Talk
Reasoning about the Garden of Forking Paths
SIGPLAN Papers
Yao Li University of Pennsylvania, Li-yao Xia University of Pennsylvania, Stephanie Weirich University of Pennsylvania
DOI
16:40
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

15:40 - 17:00
PLDI 2020 Papers 3SIGPLAN Papers at Zurich F
Chair(s): Suresh Jagannathan Purdue University
15:40
15m
Talk
A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
SIGPLAN Papers
Muhammad Usman University of Texas at Austin, USA, Wenxi Wang University of Texas at Austin, Marko Vasic University of Texas at Austin, USA, Kaiyuan Wang Google, Inc., Haris Vikalo University of Texas at Austin, USA, Sarfraz Khurshid University of Texas at Austin
15:55
15m
Talk
Data-Driven Inference of Representation Invariants
SIGPLAN Papers
Anders Miltner The University of Texas at Austin, Texas, USA, Saswat Padhi Amazon Web Services, USA, Todd Millstein University of California, Los Angeles, David Walker Princeton University, USA
16:10
15m
Talk
Reconciling Enumerative and Deductive Program Synthesis
SIGPLAN Papers
Kangjing Huang Purdue University, USA, Xiaokang Qiu Purdue University, USA, Peiyuan Shen Purdue University, USA, Yanjun Wang Purdue University, USA
16:25
15m
Talk
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
SIGPLAN Papers
Chandrakana Nandi Certora, inc., Max Willsey University of Washington, Adam Anderson University of Washington, James R. Wilcox University of Washington, Eva Darulova Uppsala University, Dan Grossman University of Washington, Zachary Tatlock University of Washington
16:40
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

15:40 - 17:00
PLDI 2021 Papers 3SIGPLAN Papers at Zurich G
Chair(s): Fredrik Kjolstad Stanford University
15:40
15m
Talk
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
SIGPLAN Papers
Milijana Surbatovich Carnegie Mellon University, Limin Jia Carnegie Mellon University, Brandon Lucia Carnegie Mellon University, USA
15:55
15m
Talk
IOOpt- Automatic Derivation of I/O complexity bounds for affine programs
SIGPLAN Papers
Auguste Olivry Inria, France, Guillaume Iooss Inria, Nicolas Tollenaere Inria, Atanas Rountev Ohio State University, Saday Sadayappan University of Utah, USA, Fabrice Rastello Inria, France
16:10
15m
Talk
Integration Verification Across Software and Hardware for a Simple Embedded System
SIGPLAN Papers
Andres Erbsen MIT, Samuel Gruetter Massachusetts Institute of Technology, Joonwon Choi Massachusetts Institute of Technology, USA, Clark Wood Massachusetts Institute of Technology, Adam Chlipala Massachusetts Institute of Technology
16:25
15m
Talk
Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
SIGPLAN Papers
Gefei Zuo University of Michigan, Jiacheng Ma University of Michigan, Andrew Quinn University of Michigan, Pramod Bhatotia University of Edinburgh, Pedro Fonseca Purdue University, Baris Kasikci University of Michigan, USA
16:40
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

17:00 - 18:50
ReceptionOpening at Zurich B
17:00
1h50m
Other
ReceptionIn-Person
Opening

17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich D
Chair(s): Jonathan Aldrich Carnegie Mellon University
17:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli University of Oxford

Fri 22 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 09:05
SPLASH 2022 IntroductionOpening at Zurich D +8h
09:00
5m
Other
Introduction to SPLASH 2022
Opening
Alex Potanin Victoria University of Wellington
09:05 - 09:20
AwardsAwards at Zurich D +8h
Chair(s): Isil Dillig University of Texas at Austin, Sophia Drossopoulou Facebook and Imperial College London
09:05
15m
Awards
SPLASH Awards
Awards

09:20 - 10:20
Onward! Keynote TalkOnward! Papers at Zurich D +8h
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
09:20
60m
Keynote
Designing Safe Programmed Molecular SystemsVirtualKeynote
Onward! Papers
K: Robyn Lutz Iowa State University
10:50 - 12:10
OOPSLA 2020 Papers 4SIGPLAN Papers at Zurich E
Chair(s): Clément Pit-Claudel MIT CSAIL
10:50
15m
Talk
DiffStream: Differential Output Testing for Stream Processing Programs
SIGPLAN Papers
Konstantinos Kallas University of Pennsylvania, Filip Niksic Google, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania
11:05
15m
Talk
Guided Linking: Dynamic Linking Without the Costs
SIGPLAN Papers
Sean Bartell University of Illinois at Urbana-Champaign, Will Dietz University of Illinois at Urbana-Champaign, Vikram S. Adve University of Illinois at Urbana-Champaign, USA
Link to publication DOI
11:20
15m
Talk
Regex Matching with Counting-Set Automata
SIGPLAN Papers
Lukáš Holík Brno University of Technology, Ondřej Lengál Brno University of Technology, Olli Saarikivi Microsoft, Lenka Turoňová Brno University of Technology, Margus Veanes Microsoft, Tomáš Vojnar Brno University of Technology
11:35
15m
Talk
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and DifferencesIn-Person
SIGPLAN Papers
Mehdi Bagherzadeh Oakland University, Nicholas Fireman Oakland University, Anas Shawesh Oakland University, Raffi Khatchadourian CUNY Hunter College
Link to publication DOI Pre-print Media Attached
11:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

10:50 - 12:10
PLDI 2021 Papers 4SIGPLAN Papers at Zurich F
Chair(s): Baris Kasikci University of Michigan, USA
10:50
15m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
SIGPLAN Papers
Guillaume Baudart Inria; ENS; PSL University, Javier Burroni , Martin Hirzel IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research
11:05
15m
Talk
On Probabilistic Termination of Functional Programs with Continuous Distributions
SIGPLAN Papers
Raven Beutner University of Oxford, C.-H. Luke Ong University of Oxford
11:20
15m
Talk
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
SIGPLAN Papers
Feras Saad Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka MIT
DOI
11:35
15m
Talk
Cyclic Program Synthesis
SIGPLAN Papers
Shachar Itzhaky Technion, Hila Peleg Technion, Nadia Polikarpova University of California at San Diego, Reuben N. S. Rowe University of Kent, Ilya Sergey National University of Singapore
DOI
11:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

10:50 - 12:10
PLDI 2020 Papers 4SIGPLAN Papers at Zurich G
Chair(s): Muhammad Usman University of Texas at Austin, USA
10:50
15m
Talk
BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
SIGPLAN Papers
Chris Porter Georgia Institute of Technology, USA, Girish Mururu Georgia Institute of Technology, Prithayan Barua Georgia Institute of Technology, USA, Santosh Pande Georgia Institute of Technology
11:05
15m
Talk
Crafty: Efficient, HTM-Compatible Persistent Transactions
SIGPLAN Papers
Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University, USA, Guoqing Harry Xu University of California at Los Angeles
11:20
15m
Talk
SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
SIGPLAN Papers
Sotiris Apostolakis Google, Ziyang Xu Princeton University, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University
DOI Pre-print
11:35
15m
Talk
Towards a Verified Range Analysis for JavaScript JITs
SIGPLAN Papers
Fraser Brown Stanford University, USA, John Renner University of California at San Diego, USA, Andres Nötzli Stanford University, USA, Sorin Lerner University of California at San Diego, Hovav Shacham University of Texas at Austin, Deian Stefan University of California at San Diego, USA
Link to publication DOI
11:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

13:50 - 15:10
OOPSLA 2020 Papers 5SIGPLAN Papers at Zurich E
Chair(s): Yao Li University of Pennsylvania
13:50
15m
Talk
Gradual Verification of Recursive Heap Data Structures
SIGPLAN Papers
Jenna Wise Carnegie Mellon University, Johannes Bader Jane Street, Cameron Wong Jane Street, Jonathan Aldrich Carnegie Mellon University, Éric Tanter University of Chile, Joshua Sunshine Carnegie Mellon University
14:05
15m
Talk
Formulog: Datalog for SMT-based Static Analysis
SIGPLAN Papers
Aaron Bembenek Harvard University, Michael Greenberg Stevens Institute of Technology, Stephen Chong Harvard University
14:20
15m
Talk
Compiling Symbolic Execution with Staging and Algebraic Effects
SIGPLAN Papers
Guannan Wei Purdue University, Oliver Bračevac Purdue University, Shangyin Tan Purdue University, Tiark Rompf Purdue University
14:35
15m
Talk
Automated Policy Synthesis for System Call Sandboxing
SIGPLAN Papers
Shankara Pailoor University of Texas at Austin, Xinyu Wang University of Michigan, Hovav Shacham University of Texas at Austin, Isil Dillig University of Texas at Austin
DOI
14:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

13:50 - 15:10
PLDI 2021 Papers 5SIGPLAN Papers at Zurich F
Chair(s): Feras Saad Massachusetts Institute of Technology
13:50
15m
Talk
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
SIGPLAN Papers
Kia Rahmani Purdue University, Kartik Nagar IIT Madras, Benjamin Delaware Purdue University, Suresh Jagannathan Purdue University
14:05
15m
Talk
Scooter & Sidecar: A domain-specific approach to writing secure migrations
SIGPLAN Papers
John Renner University of California at San Diego, USA, Alex Sanchez-Stern University of California at San Diego, Fraser Brown Stanford University, USA, Sorin Lerner University of California at San Diego, Deian Stefan University of California at San Diego, USA
14:20
15m
Talk
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
SIGPLAN Papers
Caleb Stanford University of Pennsylvania, Margus Veanes Microsoft, Nikolaj Bjørner Microsoft Research
14:35
15m
Talk
Filling Typed Holes with Live GUIs
SIGPLAN Papers
Cyrus Omar University of Michigan, David Moon University of Michigan, Andrew Blinn University of Michigan, Ian Voysey Carnegie Mellon University, Nick Collins University of Chicago, Ravi Chugh University of Chicago
14:50
20m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

13:50 - 15:10
SLE and DLS 2020SIGPLAN Papers at Zurich G
Chair(s): James Riely DePaul University
13:50
15m
Talk
Untangling mechanized proofs
SIGPLAN Papers
Link to publication
14:20
15m
Talk
Python 3 Types in the Wild: A Tale of Two Type Systems
SIGPLAN Papers
Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Daniel McCrevan Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Martin Hirzel IBM Research, Julian Dolby IBM Research, USA
Link to publication Pre-print
14:35
15m
Live Q&A
Discussion, Questions and Answers
SIGPLAN Papers

15:10 - 17:00
Closing SessionClosing at Zurich D
15:10
1h50m
Day closing
Ice Cream Social
Closing
Hridesh Rajan Iowa State University
17:00 - 17:05
SPLASH 2022 IntroductionOpening at Zurich D
17:00
5m
Other
Introduction to SPLASH 2022
Opening
Alex Potanin Victoria University of Wellington
17:05 - 17:20
AwardsAwards at Zurich D
17:05
15m
Awards
SPLASH Awards
Awards

17:20 - 18:20
Onward! Keynote TalkOnward! Papers at Zurich D
Chair(s): Elisa Baniassad University of British Columbia
17:20
60m
Keynote
Designing Safe Programmed Molecular SystemsVirtualKeynote
Onward! Papers
K: Robyn Lutz Iowa State University