SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
VenueSwissotel Chicago
Room nameZurich G
Room InformationNo extra information available
Program

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

Mon 18 Oct

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

09:00 - 10:20
Welcome to REBLS & KeynoteREBLS at Zurich G
09:00
10m
Day opening
Welcome to REBLS
REBLS
Louis Mandel IBM T.J. Watson Research Center
09:10
60m
Keynote
Specification and End-to-End Proof of a Reactive Language and its CompilerKeynote
REBLS
10:50 - 12:10
Session 1REBLS at Zurich G
10:50
25m
Talk
Dyninka: a FaaS framework for distributed dataflow applications
REBLS
Patrik Fortier INSA Lyon, Frédéric Le Mouël INSA Lyon, Julien Ponge Red Hat, Inc.
11:15
25m
Talk
Poker: Visual Instrumentation of Reactive Programs With Programmable Probes
REBLS
Cloé Descheemaeker Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Thierry Renaux Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Pre-print
11:40
25m
Talk
ShapeRank: Rank Polymorphism meets Reactive Streams
REBLS
Gilad Bracha g.bracha@f5.com
13:50 - 15:10
Session 2REBLS at Zurich G
13:50
25m
Talk
Trampoline Variables: A General Method for State Accumulation in Reactive Programming
REBLS
Bjarno Oeyen Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI Pre-print
14:15
25m
Talk
Symmetric Distributed Applications
REBLS
Francisco Sant'Anna Rio de Janeiro State University, Rodrigo Santos Microsoft, Noemi Rodriguez PUC-Rio
14:40
25m
Talk
Analysing the performance and costs of reactive programming libraries in Java
REBLS
Julien Ponge Red Hat, Inc., Arthur Navarro Red Hat, Clément Escoffier Red Hat, Frédéric Le Mouël INSA Lyon
15:40 - 17:00
Session 3REBLS at Zurich G

Tue 19 Oct

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

10:50 - 12:10
Session 2VMIL at Zurich G
10:50
26m
Talk
A Small Scheme VM, Compiler and REPL in 4KResearch Paper
VMIL
Samuel Yvon , Marc Feeley Université de Montréal
11:16
26m
Talk
Lightweight On-Stack Replacement in Languages with Unstructured LoopsResearch Paper
VMIL
Matt D'Souza University of Waterloo, Gilles Duboscq Oracle Labs
11:43
26m
Talk
WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applicationsWIP Paper
VMIL
Carlos Javier Rojas Castillo Vrije Universiteit Brussel, Matteo Marra Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
Pre-print
13:50 - 15:10
Session 3VMIL at Zurich G
13:50
40m
Keynote
Keynote 2 (TBD)Keynote
VMIL
Tobias Grosser University of Edinburgh
14:50
20m
Talk
YJIT: A Basic Block Versioning JIT Compiler for CRubyWIP Paper
VMIL
15:40 - 17:00
Session 4VMIL at Zurich G
15:40
60m
Keynote
GraalVM Native Image: Large-scale static analysis for JavaKeynote
VMIL
Christian Wimmer Oracle Labs
16:40
10m
Talk
Closing
VMIL
Gregor Richards University of Waterloo, Manuel Rigger ETH Zurich

Wed 20 Oct

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

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

Thu 21 Oct

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

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

Fri 22 Oct

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

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

Sun 17 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Zurich G

Mon 18 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Zurich G

Tue 19 Oct

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Zurich G

Wed 20 Oct

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

Thu 21 Oct

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

Fri 22 Oct

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