Zurich E - AGERE 2021

VenueSwissotel Chicago

Room nameZurich E

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-05:00) Central Time (US & Canada).

Use conference time zone: (GMT-05:00) Central Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 Guillaume Martres EPFL DOI Pre-print File Attached

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, Cao Nguyên 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 NOT_PROVIDED 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 Yann Hamdaoui Tweag 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 Zach Gleason , Sreenidish Chinmayanilayam , Yaroslav Buzko
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

13:50 - 15:10	Experience reportsCONFLANG at Zurich E Chair(s): Eelco Dolstra Tweag I/O, Yann Hamdaoui Tweag

13:50 5m Experience report		Case Study: Building and testing programming assignments with Nix CONFLANG Martin Schwaighofer JKU Linz, Austria Media Attached
13:55 5m Talk		Large-Scale Engineering of Configuration with Unification CONFLANG Marcel van Lohuizen CUE Media Attached
14:00 5m Talk		Six Ways Configuration Systems Fail CONFLANG Daniel Spoonhower Lightstep Media Attached
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 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, Daniel R. 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 Sebastian Kloibhofer JKU Linz 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 W. Appel Princeton DOI
16:10 15m Talk		Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations SPLASH 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 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 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 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, Işıl 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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Zurich E	Scala Session 1																						Scala Session 2																																				Scala																						Scala

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Zurich E	CONFLANG Languages																						CONFLANG Configuration management																																				CONFLANG Experience reports																						CONFLANG Closing: future of configuration

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
Zurich E	HATRA																						HATRA Type Systems																																				HATRA Types, Proofs, and Design Theory																						HATRA Novel Interfaces and Discussion																						SPLASH SIGPLAN Papers

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Zurich E											SPLASH -E Session 1																																				SPLASH -E Session 2																						SPLASH -E Session 3

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Zurich E											SPLASH SIGPLAN Papers ICFP 2020 Papers																																				SPLASH Student Research Competition Talks																						SPLASH SIGPLAN Papers ICFP 2021 Papers

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
Zurich E											SPLASH SIGPLAN Papers OOPSLA 2020 Papers 4																																				SPLASH SIGPLAN Papers OOPSLA 2020 Papers 5

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
Zurich E									Scala Safer Exceptions for Scala 09:40 - 10:00				Scala Pathless Scala: A Calculus for the Rest of Scala 10:00 - 10:20										Scala Implementing Path-Dependent GADT Reasoning for Scala 3 10:50 - 11:10				Scala Safe Object Initialization, Abstractly 11:10 - 11:30

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Zurich E	CONFLANG A Language for Configuring Security Policies 09:00 - 09:05	CONFLANG Provenance of Configuration Programming Language muPuppet 09:05 - 09:10	CONFLANG The Pitfalls of Ansible’s Variable and Template Expression Semantics 09:10 - 09:15	CONFLANG Typing in Nickel and elsewhere 09:15 - 09:20	CONFLANG Languages: Q&A and discussion 09:20 - 10:20																		CONFLANG Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulner ... 10:50 - 10:55	CONFLANG Continuous Configuration Testing 10:55 - 11:00	CONFLANG Intra-update Sniping Vulnerabilities in Smart Contracts 11:00 - 11:05	CONFLANG Local Expectation Testing for Terraform 11:05 - 11:10	CONFLANG Scuemata: A Framework for Evolvable, Composable Data Schema 11:10 - 11:15	CONFLANG Configuration management: Q&A and discussion 11:15 - 12:10																															CONFLANG Case Study: Building and testing programming assignments with Nix 13:50 - 13:55	CONFLANG Large-Scale Engineering of Configuration with Unification 13:55 - 14:00	CONFLANG Six Ways Configuration Systems Fail 14:00 - 14:05	CONFLANG Experience report: Q&A and discussion 14:05 - 15:10																			CONFLANG Structured discussion: future of configuration languages 15:40 - 17:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Zurich E											HATRA Human Aspects of SASyLF, an Educational Proof Assistant for Type Theory 10:50 - 11:05			HATRA An Empirical Study of Protocols in Smart Contracts 11:05 - 11:20			HATRA Position Paper: Goals of the Luau Type System 11:20 - 11:35			HATRA User-driven design and evaluation of Liquid Types in Java 11:35 - 11:50			HATRA Paper discussion, session 1 11:50 - 12:10																								HATRA Toward a Theory of Programming Language and Reasoning Assistant Design: ... 13:50 - 14:05			HATRA Towards an Incremental Dataset of Proofs 14:05 - 14:20			HATRA Toward Hole-Driven Development with Liquid Haskell 14:20 - 14:35			HATRA Toward SMT-Based Refinement Types in Agda 14:35 - 14:50			HATRA Paper discussion, session 2 14:50 - 15:10										HATRA Typed Image-based Programming with Structure Editing 15:40 - 15:55			HATRA A New Medium for Communicating Research on Programming Languages 15:55 - 16:10			HATRA Paper discussion, session 3 16:10 - 16:20		HATRA General discussion 16:20 - 17:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Zurich E											SPLASH -E Chairs' Welcome 10:50 - 11:00		SPLASH -E Teaching DevOps: A Tale of Two Universities 11:00 - 11:15			SPLASH -E Ruggedizing CS1 Robotics: Tools and Approaches for Online Teaching 11:15 - 11:30			SPLASH -E “You Have Said Too Much”: Java-Like Verbosity Anti-patterns in Python C ... 11:30 - 11:45			SPLASH -E Reframing the Liskov Substitution Principle through the Lens of Testing 11:45 - 12:05																									SPLASH -E PaCon: A Symbolic Analysis Approach for Tactic-Oriented Clustering of P ... 13:50 - 14:10				SPLASH -E Shrinking JavaScript for CS1 14:10 - 14:30				SPLASH -E A Stepper for a Functional JavaScript Sublanguage 14:30 - 14:50				SPLASH -E Course Experience Report: Full-Class Compiler Collaboration 14:50 - 15:05										SPLASH -E The Common Coder’s Scratch Programming Idioms and Their Impact on Proje ... 15:40 - 16:00				SPLASH -E Machine Learning Pedagogy to Support the Research Community 16:00 - 16:15			SPLASH -E The Efficacy of Online Office Hours: An Experience Report 16:15 - 16:30			SPLASH -E Teachable Moments in Functional Audio Processing 16:30 - 16:45

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Zurich E											SPLASH SIGPLAN Papers A General Approach to Define Binders using Matching Logic 10:50 - 11:05			SPLASH SIGPLAN Papers Denotational Recurrence Extraction for Amortized Analysis 11:05 - 11:20			SPLASH SIGPLAN Papers Program Sketching with Live Bidirectional Evaluation 11:20 - 11:35			SPLASH SIGPLAN Papers Liquid Information Flow Control 11:35 - 11:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 11:50 - 12:10																								SPLASH Student Research Competition Towards Decidable and Expressive DOT 13:50 - 15:10 Source Code Authorship Attribution using File Embeddings 13:51 - 15:10 Programming-by-Example by Programming-by-Example: Synthesis of Looping ... 13:52 - 15:10 Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation 13:53 - 15:10 A Study of Call Graph Effectiveness for Framework-Based Web Applications 13:54 - 15:10 Run-Time Data Analysis to Drive Compiler Optimizations 13:55 - 15:10 Run-Time Data Analysis in Dynamic Runtimes 13:56 - 15:10																						SPLASH SIGPLAN Papers An Order-Aware Dataflow Model for Parallel Unix Pipelines 15:40 - 15:55			SPLASH SIGPLAN Papers Compositional Optimizations for CertiCoq 15:55 - 16:10			SPLASH SIGPLAN Papers Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Repre ... 16:10 - 16:25			SPLASH SIGPLAN Papers Reasoning about the Garden of Forking Paths 16:25 - 16:40			SPLASH SIGPLAN Papers Discussion, Questions and Answers 16:40 - 17:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
Zurich E											SPLASH SIGPLAN Papers DiffStream: Differential Output Testing for Stream Processing Programs 10:50 - 11:05			SPLASH SIGPLAN Papers Guided Linking: Dynamic Linking Without the Costs 11:05 - 11:20			SPLASH SIGPLAN Papers Regex Matching with Counting-Set Automata 11:20 - 11:35			SPLASH SIGPLAN PapersIn-Person Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, ... 11:35 - 11:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 11:50 - 12:10																								SPLASH SIGPLAN Papers Gradual Verification of Recursive Heap Data Structures 13:50 - 14:05			SPLASH SIGPLAN Papers Formulog: Datalog for SMT-based Static Analysis 14:05 - 14:20			SPLASH SIGPLAN Papers Compiling Symbolic Execution with Staging and Algebraic Effects 14:20 - 14:35			SPLASH SIGPLAN Papers Automated Policy Synthesis for System Call Sandboxing 14:35 - 14:50			SPLASH SIGPLAN Papers Discussion, Questions and Answers 14:50 - 15:10

