SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
VenueSwissotel Chicago
Room nameZurich F
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

Sun 17 Oct

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

09:00 - 10:20
Session 1AGERE at Zurich F

Behavioural types

09:00
10m
Day opening
Opening
AGERE
Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium
09:10
25m
Full-paper
Session Types in Elixir
AGERE
Gerard Tabone University of Malta, Adrian Francalanza University of Malta
09:35
25m
Talk
Towards Practical Protocol Verification via Minimal Orchestration in ACP
AGERE
Bas van den Heuvel University of Groningen, Jorge A. Pérez University of Groningen, The Netherlands
File Attached
10:50 - 12:10
Session 2AGERE at Zurich F

Safety and Failures

10:50
25m
Full-paper
Contract-Based Return-Value Commutativity: Safely exploiting contract-based commutativity for faster serializable transactions
AGERE
Tim Soethout ING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der Storm CWI & University of Groningen, Netherlands, Jurgen Vinju CWI, Netherlands
11:15
25m
Talk
A model of actors and grey failures
AGERE
Laura Bocchi University of Kent, Julien Lange Royal Holloway University of London, Simon Thompson IOHK, University of Kent, and ELTE, A. Laura Voinea University of Glasgow, UK
11:40
25m
Full-paper
What's the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
AGERE
Carmen Torres Lopez Vrije Universiteit Brussel, Louise Van Verre Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
12:05
5m
Day closing
Closing
AGERE
Elias Castegren Uppsala University, Sweden, Simon Fowler University of Glasgow, Joeri De Koster Vrije Universiteit Brussel, Belgium

Mon 18 Oct

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

09:00 - 10:20
Introduction and CasesDSM at Zurich F

Introduction of the workshop Cases and experiences on applying Domain-Specific Modeling

09:00
20m
Talk
Introduction
DSM
Jeff Gray University of Alabama, Matti Rossi Aalto University School of Business, Jonathan Sprinkle University of Arizona, Juha-Pekka Tolvanen MetaCase
09:20
20m
Talk
MOLEGA: Modeling Language for Educational Card Games
DSM
Kaylynn Borror Miami University, Eric Rapos Miami University
09:40
20m
Talk
PrintTalk: a Constraint-based Imperative DSL for 3D Printing
DSM
Jef Jacobs Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Belgium, Christophe De Troyer Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
10:00
20m
Talk
Industrial Experiences With the Evolution of a DSL
DSM
Mathijs Schuts Philips & Radboud University, Marco Alonso Philips, Jozef Hooman TNO & Radboud University
10:50 - 12:10
Verification and validation, ToolingDSM at Zurich F

Verification and validation with DSM, Tool development, Workshop summary and discussion

10:50
20m
Talk
Co-designing DSL Quality Assurance Measures for and with Non-programming Experts
DSM
Holger Borum IT University of Copenhagen, Christoph Seidl IT University of Copenhagen, Peter Sestoft IT University of Copenhagen
11:10
20m
Talk
Integration of Modeling and Verification for System Model Based on KARMA Language
DSM
Jie Ding Beijing Institute of Technology, Michel Reniers TU/e, Jinzhi Lu EPFL, Guoxin Wang Beijing Institute of Technology, Lei Feng KTH Royal Institute of Technology, Dimitris Kiritsis EPFL
11:30
20m
Talk
Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling
DSM
Qishen Zhang Vanderbilt University, Daniel Balasubramanian Vanderbilt University, Tamas Kecskes Vanderbilt University, Janos Sztipanovits Vanderbilt University
11:50
20m
Other
Discussion and summary
DSM

Tue 19 Oct

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

09:00 - 10:20
Keynote and Talks ILIVE at Zurich F
09:00
60m
Keynote
Software as Computational MediaKeynote
LIVE
Clemens Nylandsted Klokmose Aarhus University
10:00
20m
Talk
Joker: A Unified Interaction Model For Web Customization
LIVE
Kapaya Katongo Massachusetts Institute of Technology (MIT), Geoffrey Litt MIT, Kathryn Jin , Daniel Jackson MIT
13:50 - 15:10
Talks IIILIVE at Zurich F
13:50
20m
Talk
Supporting Network Editing and Experimentation for Novice Deep Learning Programmers
LIVE
Chunqi Zhao , Tsukasa Fukusato The University of Tokyo, Jun Kato National Institute of Advanced Industrial Science and Technology, Japan, Takeo Igarashi The University of Tokyo
14:10
20m
Talk
TypeCell: A New Live Programming Environment for the Web
LIVE
14:30
20m
Talk
Restructuring Structure Editing
LIVE
David Moon University of Michigan, Cyrus Omar University of Michigan
14:50
20m
Talk
Inkbase: Programmable Ink
LIVE

Wed 20 Oct

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

13:50 - 15:10
Graduate Student PerspectivesPLMW at Zurich F
13:50
80m
Panel
Current Student Panel
PLMW

15:40 - 17:00
MentoringPLMW at Zurich F
15:40
60m
Other
Mentoring Sessions
PLMW

16:40
20m
Talk
Closing Remarks
PLMW

Thu 21 Oct

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

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

Fri 22 Oct

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

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

Sun 17 Oct

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

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

Mon 18 Oct

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

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

Tue 19 Oct

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

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

Wed 20 Oct

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

Room10:003011:003012:003013:003014:003015:003016:0030
Zurich F

Thu 21 Oct

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

Fri 22 Oct

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

Wed 20 Oct

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

Room13:0015304514:0015304515:0015304516:00153045
Zurich F