SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
VenueSwissotel Chicago
Room nameZurich E
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 1Scala at Zurich E
09:00
40m
Full-paper
Safer Exceptions for Scala
Scala
Martin Odersky EPFL, Aleksander Boruch-Gruszecki EPFL, Jonathan Immanuel Brachthäuser EPFL, Edward Lee University of Waterloo, Ondřej Lhoták University of Waterloo
09:40
40m
Full-paper
Pathless Scala: a calculus for the rest of Scala
Scala
10:50 - 12:10
Session 2Scala at Zurich E
10:50
40m
Full-paper
Implementing Path-Dependent GADT Reasoning for Scala 3
Scala
Yichen Xu Beijing University of Posts and Telecommunications, Aleksander Boruch-Gruszecki EPFL, Lionel Parreaux The Hong Kong University of Science and Technology
11:30
40m
Full-paper
Safe Object Initialization, Abstractly
Scala
Fengyun Liu Oracle Labs, Ondřej Lhoták University of Waterloo, Enze Xing University of Waterloo, Nguyen Cao Pham University of Waterloo

Mon 18 Oct

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

09:00 - 10:20
LanguagesCONFLANG at Zurich E
Chair(s): Nicolas Jeannerod IRIF, Université de Paris, Mark Santolucito Barnard College, Columbia University, USA
09:00
5m
Talk
A Language for Configuring Security Policies
CONFLANG
Gilad Bracha g.bracha@f5.com
09:05
5m
Talk
Provenance of Configuration Programming Language muPuppet
CONFLANG
Weili Fu University of Freiburg, Germany, Paul Anderson University of Edinburgh, James Cheney University of Edinburgh, UK
09:10
5m
Talk
The Pitfalls of Ansible’s Variable and Template Expression Semantics
CONFLANG
Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
09:15
5m
Talk
Typing in Nickel and elsewhere
CONFLANG
Yann Hamdaoui Tweag I/O
09:20
60m
Live Q&A
Languages: Q&A and discussion
CONFLANG

10:50 - 12:10
Configuration managementCONFLANG at Zurich E
Chair(s): Jürgen Cito TU Wien and Facebook, Marcel van Lohuizen CUE
10:50
5m
Talk
Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
CONFLANG
Julien Lepiller Yale University
10:55
5m
Talk
Continuous Configuration Testing
CONFLANG
Tianyin Xu University of Illinois at Urbana-Champaign
11:00
5m
Talk
Intra-update Sniping Vulnerabilities in Smart Contracts
CONFLANG
Mark Santolucito Barnard College, Columbia University, USA, Shmuel Berman , Brennen Yu Columbia University, USA, Stella Lessler
11:05
5m
Talk
Local Expectation Testing for Terraform
CONFLANG
11:10
5m
Talk
Scuemata: A Framework for Evolvable, Composable Data Schema
CONFLANG
Sam Boyer Grafana Labs
11:15
55m
Live Q&A
Configuration management: Q&A and discussion
CONFLANG

13:50 - 15:10
Experience reportsCONFLANG at Zurich E
Chair(s): Eelco Dolstra Tweag I/O, Yann Hamdaoui Tweag I/O
13:50
5m
Experience report
Case Study: Building and testing programming assignments with Nix
CONFLANG
Martin Schwaighofer JKU Linz, Austria
13:55
5m
Talk
Large-Scale Engineering of Configuration with Unification
CONFLANG
14:00
5m
Talk
Six Ways Configuration Systems Fail
CONFLANG
14:05
65m
Live Q&A
Experience report: Q&A and discussion
CONFLANG

15:40 - 17:00
Closing: future of configurationCONFLANG at Zurich E
15:40
80m
Live Q&A
Structured discussion: future of configuration languages
CONFLANG

Tue 19 Oct

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

10:50 - 12:10
Type SystemsHATRA at Zurich E
10:50
15m
Talk
Human Aspects of SASyLF, an Educational Proof Assistant for Type Theory
HATRA
Jonathan Aldrich Carnegie Mellon University
11:05
15m
Talk
An Empirical Study of Protocols in Smart Contracts
HATRA
Timothy Mou Swarthmore College, Michael Coblenz University of Maryland at College Park, Jonathan Aldrich Carnegie Mellon University
11:20
15m
Talk
Position Paper: Goals of the Luau Type System
HATRA
Lily Brown Roblox, Andy Friesen Roblox, Alan Jeffrey Roblox
11:35
15m
Talk
User-driven design and evaluation of Liquid Types in Java
HATRA
Catarina Ventura Gamboa LASIGE, Faculdade de Ciências da Universidade de Lisboa, Paulo Santos LASIGE, Faculdade de Ciências da Universidade de Lisboa, Christopher Steven Timperley Carnegie Mellon University, Alcides Fonseca LASIGE, Faculdade de Ciências da Universidade de Lisboa
11:50
20m
Meeting
Paper discussion, session 1
HATRA

13:50 - 15:10
Types, Proofs, and Design TheoryHATRA at Zurich E
13:50
15m
Talk
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load
HATRA
Michael Coblenz University of Maryland at College Park
14:05
15m
Talk
Towards an Incremental Dataset of Proofs
HATRA
Hanneli Tavante McGill University
14:20
15m
Talk
Toward Typed Holes for Liquid Haskell
HATRA
Patrick Redmond University of California at Santa Cruz, Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California at Santa Cruz
14:35
15m
Talk
Refinement Types in Agda
HATRA
Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California at Santa Cruz
14:50
20m
Talk
Paper discussion, session 2
HATRA

15:40 - 17:00
Novel Interfaces and DiscussionHATRA at Zurich E

First, authors will present two papers, and we will have 10 minutes to discuss them. Then, we will use the remaining 40 minutes for group discussion of promising research directions.

15:40
15m
Talk
Typed Image-based Programming with Structure Editing
HATRA
Jonathan Edwards , Tomas Petricek University of Kent
15:55
15m
Talk
A New Medium for Communicating Research on Programming Languages
HATRA
Will Crichton Stanford University
16:10
10m
Talk
Paper discussion, session 3
HATRA

16:20
40m
Meeting
General discussion
HATRA

Wed 20 Oct

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

10:50 - 12:10
Session 1SPLASH-E at Zurich E
10:50
10m
Talk
Chairs' Welcome
SPLASH-E
Charlie Curtsinger Grinnell College, Tien N. Nguyen University of Texas at Dallas
11:00
15m
Talk
Teaching DevOps: A Tale of Two Universities
SPLASH-E
Richard Hobeck TU Berlin, Ingo Weber TU Berlin, Len Bass CMU, Hasan Yasar SEI | CMU
11:15
15m
Talk
Ruggedizing CS1 Robotics: Tools and Approaches for Online Teaching
SPLASH-E
Boyd Anderson National University of Singapore, Martin Henz National University of Singapore, Hao-Wei Tee National University of Singapore
11:30
15m
Talk
“You Have Said Too Much”: Java-Like Verbosity Anti-Patterns in Python Codebases
SPLASH-E
Yuzhi Ma Virginia Tech, Eli Tilevich Virginia Tech
11:45
20m
Talk
Reframing the Liskov Substitution Principle Through the Lens of Testing
SPLASH-E
Elisa Baniassad University of British Columbia, Alex Summers University of British Columbia
13:50 - 15:10
Session 2SPLASH-E at Zurich E
13:50
20m
Talk
PaCon: A Symbolic Analysis Approach for Tactic-oriented Clustering of Programming Submissions
SPLASH-E
Yingjie Fu Peking University, China, Jonathan Osei-Owusu University of Illinois at Urbana-Champaign, Angello Astorga University of Illinois at Urbana-Champaign, Zirui Neil Zhao University of Illinois at Urbana-Champaign, Wei Zhang Peking University, Tao Xie Peking University
14:10
20m
Talk
A Stepper for a Functional JavaScript Sublanguage
SPLASH-E
Martin Henz National University of Singapore, Thomas Tan National University of Singapore, Zachary Chua National University of Singapore, Peter Jung National University of Singapore, Yee-Jian Tan National University of Singapore, Xinyi Zhang National University of Singapore, Jingjing Zhao National University of Singapore
14:30
15m
Talk
Shrinking JavaScript for CS1
SPLASH-E
Boyd Anderson National University of Singapore, Martin Henz National University of Singapore, Kok-Lim Low National University of Singapore, Daryl Tan National University of Singapore
14:45
15m
Talk
Course Experience Report: Full-class Compiler Collaboration
SPLASH-E
Joe Gibbs Politz University of California San Diego, United States, Yousef Alhessi University of California, San Diego
15:40 - 17:00
Session 3SPLASH-E at Zurich E
15:40
20m
Talk
The Common Coder's Scratch Programming Idioms and their Impact on Project Remixing
SPLASH-E
Xingyu Long Virginia Tech, Peeratham Techapalokul Virginia Tech, Eli Tilevich Virginia Tech
16:00
15m
Talk
Machine Learning Pedagogy to Support the Research Community
SPLASH-E
Kevin Dick Carleton University, Daniel G. Kyrollos Carleton University, James R. Green Carleton University
16:15
15m
Talk
The Efficacy of Online Office Hours: An Experience Report
SPLASH-E
Braxton Hall University of British Columbia, Noa Heyl University of British Columbia, Elisa Baniassad University of British Columbia, Meghan Allen University of British Columbia, Reid Holmes University of British Columbia
16:30
15m
Talk
Teachable Moments in Functional Audio Processing
SPLASH-E
Martin Henz National University of Singapore, Shang-Hui Koh National University of Singapore, Samyukta Sounderraman National University of Singapore

Thu 21 Oct

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

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
13:50 - 15:10
TalksStudent Research Competition at Zurich E

Talks to be selected in the poster session on Wednesday.

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

Fri 22 Oct

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

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

Sun 17 Oct

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

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

Mon 18 Oct

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

Tue 19 Oct

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

Wed 20 Oct

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

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

Thu 21 Oct

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

Fri 22 Oct

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

Sun 17 Oct

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