SPLASH 2021 (series) /
Recent SIGPLAN Conference Paper PresentationsSPLASH 2021
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
Dates
Plenary
Wed 20 OctDisplayed time zone: Central Time (US & Canada) change
Wed 20 Oct
Displayed time zone: Central Time (US & Canada) change
09:00 - 09:20 | |||
09:00 20mDay opening | Opening SessionIn-Person Opening Hridesh Rajan Iowa State University | ||
09:00 - 09:01 | |||
09:00 1mDay opening | SPLASH Conference at Chicago Starts NowIn-Person Opening | ||
09:20 - 10:20 | |||
09:20 60mKeynote | Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote Keynotes | ||
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 15mTalk | 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 15mTalk | 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 15mTalk | Deductive Optimization of Relational Data Storage SIGPLAN Papers Jack Feser Massachusetts Institute of Technology, Sam Madden Massachusetts Institute of Technology, Nan Tang QCRI HBKU, Armando Solar-Lezama Massachusetts Institute of Technology | ||
11:35 15mTalk | 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 20mLive 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 15mTalk | Programming and Reasoning with Partial Observability SIGPLAN Papers Eric Atkinson Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology | ||
14:05 15mTalk | Pomsets with Preconditions: A Simple Model of Relaxed Memory SIGPLAN Papers | ||
14:20 15mTalk | 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 15mPaper | Demystifying Dependence SIGPLAN Papers Link to publication Pre-print | ||
14:50 20mLive 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 Bodík University of Washington, Shoaib Kamil Adobe Research | ||
16:40 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
17:00 - 18:50 | |||
17:00 1h50mOther | ReceptionIn-Person Opening | ||
17:00 - 17:20 | |||
17:00 20mDay opening | Opening SessionIn-Person Opening Hridesh Rajan Iowa State University | ||
17:20 - 18:20 | |||
17:20 60mKeynote | Exascale and then what?: HPC and AI for Scientific DiscoveryKeynote Keynotes | ||
Thu 21 OctDisplayed time zone: Central Time (US & Canada) change
Thu 21 Oct
Displayed time zone: Central Time (US & Canada) change
09:20 - 10:20 | |||
09:20 60mTalk | Integrated Scientific Modeling and Lab AutomationKeynote Keynotes | ||
10:50 - 12:10 | ICFP 2020 PapersSIGPLAN Papers at Zurich E Chair(s): Stefan K. Muller Illinois Institute of Technology | ||
10:50 15mTalk | 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 15mTalk | Denotational Recurrence Extraction for Amortized Analysis SIGPLAN Papers Joseph W. Cutler University of Pennsylvania, Daniel R. Licata Wesleyan University, Norman Danner Wesleyan University DOI | ||
11:20 15mTalk | 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 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
10:50 - 12:10 | |||
10:50 15mTalk | 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 15mTalk | Decidable Verification under a Causally Consistent Shared Memory SIGPLAN Papers | ||
11:20 15mTalk | 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 15mTalk | 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 20mLive 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 15mTalk | 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 15mTalk | Web Question Answering with Neurosymbolic Program Synthesis SIGPLAN Papers Jocelyn (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, Işıl Dillig University of Texas at Austin | ||
11:20 15mTalk | 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 15mTalk | 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 20mLive 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mPaper | 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 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
13:50 - 15:10 | |||
13:50 15mTalk | 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 15mTalk | Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures SIGPLAN Papers | ||
14:20 15mTalk | 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 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
15:40 - 17:00 | |||
15:40 15mTalk | 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 15mTalk | Compositional Optimizations for CertiCoq SIGPLAN Papers Zoe Paraskevopoulou Northeastern University, John M. Li Princeton University, Andrew W. Appel Princeton DOI | ||
16:10 15mTalk | Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations SIGPLAN Papers Chaitanya S. Koparkar Indiana University, Mike Rainey Carnegie Mellon University, Michael Vollmer University of Kent, Milind Kulkarni Purdue University, Ryan R. Newton Facebook DOI | ||
16:25 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
15:40 - 17:00 | |||
15:40 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
15:40 - 17:00 | |||
15:40 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
17:00 - 18:50 | |||
17:00 1h50mOther | ReceptionIn-Person Opening | ||
17:20 - 18:20 | |||
17:20 60mTalk | Integrated Scientific Modeling and Lab AutomationKeynote Keynotes | ||
Fri 22 OctDisplayed time zone: Central Time (US & Canada) change
Fri 22 Oct
Displayed time zone: Central Time (US & Canada) change
09:00 - 09:05 | |||
09:00 5mOther | Introduction to SPLASH 2022 Opening Alex Potanin Victoria University of Wellington | ||
09:05 - 09:20 | AwardsAwards at Zurich D +8h Chair(s): Işıl Dillig University of Texas at Austin, Sophia Drossopoulou Facebook and Imperial College London | ||
09:05 15mAwards | 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 60mKeynote | Designing Safe Programmed Molecular SystemsVirtualKeynote Onward! Papers | ||
10:50 - 12:10 | |||
10:50 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
10:50 - 12:10 | |||
10:50 15mTalk | Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming SIGPLAN Papers Guillaume Baudart IBM Research, USA, Javier Burroni , Martin Hirzel IBM Research, Louis Mandel IBM Research, Avraham Shinnar IBM Research | ||
11:05 15mTalk | On Probabilistic Termination of Functional Programs with Continuous Distributions SIGPLAN Papers | ||
11:20 15mTalk | 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 15mTalk | 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 20mLive 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
13:50 - 15:10 | |||
13:50 15mTalk | Gradual Verification of Recursive Heap Data Structures SIGPLAN Papers Jenna DiVincenzo (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 15mTalk | 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 15mTalk | 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 15mTalk | 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, Işıl Dillig University of Texas at Austin DOI | ||
14:50 20mLive 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 15mTalk | 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 20mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
13:50 - 15:10 | |||
13:50 15mTalk | Untangling mechanized proofs SIGPLAN Papers Clément Pit-Claudel MIT CSAIL Link to publication | ||
14:20 15mTalk | 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 15mLive Q&A | Discussion, Questions and Answers SIGPLAN Papers | ||
15:10 - 17:00 | |||
15:10 1h50mDay closing | Ice Cream Social Closing Hridesh Rajan Iowa State University | ||
17:00 - 17:05 | |||
17:00 5mOther | Introduction to SPLASH 2022 Opening Alex Potanin Victoria University of Wellington | ||
17:05 - 17:20 | |||
17:05 15mAwards | SPLASH Awards Awards | ||
17:20 - 18:20 | Onward! Keynote TalkOnward! Papers at Zurich D Chair(s): Elisa Baniassad University of British Columbia | ||
17:20 60mKeynote | Designing Safe Programmed Molecular SystemsVirtualKeynote Onward! Papers | ||
Jonathan Aldrich
Carnegie Mellon University
Adam ChlipalaICFP 2020 PC Chair
Massachusetts Institute of Technology
United States
Ronald GarciaICFP 2021 PC Chair
University of British Columbia
David GroveOOPSLA 2020 PC Chair
IBM Research
United States
Emina TorlakPLDI 2020 PC Chair
University of Washington
United States
Eran YahavPLDI 2021 PC Chair
Technion