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
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
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
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
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
How (Not) to Write Java Pointer Analyses after 2020
SIGPLAN Papers
Link to publication DOI Pre-print
IOOpt- Automatic Derivation of I/O complexity bounds for affine programs
SIGPLAN Papers
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
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
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
Recovering Purity with Comonads and Capabilities
SIGPLAN Papers
DOI
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
Robustness Certification with Generative Models
SIGPLAN Papers
SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
SIGPLAN Papers
DOI Pre-print
SPPL: A Probabilistic Programming System with Exact and Scalable Symbolic Inference
SIGPLAN Papers
DOI
Scooter & Sidecar: A domain-specific approach to writing secure migrations
SIGPLAN Papers
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 Data Structure Refinements from Integrity 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
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

This program is tentative and subject to change.

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 A +8h
09:00
20m
Day opening
Opening Session
Opening
Hridesh Rajan Iowa State University
09:00 - 09:01
SPLASH StartOpening at Zurich A
09:00
1m
Day opening
SPLASH Conference at Chicago Starts Now
Opening

09:20 - 10:20
SPLASH KeynoteKeynotes at Zurich A +8h
09:20
60m
Keynote
TBDKeynote
Keynotes
K: Rick Stevens Argonne National Laboratory
10:50 - 12:10
OOPSLA 2020 Papers 1SIGPLAN Papers at Zurich G
10:50
20m
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
11:10
20m
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:30
20m
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:50
20m
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
13:50 - 15:10
OOPSLA 2020 Papers 2SIGPLAN Papers at Zurich G
13:50
20m
Talk
Programming and Reasoning with Partial Observability
SIGPLAN Papers
Eric Atkinson MIT, Michael Carbin Massachusetts Institute of Technology
14:10
20m
Talk
Pomsets with Preconditions: A Simple Model of Relaxed Memory
SIGPLAN Papers
Radha Jagadeesan DePaul University, Alan Jeffrey Roblox, James Riely DePaul University
14:30
20m
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:50
20m
Talk
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
SIGPLAN Papers
Christoph Sprenger ETH Zurich, Tobias Klenze ETH Zurich, Marco Eilers ETH Zurich, Felix A. Wolf ETH Zurich, Peter Müller ETH Zurich, Martin Clochard ETH Zurich, David Basin ETH Zurich
15:40 - 17:00
OOPSLA 2020 Papers 3SIGPLAN Papers at Zurich G
15:40
20m
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
16:00
20m
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:20
20m
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:40
20m
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
17:00 - 17:20
Opening SessionOpening at Zurich A
17:00
20m
Day opening
Opening Session
Opening
Hridesh Rajan Iowa State University
17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich A
17:20
60m
Keynote
TBDKeynote
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 A +8h
09:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli Microsoft Research and 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
20m
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:10
20m
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:30
20m
Talk
Program Sketching with Live Bidirectional Evaluation
SIGPLAN Papers
Justin Lubin University of California, Berkeley, Nick Collins University of Chicago, Cyrus Omar University of Michigan, Ravi Chugh University of Chicago
DOI
11:50
20m
Talk
Recovering Purity with Comonads and Capabilities
SIGPLAN Papers
Vikraman Choudhury Indiana University & University of Cambridge, Neel Krishnaswami Computer Laboratory, University of Cambridge
DOI
10:50 - 12:10
PLDI 2020 Papers 1SIGPLAN Papers at Zurich F
10:50
20m
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:10
20m
Talk
Decidable Verification under a Causally Consistent Shared Memory
SIGPLAN Papers
Ori Lahav Tel Aviv University, Udi Boker IDC Herzliya, Israel
11:30
20m
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:50
20m
Talk
Verifying Concurrent Search Structure Templates
SIGPLAN Papers
Siddharth Krishna Microsoft Research, Cambridge, Nisarg Patel New York University, USA, Dennis Shasha New York University, USA, Thomas Wies New York University
10:50 - 12:10
PLDI 2021 Papers 1SIGPLAN Papers at Zurich G
10:50
20m
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:10
20m
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
11:30
20m
Talk
Synthesizing Data Structure Refinements from Integrity Constraints
SIGPLAN Papers
Shankara Pailoor University of Texas at Austin, Yuepeng Wang Simon Fraser University, Xinyu Wang University of Michigan, Isil Dillig University of Texas at Austin
11:50
20m
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
13:50 - 15:10
PLDI 2020 Papers 2SIGPLAN Papers at Zurich F
13:50
20m
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:10
20m
Talk
Reactive Probabilistic Programming
SIGPLAN Papers
Guillaume Baudart IBM Research, USA, Louis Mandel IBM T.J. Watson Research Center, Eric Atkinson MIT, Benjamin Sherman Massachusetts Institute of Technology, USA, Marc Pouzet École normale supérieure, Michael Carbin Massachusetts Institute of Technology
DOI Pre-print
14:30
20m
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:50
20m
Talk
The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
SIGPLAN Papers
Thomas Bourgeat , Clément Pit-Claudel Massachusetts Institute of Technology, USA, Adam Chlipala Massachusetts Institute of Technology, Arvind Massachusetts Institute of Technology, USA
13:50 - 15:10
PLDI 2021 Papers 2SIGPLAN Papers at Zurich G
13:50
20m
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:10
20m
Talk
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
SIGPLAN Papers
Ruslan Nikolaev Virginia Tech, Binoy Ravindran Virginia Tech
14:30
20m
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:50
20m
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
15:40 - 17:00
ICFP 2021 PapersSIGPLAN Papers at Zurich E
Chair(s): Cyrus Omar University of Michigan
15:40
20m
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
16:00
20m
Talk
Compositional Optimizations for CertiCoq
SIGPLAN Papers
Zoe Paraskevopoulou Northeastern University, USA, John M. Li Princeton University, Andrew Appel Princeton
DOI
16:20
20m
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:40
20m
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
15:40 - 17:00
PLDI 2020 Papers 3SIGPLAN Papers at Zurich F
15:40
20m
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
16:00
20m
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:20
20m
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:40
20m
Talk
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
SIGPLAN Papers
Chandrakana Nandi Certora, inc., Max Willsey University of Washington, USA, Adam Anderson University of Washington, USA, James R. Wilcox University of Washington, Eva Darulova MPI-SWS, Dan Grossman University of Washington, USA, Zachary Tatlock University of Washington, Seattle
15:40 - 17:00
PLDI 2021 Papers 3SIGPLAN Papers at Zurich G
15:40
20m
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
16:00
20m
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:20
20m
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:40
20m
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
17:20 - 18:20
SPLASH KeynoteKeynotes at Zurich A
17:20
60m
Talk
Integrated Scientific Modeling and Lab AutomationKeynote
Keynotes
K: Luca Cardelli Microsoft Research and University of Oxford

Fri 22 Oct

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

09:20 - 10:20
Onward! Keynote TalkOnward! Papers at Zurich A +8h
09:20
60m
Keynote
TBDKeynote
Onward! Papers
K: Robyn Lutz Iowa State University
10:50 - 12:10
OOPSLA 2020 Papers 4SIGPLAN Papers at Zurich E
10:50
20m
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, USA, Fredrik Kjolstad Stanford University
11:10
20m
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:30
20m
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
11:50
20m
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
10:50 - 12:10
PLDI 2021 Papers 4SIGPLAN Papers at Zurich F
10:50
20m
Talk
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
SIGPLAN Papers
Guillaume Baudart Inria, Javier Burroni , Martin Hirzel IBM Research, Louis Mandel IBM T.J. Watson Research Center, Avraham Shinnar IBM Research
11:10
20m
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:30
20m
Talk
Robustness Certification with Generative Models
SIGPLAN Papers
Matthew Mirman ETH Zurich, Alexander Hägele ETH Zurich, Timon Gehr ETH Zurich, Switzerland, Pavol Bielik ETH Zurich, Martin Vechev ETH Zurich, Switzerland
11:50
20m
Talk
SPPL: A Probabilistic Programming System with Exact and Scalable Symbolic Inference
SIGPLAN Papers
Feras A. Saad Massachusetts Institute of Technology, Martin C. Rinard Massachusetts Institute of Technology, Vikash K. Mansinghka MIT
DOI
10:50 - 12:10
PLDI 2020 Papers 4SIGPLAN Papers at Zurich G
10:50
26m
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, USA, Prithayan Barua Georgia Institute of Technology, USA, Santosh Pande Georgia Institute of Technology, USA
11:16
26m
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:43
26m
Talk
SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
SIGPLAN Papers
Sotiris Apostolakis Google, Ziyang Xu Princeton University, USA, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University, USA
DOI Pre-print
13:50 - 15:10
OOPSLA 2020 Papers 5SIGPLAN Papers at Zurich E
13:50
20m
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:10
20m
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:30
20m
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
13:50 - 15:10
PLDI 2021 Papers 5SIGPLAN Papers at Zurich F
13:50
20m
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:10
20m
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:30
20m
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:50
20m
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
13:50 - 15:10
ICFP 2020 and Onward 2020 PapersSIGPLAN Papers at Zurich G
13:50
40m
Talk
How (Not) to Write Java Pointer Analyses after 2020
SIGPLAN Papers
Manas Thakur Indian Institute of Technology Mandi
Link to publication DOI Pre-print
14:30
40m
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
15:10 - 17:00
Closing SessionClosing at Zurich A
15:10
1h50m
Day closing
Ice Cream Social
Closing
Hridesh Rajan Iowa State University
17:20 - 18:20
Onward! Keynote TalkOnward! Papers at Zurich A
17:20
60m
Keynote
TBDKeynote
Onward! Papers
K: Robyn Lutz Iowa State University