Room information: Zurich E

Program Display Configuration

Sun 17 OctDisplayed time zone: Central Time (US & Canada) change

Mon 18 OctDisplayed time zone: Central Time (US & Canada) change

Tue 19 OctDisplayed time zone: Central Time (US & Canada) change

Wed 20 OctDisplayed time zone: Central Time (US & Canada) change

Thu 21 OctDisplayed time zone: Central Time (US & Canada) change

Fri 22 OctDisplayed time zone: Central Time (US & Canada) change

Sun 17 OctDisplayed time zone: Central Time (US & Canada) change

Scala

Scala

Scala

Scala

Mon 18 OctDisplayed time zone: Central Time (US & Canada) change

CONFLANG

CONFLANG

CONFLANG

CONFLANG

Tue 19 OctDisplayed time zone: Central Time (US & Canada) change

HATRA

HATRA

HATRA

HATRA

SPLASH SIGPLAN Papers

Wed 20 OctDisplayed time zone: Central Time (US & Canada) change

SPLASH -E

SPLASH -E

SPLASH -E

Thu 21 OctDisplayed time zone: Central Time (US & Canada) change

SPLASH SIGPLAN Papers

SPLASH Student Research Competition

SPLASH SIGPLAN Papers

Fri 22 OctDisplayed time zone: Central Time (US & Canada) change

SPLASH SIGPLAN Papers

SPLASH SIGPLAN Papers

Sun 17 OctDisplayed time zone: Central Time (US & Canada) change

Mon 18 OctDisplayed time zone: Central Time (US & Canada) change

Tue 19 OctDisplayed time zone: Central Time (US & Canada) change

Wed 20 OctDisplayed time zone: Central Time (US & Canada) change

Thu 21 OctDisplayed time zone: Central Time (US & Canada) change

Fri 22 OctDisplayed time zone: Central Time (US & Canada) change

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

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

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

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

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

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

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

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