SAS 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
VenueSwissotel Chicago
Room nameZurich F
Room InformationNo extra information available
Program

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
Opening and keynoteAGERE at Zurich F
Chair(s): Elias Castegren Uppsala University, Sweden
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
60m
Keynote
Actors! And now? An Implementer's Perspective on High-level Concurrency Models, Debugging Tools, and the Future of Automatic Bug Mitigation
AGERE
Stefan Marr University of Kent
Pre-print Media Attached
10:50 - 12:10
Behavioural TypesAGERE at Zurich F
Chair(s): Simon Fowler University of Glasgow
10:50
25m
Full-paper
Session Types in Elixir
AGERE
Gerard Tabone University of Malta, Adrian Francalanza University of Malta
DOI File Attached
11:15
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
13:50 - 15:10
Safety and FailuresAGERE at Zurich F
Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium
13:50
25m
Full-paper
Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
AGERE
Tim Soethout ING Bank; CWI, Tijs van der Storm CWI; University of Groningen, Jurgen Vinju CWI; Eindhoven University of Technology
DOI Pre-print File Attached
14: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 Kent, UK
14: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
DOI Pre-print File Attached
15: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
Chair(s): Jeff Gray University of Alabama

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
DOI
09:40
20m
Talk
PrintTalk: A Constraint-Based Imperative DSL for 3D Printing
DSM
Jef Jacobs Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Christophe De Troyer Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
DOI
10:00
20m
Talk
Industrial Experiences with the Evolution of a DSL
DSM
Mathijs Schuts Philips; Radboud University Nijmegen, Marco Alonso Philips, Jozef Hooman TNO; Radboud University Nijmegen
DOI
10:50 - 12:10
Verification and validation, ToolingDSM at Zurich F
Chair(s): Matti Rossi Aalto University School of Business

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
DOI
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 Eindhoven University of Technology, Jinzhi Lu EPFL, Guoxin Wang Beijing Institute of Technology, Lei Feng KTH, Dimitris Kiritsis EPFL
DOI
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
DOI
11:50
20m
Other
Discussion and summary
DSM
Jonathan Sprinkle University of Arizona, Matti Rossi Aalto University School of Business, Jeff Gray University of Alabama, Juha-Pekka Tolvanen MetaCase

Tue 19 Oct

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

09:00 - 10:20
Keynote and Talks ILIVE at Zurich F
Chair(s): Brian Hempel University of Chicago
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
Chair(s): Brian Hempel University of Chicago
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 (AIST), 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

10:50 - 12:10
CARESSPLASH CARES at Zurich F
Chair(s): Kathryn S McKinley Google
10:50
80m
Talk
CARES SessionVirtual
SPLASH CARES

13:50 - 15:10
Graduate Student PerspectivesSPLASH PLMW at Zurich F +8h
13:50
80m
Panel
Current Student Panel
SPLASH PLMW
Darshana Balakrishnan University at Buffalo, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Ifaz Kabir University of Alberta, Ellen Arteca Northeastern University
15:40 - 17:00
More MentoringSPLASH PLMW at Zurich F
15:40
60m
Other
Mentoring Sessions
SPLASH PLMW

16:40
20m
Talk
Closing Remarks
SPLASH PLMW

18:50 - 20:10
CARESSPLASH CARES at Zurich F
Chair(s): Michelle Strout University of Arizona
18:50
80m
Talk
CARES SessionVirtual
SPLASH CARES

21:50 - 23:10
Graduate Student PerspectivesSPLASH PLMW at Zurich F
21:50
80m
Panel
Current Student Panel
SPLASH PLMW
Darshana Balakrishnan University at Buffalo, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands, Ifaz Kabir University of Alberta, Ellen Arteca Northeastern University

Thu 21 Oct

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

10:50 - 12:10
PLDI 2020 Papers 1SPLASH SIGPLAN 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
SPLASH 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
SPLASH SIGPLAN Papers
Ori Lahav Tel Aviv University, Udi Boker IDC Herzliya, Israel
11:20
15m
Talk
Efficient Handling of String-Number Conversion
SPLASH 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
SPLASH 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
SPLASH SIGPLAN Papers

13:50 - 15:10
PLDI 2020 Papers 2SPLASH SIGPLAN 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH SIGPLAN Papers

15:40 - 17:00
PLDI 2020 Papers 3SPLASH SIGPLAN 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)
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH SIGPLAN Papers

Fri 22 Oct

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

10:50 - 12:10
PLDI 2021 Papers 4SPLASH SIGPLAN 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
SPLASH SIGPLAN Papers
Guillaume Baudart IBM Research, USA, 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH SIGPLAN Papers

13:50 - 15:10
PLDI 2021 Papers 5SPLASH SIGPLAN 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH 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
SPLASH SIGPLAN Papers

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:003017:003018:003019:003020:003021:003022:003023: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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich F