AGERE 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
VenueSwissotel Chicago
Room nameZurich E
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
Session 1Scala at Zurich E
Chair(s): Sébastien Doeraene EPFL, Switzerland
09:40
20m
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
DOI
10:00
20m
Full-paper
Pathless Scala: A Calculus for the Rest of Scala
Scala
DOI Pre-print
10:50 - 12:10
Session 2Scala at Zurich E
Chair(s): Sébastien Doeraene EPFL, Switzerland
10:50
20m
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 Hong Kong University of Science and Technology
DOI
11:10
20m
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
DOI

Mon 18 Oct

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

09:00 - 10:20
LanguagesCONFLANG at Zurich E
Chair(s): Nicolas Jeannerod Tweag I/O, Mark Santolucito Barnard College, Columbia University, USA
09:00
5m
Talk
A Language for Configuring Security Policies
CONFLANG
Gilad Bracha g.bracha@f5.com
Media Attached
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; Alan Turing Institute
Media Attached
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
Media Attached
09:15
5m
Talk
Typing in Nickel and elsewhere
CONFLANG
Media Attached
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
Media Attached
10:55
5m
Talk
Continuous Configuration Testing
CONFLANG
Tianyin Xu University of Illinois at Urbana-Champaign
Media Attached
11:00
5m
Talk
Intra-update Sniping Vulnerabilities in Smart Contracts
CONFLANG
Mark Santolucito Barnard College, Columbia University, USA, Shmuel Berman Columbia University, Brennen Yu Columbia University, USA, Stella Lessler
Media Attached
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
Media Attached
11:15
55m
Live Q&A
Configuration management: 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
Chair(s): Chris Martens North Carolina State University
10:50
15m
Talk
Human Aspects of SASyLF, an Educational Proof Assistant for Type Theory
HATRA
Jonathan Aldrich Carnegie Mellon University
Pre-print
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
Link to publication
11:20
15m
Talk
Position Paper: Goals of the Luau Type System
HATRA
Lily Brown Roblox, Andy Friesen Roblox, Alan Jeffrey Roblox
Link to publication
11:35
15m
Talk
User-driven design and evaluation of Liquid Types in Java
HATRA
Catarina Gamboa LASIGE, Faculdade de Ciências da Universidade de Lisboa, Paulo Canelas 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
Pre-print
11:50
20m
Meeting
Paper discussion, session 1
HATRA

13:50 - 15:10
Types, Proofs, and Design TheoryHATRA at Zurich E
Chair(s): Alan Jeffrey Roblox
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
Link to publication
14:05
15m
Talk
Towards an Incremental Dataset of Proofs
HATRA
Hanneli Tavante McGill University
Pre-print
14:20
15m
Talk
Toward Hole-Driven Development with 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
Link to publication
14:35
15m
Talk
Toward SMT-Based Refinement Types in Agda
HATRA
Gan Shen University of California, Santa Cruz, USA, Lindsey Kuper University of California at Santa Cruz
Link to publication
14:50
20m
Talk
Paper discussion, session 2
HATRA

15:40 - 17:00
Novel Interfaces and DiscussionHATRA at Zurich E
Chair(s): Jonathan Aldrich Carnegie Mellon University

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
Link to publication
15:55
15m
Talk
A New Medium for Communicating Research on Programming Languages
HATRA
Will Crichton Stanford University
Pre-print
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 Carnegie Mellon University, Hasan Yasar Carnegie Mellon University
DOI
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
DOI
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
DOI
11:45
20m
Talk
Reframing the Liskov Substitution Principle through the Lens of Testing
SPLASH -E
Elisa Baniassad University of British Columbia, Alexander J. Summers University of British Columbia
DOI
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, 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
DOI
14:10
20m
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
DOI
14:30
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
DOI
14:50
15m
Talk
Course Experience Report: Full-Class Compiler Collaboration
SPLASH -E
Joe Gibbs Politz University of California at San Diego, Yousef Alhessi University of California at San Diego
DOI
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; Rajamangala University of Technology Lanna, Eli Tilevich Virginia Tech
DOI
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
DOI
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
DOI
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
DOI

Thu 21 Oct

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

10:50 - 12:10
ICFP 2020 PapersSPLASH SIGPLAN Papers at Zurich E
Chair(s): Stefan K. Muller Illinois Institute of Technology
10:50
15m
Talk
A General Approach to Define Binders using Matching Logic
SPLASH SIGPLAN Papers
Xiaohong Chen University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign
DOI
11:05
15m
Talk
Denotational Recurrence Extraction for Amortized Analysis
SPLASH SIGPLAN Papers
Joseph W. Cutler University of Pennsylvania, Dan Licata Wesleyan University, Norman Danner Wesleyan University
DOI
11:20
15m
Talk
Program Sketching with Live Bidirectional Evaluation
SPLASH 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
15m
Talk
Liquid Information Flow Control
SPLASH 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
20m
Live Q&A
Discussion, Questions and Answers
SPLASH SIGPLAN Papers

13:50 - 15:10
TalksSPLASH Student Research Competition at Zurich E

Talks to be selected in the poster session on Wednesday.

13:50
80m
Poster
Towards Decidable and Expressive DOT
SPLASH Student Research Competition
Sophia Roshal Cornell University; Carnegie Mellon University
DOI
13:51
79m
Poster
Source Code Authorship Attribution using File Embeddings
SPLASH Student Research Competition
Alina Bogdanova Innopolis University
DOI
13:52
78m
Poster
Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs
SPLASH Student Research Competition
Shmuel Berman Columbia University
DOI
13:53
77m
Poster
Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation
SPLASH Student Research Competition
Hwei-Shin Harriman Olin College of Engineering; Carnegie Mellon University
DOI
13:54
76m
Poster
A Study of Call Graph Effectiveness for Framework-Based Web Applications
SPLASH Student Research Competition
Madhurima Chakraborty University of California at Riverside
DOI
13:55
75m
Poster
Run-Time Data Analysis to Drive Compiler Optimizations
SPLASH Student Research Competition
DOI
13:56
74m
Poster
Run-Time Data Analysis in Dynamic Runtimes
SPLASH Student Research Competition
Lukas Makor JKU Linz
DOI
15:40 - 17:00
ICFP 2021 PapersSPLASH SIGPLAN Papers at Zurich E
Chair(s): Cyrus Omar University of Michigan
15:40
15m
Talk
An Order-Aware Dataflow Model for Parallel Unix Pipelines
SPLASH 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
15m
Talk
Compositional Optimizations for CertiCoq
SPLASH SIGPLAN Papers
Zoe Paraskevopoulou Northeastern University, John M. Li Princeton University, Andrew Appel Princeton
DOI
16:10
15m
Talk
Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
SPLASH 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:25
15m
Talk
Reasoning about the Garden of Forking Paths
SPLASH SIGPLAN Papers
Yao Li University of Pennsylvania, Li-yao Xia University of Pennsylvania, Stephanie Weirich University of Pennsylvania
DOI
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
OOPSLA 2020 Papers 4SPLASH SIGPLAN Papers at Zurich E
Chair(s): Clément Pit-Claudel MIT CSAIL
10:50
15m
Talk
DiffStream: Differential Output Testing for Stream Processing Programs
SPLASH SIGPLAN Papers
Konstantinos Kallas University of Pennsylvania, Filip Niksic Google, Caleb Stanford University of Pennsylvania, Rajeev Alur University of Pennsylvania
11:05
15m
Talk
Guided Linking: Dynamic Linking Without the Costs
SPLASH 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
15m
Talk
Regex Matching with Counting-Set Automata
SPLASH 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
15m
Talk
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and DifferencesIn-Person
SPLASH 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
20m
Live Q&A
Discussion, Questions and Answers
SPLASH SIGPLAN Papers

13:50 - 15:10
OOPSLA 2020 Papers 5SPLASH SIGPLAN Papers at Zurich E
Chair(s): Yao Li University of Pennsylvania
13:50
15m
Talk
Gradual Verification of Recursive Heap Data Structures
SPLASH 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:05
15m
Talk
Formulog: Datalog for SMT-based Static Analysis
SPLASH SIGPLAN Papers
Aaron Bembenek Harvard University, Michael Greenberg Stevens Institute of Technology, Stephen Chong Harvard University
14:20
15m
Talk
Compiling Symbolic Execution with Staging and Algebraic Effects
SPLASH SIGPLAN Papers
Guannan Wei Purdue University, Oliver Bračevac Purdue University, Shangyin Tan Purdue University, Tiark Rompf Purdue University
14:35
15m
Talk
Automated Policy Synthesis for System Call Sandboxing
SPLASH SIGPLAN Papers
Shankara Pailoor University of Texas at Austin, Xinyu Wang University of Michigan, Hovav Shacham University of Texas at Austin, Isil Dillig University of Texas at Austin
DOI
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 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

Thu 21 Oct

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