Zurich C - HATRA 2021

VenueSwissotel Chicago

Room nameZurich C

Room Information

https://www.youtube.com/watch?v=z25q1tZeqoU

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

07:40 - 09:00	GPCE/SLE Session 4GPCE / SLE at Zurich C Chair(s): Mikhail Barash University of Bergen

07:40 15m Talk		A Concurrency Model for JavaScript with Cooperative CancellationVirtual SLE Tian Zhao University of Wisconsin-Milwaukee, Yonglun Li University of Wisconsin -- Milwaukee
07:55 15m Talk		There Is More Than One Way to Zen Your PythonVirtual SLE Aamir Farooq Universiteit Twente, Vadim Zaytsev University of Twente, Netherlands
08:10 15m Talk		Getting Grammars into Shape for Block-based EditorsVirtual SLE Mauricio Verano Merino Eindhoven University of Technology, Tom Beckmann Hasso Plattner Institute, Tijs van der Storm CWI; University of Groningen, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, Jurgen Vinju CWI; Eindhoven University of Technology Pre-print
08:25 15m Talk		Extracting The Power of Dependent TypesVirtual GPCE Artjoms Šinkarovs Heriot-Watt University, UK, Jesper Cockx TU Delft
08:40 20m Live Q&A		Discussion, Questions, Answers GPCE

09:00 - 10:20	GPCE/SLE Session 1GPCE / SLE at Zurich C +8h Chair(s): Emma Söderberg Lund University

09:00 20m Day opening		SLE/GPCE Joint WelcomeVirtual GPCE Coen De Roover Vrije Universiteit Brussel, Emma Söderberg Lund University, Dimitris Kolovos University of York
09:20 30m Keynote		SLE Keynote - Integrating Usability into Programming Language DesignIn-PersonKeynote SLE Jonathan Aldrich Carnegie Mellon University
09:50 15m Talk		Monilogging for Executable Domain-Specific LanguagesVirtual SLE Dorian Leroy University of Rennes 1, Inria, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes; Inria; IRISA Pre-print
10:05 8m Talk		Vision: The Next 700 Language WorkbenchesVirtual SLE Mikhail Barash University of Bergen
10:13 7m Live Q&A		Discussion, Questions, Answers GPCE

10:20 - 10:50	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

10:20 30m Social Event		PLTea SPLASH PLTea

10:50 - 12:10	GPCE/SLE Session 2SLE / GPCE at Zurich C +8h Chair(s): Coen De Roover Vrije Universiteit Brussel

10:50 30m Keynote		GPCE Keynote - Live Programming and Programming by Example: Better TogetherVirtualKeynote GPCE Sorin Lerner University of California at San Diego
11:20 15m Talk		Automating the Synthesis of Recommender Systems for Modelling LanguagesVirtual SLE Lissette Almonte Universidad Autónoma de Madrid, Sara Perez-Soler Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Iván Cantador Universidad Autonoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print
11:35 15m Talk		Executing Certified Model Transformations on Apache SparkVirtual SLE Jolan Philippe IMT Atlantique, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Hélène Coullon IMT Atlantique, Gerson Sunyé Université de Nantes, LS2N
11:50 8m Talk		New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific LanguagesVirtual SLE Pablo C Canizares Autonomous University of Madrid, Spain, Pablo Gómez-Abajo Universidad Autónoma de Madrid, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print
11:58 12m Live Q&A		Discussion, Questions, Answers GPCE

13:50 - 15:10	GPCE/SLE Session 3GPCE at Zurich C +8h Chair(s): Davide Di Ruscio University of L'Aquila

13:50 15m Talk		A Variational Database Management SystemVirtual GPCE Parisa Ataei Oregon State University, Fariba Khan Oregon State University, Eric Walkingshaw Unaffiliated
14:05 15m Talk		The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and TimeVirtual GPCE Gabriela Karoline Michelon Johannes Kepler University Linz, Wesley Assunção Pontifical Catholic University of Rio de Janeiro (PUC-Rio), David Obermann Johannes Kepler University Linz, Lukas Linsbauer TU Braunschweig, Paul Grünbacher Johannes Kepler University Linz, Austria, Alexander Egyed Johannes Kepler University Linz
14:20 15m Talk		Towards Supporting SPL Engineering in Low-Code Platforms using a DSL ApproachVirtual GPCE Alexandre Bragança Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Isabel Azevedo Games, Interaction and Learning Technologies (GILT) - Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Nuno Bettencourt Interdisciplinary Studies Research Center (ISRC) – Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Carlos Morais NumbersBelieve, Diogo Teixeira NumbersBelieve, David Caetano NumbersBelieve
14:35 15m Talk		On-Stack Replacement for Program Generators and Source-to-Source CompilersVirtual GPCE Gregory Essertel Purdue University, Ruby Tahboub Purdue University, Tiark Rompf Purdue University
14:50 20m Live Q&A		Discussion, Questions, Answers GPCE

15:10 - 15:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

15:10 30m Social Event		PLTea SPLASH PLTea

15:40 - 17:00	GPCE/SLE Session 4SLE / GPCE at Zurich C -8h Chair(s): Eric Van Wyk University of Minnesota, USA

15:40 15m Talk		A Concurrency Model for JavaScript with Cooperative CancellationVirtual SLE Tian Zhao University of Wisconsin-Milwaukee, Yonglun Li University of Wisconsin -- Milwaukee
15:55 15m Talk		There Is More Than One Way to Zen Your PythonVirtual SLE Aamir Farooq Universiteit Twente, Vadim Zaytsev University of Twente, Netherlands
16:10 15m Talk		Getting Grammars into Shape for Block-based EditorsVirtual SLE Mauricio Verano Merino Eindhoven University of Technology, Tom Beckmann Hasso Plattner Institute, Tijs van der Storm CWI; University of Groningen, Robert Hirschfeld Hasso Plattner Institute (HPI), University of Potsdam, Germany, Jurgen Vinju CWI; Eindhoven University of Technology Pre-print
16:25 15m Talk		Extracting The Power of Dependent TypesVirtual GPCE Artjoms Šinkarovs Heriot-Watt University, UK, Jesper Cockx TU Delft
16:40 20m Live Q&A		Discussion, Questions, Answers GPCE

17:00 - 18:20	GPCE/SLE Session 1SLE / GPCE at Zurich C Chair(s): Dimitris Kolovos University of York

17:00 20m Day opening		SLE/GPCE Joint WelcomeVirtual GPCE Coen De Roover Vrije Universiteit Brussel, Emma Söderberg Lund University, Dimitris Kolovos University of York
17:20 30m Keynote		SLE Keynote - Integrating Usability into Programming Language DesignIn-PersonKeynote SLE Jonathan Aldrich Carnegie Mellon University
17:50 15m Talk		Monilogging for Executable Domain-Specific LanguagesVirtual SLE Dorian Leroy University of Rennes 1, Inria, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes; Inria; IRISA Pre-print
18:05 8m Talk		Vision: The Next 700 Language WorkbenchesVirtual SLE Mikhail Barash University of Bergen
18:13 7m Live Q&A		Discussion, Questions, Answers GPCE

18:50 - 20:10	GPCE/SLE Session 2SLE / GPCE at Zurich C Chair(s): Eli Tilevich Virginia Tech

18:50 30m Keynote		GPCE Keynote - Live Programming and Programming by Example: Better TogetherVirtualKeynote GPCE Sorin Lerner University of California at San Diego
19:20 15m Talk		Automating the Synthesis of Recommender Systems for Modelling LanguagesVirtual SLE Lissette Almonte Universidad Autónoma de Madrid, Sara Perez-Soler Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Iván Cantador Universidad Autonoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print
19:35 15m Talk		Executing Certified Model Transformations on Apache SparkVirtual SLE Jolan Philippe IMT Atlantique, Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004), Hélène Coullon IMT Atlantique, Gerson Sunyé Université de Nantes, LS2N
19:50 8m Talk		New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific LanguagesVirtual SLE Pablo C Canizares Autonomous University of Madrid, Spain, Pablo Gómez-Abajo Universidad Autónoma de Madrid, Alberto Núňez University Complutense of Madrid, Spain., Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print
19:58 12m Live Q&A		Discussion, Questions, Answers GPCE

20:10 - 20:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

20:10 30m Social Event		PLTea SPLASH PLTea

21:50 - 23:10	GPCE/SLE Session 3GPCE at Zurich C Chair(s): Alex Potanin Victoria University of Wellington

21:50 15m Talk		A Variational Database Management SystemVirtual GPCE Parisa Ataei Oregon State University, Fariba Khan Oregon State University, Eric Walkingshaw Unaffiliated
22:05 15m Talk		The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and TimeVirtual GPCE Gabriela Karoline Michelon Johannes Kepler University Linz, Wesley Assunção Pontifical Catholic University of Rio de Janeiro (PUC-Rio), David Obermann Johannes Kepler University Linz, Lukas Linsbauer TU Braunschweig, Paul Grünbacher Johannes Kepler University Linz, Austria, Alexander Egyed Johannes Kepler University Linz
22:20 15m Talk		Towards Supporting SPL Engineering in Low-Code Platforms using a DSL ApproachVirtual GPCE Alexandre Bragança Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Isabel Azevedo Games, Interaction and Learning Technologies (GILT) - Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Nuno Bettencourt Interdisciplinary Studies Research Center (ISRC) – Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP), Carlos Morais NumbersBelieve, Diogo Teixeira NumbersBelieve, David Caetano NumbersBelieve
22:35 15m Talk		On-Stack Replacement for Program Generators and Source-to-Source CompilersVirtual GPCE Gregory Essertel Purdue University, Ruby Tahboub Purdue University, Tiark Rompf Purdue University
22:50 20m Live Q&A		Discussion, Questions, Answers GPCE

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

07:40 - 09:00	SLE/GPCE Session 8GPCE / SLE at Zurich C Chair(s): Coen De Roover Vrije Universiteit Brussel

07:40 15m Talk		Leveraging Relational Concept Analysis for Automated Feature Location in Software Product LinesVirtual GPCE Nicolas Hlad LIRMM, CNRS, Bérénice Lemoine LIRMM, CNRS, Marianne Huchard LIRMM, Abdelhak Seriai LIRMM, CNRS and University of Montpellier
07:55 15m Talk		FIDDLR: Streamlining Reuse with Concern-Specific Modelling LanguagesVirtual SLE Maximilian Schiedermeier McGill University, Jörg Kienzle McGill University, Canada, Bettina Kemme McGill University, Canada
08:10 15m Talk		Lifted Termination Analysis by Abstract Interpretation and its ApplicationsVirtual GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje
08:25 15m Talk		Delta-based Verification of Software Product FamiliesVirtual GPCE Marco Scaletta Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt, Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Richard Bubel Technische Universität Darmstadt
08:40 20m Live Q&A		Discussion, Questions and Answers SLE

09:00 - 10:20	SLE/GPCE Session 5SLE / GPCE at Zurich C +8h Chair(s): Eelco Visser Delft University of Technology

09:00 15m Talk		Type-safe generation of modules in applicative and generative stylesVirtual GPCE Yuhi Sato University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba
09:15 15m Talk		HACCLE: Metaprogramming for Secure Multi-Party ComputationVirtual GPCE Yuyan Bao Purdue University, Kirshanthan Sundararajah Purdue University, Raghav Malik Purdue University, Qianchuan Ye Purdue University, Christopher Wagner Purdue University, Nouraldin Jaber Purdue University, Fei Wang Purdue University, Mohammad Hassan Ameri Purdue university, Donghang Lu Purdue University, Alexander Seto Purdue University, Benjamin Delaware Purdue University, Roopsha Samanta Purdue University, Aniket Kate Purdue University, Christina Garman Purdue University, Jeremiah Blocki Purdue University, Pierre-David Letourneau Reservoir Labs, Benoit Meister Reservoir Labs, Jonathan Springer Reservoir Labs, Tiark Rompf Purdue University, Milind Kulkarni Purdue University
09:30 15m Talk		Multi-Stage Programming with Generative and Analytical MacrosVirtualGPCE Best Paper Award GPCE Nicolas Stucki EPFL, Switzerland, Jonathan Immanuel Brachthäuser EPFL, Martin Odersky EPFL
09:45 15m Talk		Metaprogramming with CombinatorsVirtual GPCE Mahshid Shahmohammadian Drexel University, Geoffrey Mainland Drexel University
10:00 20m Live Q&A		Discussion, Questions and Answers SLE

10:20 - 10:50	AMA SessionSPLASH Ask Me Anything (AMA) at Zurich C Chair(s): Talia Ringer University of Illinois at Urbana-Champaign

10:20 30m Live Q&A		Invited SpeakerAMAVirtual SPLASH Ask Me Anything (AMA) Heidy Khlaaf University College London

10:50 - 12:10	SLE/GPCE Session 6SLE / GPCE at Zurich C +8h Chair(s): Vadim Zaytsev University of Twente, Netherlands

10:50 15m Talk		Fast Incremental PEG ParsingVirtual SLE Zachary Yedidia Harvard University, Stephen Chong Harvard University
11:05 15m Talk		Faster Reachability Analysis for LR(1) ParsersVirtual SLE Frédéric Bour Tarides, François Pottier Inria, France
11:20 15m Talk		Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
11:35 8m Talk		Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
11:43 8m Talk		Compiling pattern matching to in-place modificationsVirtual GPCE Paul Iannetta ENS Lyon, Laure Gonnord University of Lyon & LIP, France, Gabriel Radanne Inria
11:51 19m Live Q&A		Discussion, Questions and Answers SLE

13:20 - 13:50	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

13:20 30m Social Event		PLTea SPLASH PLTea

13:50 - 15:10	SLE/GPCE Session 7GPCE / SLE at Zurich C +8h Chair(s): Bahman Zamani University of Isfahan, Davide Di Ruscio University of L'Aquila

13:50 15m Talk		A DSL for Explanatory Decision MakingVirtual GPCE Martin Erwig Oregon State University, Prashant Kumar Oregon State University
14:05 15m Talk		SEALS: A framework for building Self-Adaptive Virtual MachinesVirtual SLE Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University
14:20 15m Talk		Understanding and Improving Model-Driven IoT Systems Through Accompanying Digital TwinsVirtual GPCE Jörg Christian Kirchhof RWTH Aachen University, Lukas Malcher RWTH Aachen University, Bernhard Rumpe RWTH Aachen
14:35 15m Talk		Artifact and Reference Models for Generative AI Frameworks and Build SystemsVirtual GPCE Abdallah Atouani RWTH Aachen University, Jörg Christian Kirchhof RWTH Aachen University, Evgeny Kusmenko RWTH Aachen University, Bernhard Rumpe RWTH Aachen
14:50 20m Live Q&A		Discussion, Questions and Answers SLE

15:10 - 15:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

15:10 30m Social Event		PLTea SPLASH PLTea

15:40 - 17:00	SLE/GPCE Session 8GPCE / SLE at Zurich C -8h Chair(s): Ran Wei Dalian University of Technology

15:40 15m Talk		Leveraging Relational Concept Analysis for Automated Feature Location in Software Product LinesVirtual GPCE Nicolas Hlad LIRMM, CNRS, Bérénice Lemoine LIRMM, CNRS, Marianne Huchard LIRMM, Abdelhak Seriai LIRMM, CNRS and University of Montpellier
15:55 15m Talk		FIDDLR: Streamlining Reuse with Concern-Specific Modelling LanguagesVirtual SLE Maximilian Schiedermeier McGill University, Jörg Kienzle McGill University, Canada, Bettina Kemme McGill University, Canada
16:10 15m Talk		Lifted Termination Analysis by Abstract Interpretation and its ApplicationsVirtual GPCE Aleksandar S. Dimovski Mother Teresa University, Skopje
16:25 15m Talk		Delta-based Verification of Software Product FamiliesVirtual GPCE Marco Scaletta Technische Universität Darmstadt, Reiner Hähnle Technical University of Darmstadt, Dominic Steinhöfel CISPA Helmholtz Center for Information Security, Richard Bubel Technische Universität Darmstadt
16:40 20m Live Q&A		Discussion, Questions and Answers SLE

17:00 - 18:20	SLE/GPCE Session 5GPCE / SLE at Zurich C Chair(s): Paddy Krishnan Oracle Labs, Australia

17:00 15m Talk		Type-safe generation of modules in applicative and generative stylesVirtual GPCE Yuhi Sato University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba
17:15 15m Talk		HACCLE: Metaprogramming for Secure Multi-Party ComputationVirtual GPCE Yuyan Bao Purdue University, Kirshanthan Sundararajah Purdue University, Raghav Malik Purdue University, Qianchuan Ye Purdue University, Christopher Wagner Purdue University, Nouraldin Jaber Purdue University, Fei Wang Purdue University, Mohammad Hassan Ameri Purdue university, Donghang Lu Purdue University, Alexander Seto Purdue University, Benjamin Delaware Purdue University, Roopsha Samanta Purdue University, Aniket Kate Purdue University, Christina Garman Purdue University, Jeremiah Blocki Purdue University, Pierre-David Letourneau Reservoir Labs, Benoit Meister Reservoir Labs, Jonathan Springer Reservoir Labs, Tiark Rompf Purdue University, Milind Kulkarni Purdue University
17:30 15m Talk		Multi-Stage Programming with Generative and Analytical MacrosVirtualGPCE Best Paper Award GPCE Nicolas Stucki EPFL, Switzerland, Jonathan Immanuel Brachthäuser EPFL, Martin Odersky EPFL
17:45 15m Talk		Metaprogramming with CombinatorsVirtual GPCE Mahshid Shahmohammadian Drexel University, Geoffrey Mainland Drexel University
18:00 20m Live Q&A		Discussion, Questions and Answers SLE

	18:20 - 18:50	AMA SessionSPLASH Ask Me Anything (AMA) at Zurich C

18:50 - 20:10	SLE/GPCE Session 6GPCE / SLE at Zurich C Chair(s): Ran Wei Dalian University of Technology, Paddy Krishnan Oracle Labs, Australia

18:50 15m Talk		Fast Incremental PEG ParsingVirtual SLE Zachary Yedidia Harvard University, Stephen Chong Harvard University
19:05 15m Talk		Faster Reachability Analysis for LR(1) ParsersVirtual SLE Frédéric Bour Tarides, François Pottier Inria, France
19:20 15m Talk		Automatic Grammar RepairVirtual SLE Moeketsi Raselimo Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
19:35 8m Talk		Vision: Bias in Systematic Grammar-Based Test Suite Construction AlgorithmsVirtual SLE Christoff Rossouw Stellenbosch University, South Africa, Bernd Fischer Stellenbosch University, South Africa
19:43 8m Talk		Compiling pattern matching to in-place modificationsVirtual GPCE Paul Iannetta ENS Lyon, Laure Gonnord University of Lyon & LIP, France, Gabriel Radanne Inria
19:51 19m Live Q&A		Discussion, Questions and Answers SLE

20:10 - 20:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

20:10 30m Social Event		PLTea SPLASH PLTea

21:50 - 23:10	SLE/GPCE Session 7SLE / GPCE at Zurich C Chair(s): Coen De Roover Vrije Universiteit Brussel

21:50 15m Talk		A DSL for Explanatory Decision MakingVirtual GPCE Martin Erwig Oregon State University, Prashant Kumar Oregon State University
22:05 15m Talk		SEALS: A framework for building Self-Adaptive Virtual MachinesVirtual SLE Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University
22:20 15m Talk		Understanding and Improving Model-Driven IoT Systems Through Accompanying Digital TwinsVirtual GPCE Jörg Christian Kirchhof RWTH Aachen University, Lukas Malcher RWTH Aachen University, Bernhard Rumpe RWTH Aachen
22:35 15m Talk		Artifact and Reference Models for Generative AI Frameworks and Build SystemsVirtual GPCE Abdallah Atouani RWTH Aachen University, Jörg Christian Kirchhof RWTH Aachen University, Evgeny Kusmenko RWTH Aachen University, Bernhard Rumpe RWTH Aachen
22:50 20m Live Q&A		Discussion, Questions and Answers SLE

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

07:40 - 09:00	DLS Talks 2DLS at Zurich C

07:40 10m Day opening		Chair's Welcome and Most Notable Paper AwardVirtual DLS
07:50 25m Paper		Union and Intersection Contracts Are Hard, ActuallyResearch PaperVirtual DLS Teodoro Freund University of Buenos Aires, Yann Hamdaoui Tweag, Arnaud Spiwack Tweag DOI
08:15 25m Paper		Runtime and Compiler Support for HAMTsResearch PaperVirtual DLS Sona Torosyan University of Utah, Jon Zeppieri n.n., Matthew Flatt University of Utah DOI

09:00 - 10:20	Introduction to SPLASHSPLASH PLMW at Zurich C +8h

09:00 20m Talk		How to Navigate SPLASH SPLASH PLMW Elisa Baniassad University of British Columbia
09:20 30m Other		A Tour through the Program SPLASH PLMW
09:50 30m Other		Mentoring Sessions SPLASH PLMW

10:20 - 10:50	AMA SessionSPLASH Ask Me Anything (AMA) at Zurich C Chair(s): Zachary Tatlock University of Washington

10:20 30m Live Q&A		Invited SpeakerAMAVirtual SPLASH Ask Me Anything (AMA) Leslie Lamport Microsoft Research

10:50 - 12:10	Career PerspectivesSPLASH PLMW at Zurich C +8h

10:50 80m Panel		PL/SE Career Panel SPLASH PLMW Joe Gibbs Politz University of California at San Diego, Brittany Nkounkou University of Connecticut, Youyou Cong Tokyo Institute of Technology, Caroline Lemieux Microsoft Research, Andrew Craik Oracle Labs, Marek Prochazka European Space Agency

13:20 - 13:50	PLTeaSPLASH PLTea at Zurich C Chair(s): Paulette Koronkevich University of British Columbia

13:20 30m Social Event		PLTea SPLASH PLTea

13:50 - 15:10	DLS Talks 1DLS at Zurich C +8h Chair(s): Arjun Guha Northeastern University

13:50 25m Talk		Analyzing Permission Transfer Channels for Dynamically Typed LanguagesResearch PaperVirtual DLS Théo Rogliano Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Guillermo Polito CNRS; CRIStAL; University of Lille; Centrale Lille; Inria, Luc Fabresse IMT Lille Douai; Institut Mines-Télécom; University of Lille; Centre for Digital Systems, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL DOI
14:15 25m Paper		On Design and Use of First-Class Environments in RResearch PaperVirtual DLS Aviral Goel Northeastern University, Jan Vitek Northeastern University; Czech Technical University
14:40 25m Paper		CompGen: Generation of Fast JIT Compilers in a Multi-language VMResearch PaperVirtual DLS Florian Latifi JKU Linz, David Leopoldseder Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck JKU Linz DOI

15:10 - 15:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

15:10 30m Social Event		PLTea SPLASH PLTea

15:40 - 17:00	DLS Talks 2DLS at Zurich C -8h Chair(s): Arjun Guha Northeastern University

15:40 10m Day opening		Chair's Welcome and Most Notable Paper AwardVirtual DLS
15:50 25m Paper		Union and Intersection Contracts Are Hard, ActuallyResearch PaperVirtual DLS Teodoro Freund University of Buenos Aires, Yann Hamdaoui Tweag, Arnaud Spiwack Tweag DOI
16:15 25m Paper		Runtime and Compiler Support for HAMTsResearch PaperVirtual DLS Sona Torosyan University of Utah, Jon Zeppieri n.n., Matthew Flatt University of Utah DOI

17:00 - 18:20	Introduction to SPLASHSPLASH PLMW at Zurich C

17:00 20m Talk		How to Navigate SPLASH SPLASH PLMW Elisa Baniassad University of British Columbia
17:20 30m Other		A Tour through the Program SPLASH PLMW
17:50 30m Other		Mentoring Sessions SPLASH PLMW

18:20 - 18:50	AMA SessionSPLASH Ask Me Anything (AMA) at Zurich C Chair(s): Alan Jeffrey Alcatel-Lucent Bell Labs

18:20 30m Talk		Invited SpeakerAMAVirtual SPLASH Ask Me Anything (AMA) I: Ashley Williams Cloudflare

18:50 - 20:10	Career PerspectivesSPLASH PLMW at Zurich C

18:50 80m Panel		PL/SE Career Panel SPLASH PLMW Joe Gibbs Politz University of California at San Diego, Brittany Nkounkou University of Connecticut, Youyou Cong Tokyo Institute of Technology, Caroline Lemieux Microsoft Research, Andrew Craik Oracle Labs, Marek Prochazka European Space Agency

20:10 - 20:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

20:10 30m Social Event		PLTea SPLASH PLTea

21:50 - 23:10	DLS Talks 1DLS at Zurich C

21:50 25m Talk		Analyzing Permission Transfer Channels for Dynamically Typed LanguagesResearch PaperVirtual DLS Théo Rogliano Inria; University of Lille; CNRS; Centrale Lille; CRIStAL, Guillermo Polito CNRS; CRIStAL; University of Lille; Centrale Lille; Inria, Luc Fabresse IMT Lille Douai; Institut Mines-Télécom; University of Lille; Centre for Digital Systems, Stéphane Ducasse Inria; University of Lille; CNRS; Centrale Lille; CRIStAL DOI
22:15 25m Paper		On Design and Use of First-Class Environments in RResearch PaperVirtual DLS Aviral Goel Northeastern University, Jan Vitek Northeastern University; Czech Technical University
22:40 25m Paper		CompGen: Generation of Fast JIT Compilers in a Multi-language VMResearch PaperVirtual DLS Florian Latifi JKU Linz, David Leopoldseder Oracle Labs, Christian Wimmer Oracle Labs, Hanspeter Mössenböck JKU Linz DOI

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

07:40 - 09:00	Analysis - mirrorSPLASH OOPSLA at Zurich C Chair(s): Constantin Enea University of Paris / IRIF / CNRS

07:40 15m Talk		Making Pointer Analysis More Precise by Unleashing the Power of Selective Context SensitivityVirtual SPLASH OOPSLA Tian Tan Nanjing University, Yue Li Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yannis Smaragdakis University of Athens DOI
07:55 15m Talk		Compacting Points-To Sets through Object ClusteringVirtual SPLASH OOPSLA Mohamad Barbar University of Technology Sydney; CSIRO’s Data61, Yulei Sui University of New South Wales, Sydney DOI
08:10 15m Talk		Program Analysis via Efficient Symbolic AbstractionVirtual SPLASH OOPSLA Peisen Yao Hong Kong University of Science and Technology; Ant Group, Qingkai Shi Ant Group, Heqing Huang Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology DOI
08:25 15m Talk		JavaDL: Automatically Incrementalizing Java Bug Pattern DetectionVirtual SPLASH OOPSLA Alexandru Dura Lund University, Christoph Reichenbach Lund University, Emma Söderberg Lund University DOI
08:40 20m Live Q&A		Discussion, Questions and Answers SPLASH OOPSLA

10:20 - 10:50	AMA SessionSPLASH Ask Me Anything (AMA) at Zurich C Chair(s): Jonathan Aldrich Carnegie Mellon University

10:20 30m Live Q&A		Invited SpeakerAMAIn-Person SPLASH Ask Me Anything (AMA) Robert Rand University of Chicago

10:50 - 12:10	Onward! Paper Session 1SPLASH Onward! Papers at Zurich C +8h Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel

10:50 15m Day opening		Onward! WelcomeVirtual SPLASH Onward! Papers
11:05 15m Talk		Natural Language-Guided ProgrammingVirtual SPLASH Onward! Papers Geert Heyman Nokia Bell Labs, Belgium, Rafael Huysegems Nokia Bell Labs, Belgium, Pascal Justen Nokia Bell Labs, Tom Van Cutsem Nokia Bell Labs DOI
11:20 15m Talk		Towards Self-Adaptable LanguagesVirtual SPLASH Onward! Papers Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University DOI
11:35 15m Talk		Programming with Neural Surrogates of ProgramsIn-Person SPLASH Onward! Papers Alex Renda Massachusetts Institute of Technology, Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology DOI
11:50 20m Live Q&A		Discussion, Questions and Answers SPLASH Onward! Papers

13:20 - 13:50	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

13:20 30m Social Event		PLTea SPLASH PLTea

13:50 - 15:10	Onward! Paper Session 2SPLASH Onward! Papers at Zurich C +8h Chair(s): Christophe Scholliers Universiteit Gent, Belgium

13:50 15m Talk		Kotlin Coroutines: Design and ImplementationVirtual SPLASH Onward! Papers Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains DOI
14:05 15m Talk		Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual SPLASH Onward! Papers Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden DOI
14:20 15m Talk		Motivating Complexity Understanding by Profiling Energy UsageVirtual SPLASH Onward! Papers Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay DOI
14:35 15m Talk		SkyQuery: An Aerial Drone Video Sensing PlatformVirtual SPLASH Onward! Papers Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology DOI
14:50 20m Live Q&A		Discussion, Questions and Answers SPLASH Onward! Papers

15:10 - 15:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

15:10 30m Social Event		PLTea SPLASH PLTea

15:40 - 17:00	AnalysisSPLASH OOPSLA at Zurich C -8h Chair(s): Julian Dolby IBM Research, USA

15:40 15m Talk		Making Pointer Analysis More Precise by Unleashing the Power of Selective Context SensitivityVirtual SPLASH OOPSLA Tian Tan Nanjing University, Yue Li Nanjing University, Xiaoxing Ma Nanjing University, Chang Xu Nanjing University, Yannis Smaragdakis University of Athens DOI
15:55 15m Talk		Compacting Points-To Sets through Object ClusteringVirtual SPLASH OOPSLA Mohamad Barbar University of Technology Sydney; CSIRO’s Data61, Yulei Sui University of New South Wales, Sydney DOI
16:10 15m Talk		Program Analysis via Efficient Symbolic AbstractionVirtual SPLASH OOPSLA Peisen Yao Hong Kong University of Science and Technology; Ant Group, Qingkai Shi Ant Group, Heqing Huang Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology DOI
16:25 15m Talk		JavaDL: Automatically Incrementalizing Java Bug Pattern DetectionVirtual SPLASH OOPSLA Alexandru Dura Lund University, Christoph Reichenbach Lund University, Emma Söderberg Lund University DOI
16:40 20m Live Q&A		Discussion, Questions and Answers SPLASH OOPSLA

18:20 - 18:50	AMA SessionSPLASH Ask Me Anything (AMA) at Zurich C Chair(s): Manu Sridharan University of California at Riverside

18:20 30m Live Q&A		Invited SpeakerAMAVirtual SPLASH Ask Me Anything (AMA) Martin Abadi Google

18:50 - 20:10	Onward! Paper Session 1SPLASH Onward! Papers at Zurich C Chair(s): Shigeru Chiba The University of Tokyo

18:50 15m Day opening		Onward! WelcomeVirtual SPLASH Onward! Papers
19:05 15m Talk		Natural Language-Guided ProgrammingVirtual SPLASH Onward! Papers Geert Heyman Nokia Bell Labs, Belgium, Rafael Huysegems Nokia Bell Labs, Belgium, Pascal Justen Nokia Bell Labs, Tom Van Cutsem Nokia Bell Labs DOI
19:20 15m Talk		Towards Self-Adaptable LanguagesVirtual SPLASH Onward! Papers Gwendal Jouneaux University of Rennes; Inria; IRISA, Olivier Barais University of Rennes; Inria; IRISA, Benoit Combemale University of Rennes; Inria; IRISA, Gunter Mussbacher McGill University DOI
19:35 15m Talk		Programming with Neural Surrogates of ProgramsIn-Person SPLASH Onward! Papers Alex Renda Massachusetts Institute of Technology, Yi Ding Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology DOI
19:50 20m Live Q&A		Discussion, Questions and Answers SPLASH Onward! Papers

20:10 - 20:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

20:10 30m Social Event		PLTea SPLASH PLTea

21:50 - 23:10	Onward! Paper Session 2SPLASH Onward! Papers at Zurich C Chair(s): Hidehiko Masuhara Tokyo Institute of Technology

21:50 15m Talk		Kotlin Coroutines: Design and ImplementationVirtual SPLASH Onward! Papers Roman Elizarov JetBrains, Mikhail Belyaev JetBrains Research; St. Petersburg Polytechnic University, Marat Akhin JetBrains Research; St. Petersburg Polytechnic University, Ilmir Usmanov JetBrains DOI
22:05 15m Talk		Dala: A Simple Capability-Based Dynamic Language Design for Data Race-FreedomVirtual SPLASH Onward! Papers Kiko Fernandez-Reyes Uppsala University, Isaac Oscar Gariano Victoria University of Wellington, James Noble Victoria University of Wellington, Erin Greenwood-Thessman Victoria University of Wellington, Michael Homer Victoria University of Wellington, Tobias Wrigstad Uppsala University, Sweden DOI
22:20 15m Talk		Motivating Complexity Understanding by Profiling Energy UsageVirtual SPLASH Onward! Papers Joshua B. Gross California State University at Monterey Bay, Daniel Jacoby California State University at Monterey Bay, Kevin Coogan Hampton University, Aaron Helman California State University at Monterey Bay DOI
22:35 15m Talk		SkyQuery: An Aerial Drone Video Sensing PlatformVirtual SPLASH Onward! Papers Favyen Bastani Massachusetts Institute of Technology, Songtao He Massachusetts Institute of Technology, Ziwen Jiang Massachusetts Institute of Technology, Osbert Bastani University of Pennsylvania, Sam Madden Massachusetts Institute of Technology DOI
22:50 20m Live Q&A		Discussion, Questions and Answers SPLASH Onward! Papers

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

07:40 - 09:00	Essays Session 1SPLASH Onward! Essays at Zurich C Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford

07:40 40m Talk		Programming as Architecture, Design, and Urban PlanningVirtual SPLASH Onward! Essays Tomas Petricek University of Kent DOI
08:20 40m Talk		Angelic and Demonic Visitation: School MemoriesVirtual SPLASH Onward! Essays Leila Salem University of Toronto DOI

10:20 - 10:50	PLTeaSPLASH PLTea at Zurich C Chair(s): Paulette Koronkevich University of British Columbia

10:20 30m Social Event		PLTea SPLASH PLTea

10:50 - 12:10	Future of ConferencesSPLASH SIGPLAN Business at Zurich C +8h Chair(s): Eelco Visser Delft University of Technology

10:50 80m Panel		Future of ConferencesVirtualIn-Person SPLASH SIGPLAN Business Stephen Kell King's College London, Jonathan Aldrich Carnegie Mellon University, Shriram Krishnamurthi Brown University, United States, David Grove IBM Research, Gorel Hedin Lund University, Amal Ahmed Northeastern University, USA, Manu Sridharan University of California at Riverside, Yannis Smaragdakis University of Athens, Eelco Visser Delft University of Technology, Sophia Drossopoulou Facebook and Imperial College London, Tony Hosking Australian National University, Alex Potanin Victoria University of Wellington

13:50 - 15:10	Implementation of special ParadigmsSPLASH OOPSLA at Zurich C +8h Chair(s): Frank Tip Northeastern University

13:50 15m Talk		Coarsening Optimization for Differentiable ProgrammingVirtual SPLASH OOPSLA Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Grigsby Shivers Facebook, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook DOI
14:05 15m Talk		Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPUVirtual SPLASH OOPSLA Luke Anderson Massachusetts Institute of Technology, Andrew Adams Adobe, Karima Ma Massachusetts Institute of Technology, Tzu-Mao Li Massachusetts Institute of Technology; University of California at San Diego, Tian Jin Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology DOI
14:20 15m Talk		Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person SPLASH OOPSLA Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology DOI
14:35 15m Talk		Compilation of Sparse Array Programming ModelsIn-Person SPLASH OOPSLA Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University DOI
14:50 20m Live Q&A		Discussion, Questions and Answers SPLASH OOPSLA

15:10 - 15:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Paulette Koronkevich University of British Columbia

15:10 30m Social Event		PLTea SPLASH PLTea

15:40 - 17:00	Essays Session 1SPLASH Onward! Essays at Zurich C -8h Chair(s): Nada Amin Harvard University

15:40 40m Talk		Programming as Architecture, Design, and Urban PlanningVirtual SPLASH Onward! Essays Tomas Petricek University of Kent DOI
16:20 40m Talk		Angelic and Demonic Visitation: School MemoriesVirtual SPLASH Onward! Essays Leila Salem University of Toronto DOI

18:50 - 20:10	Future of ConferencesSPLASH SIGPLAN Business at Zurich C

18:50 80m Panel		Future of ConferencesVirtualIn-Person SPLASH SIGPLAN Business Stephen Kell King's College London, Jonathan Aldrich Carnegie Mellon University, Shriram Krishnamurthi Brown University, United States, David Grove IBM Research, Gorel Hedin Lund University, Amal Ahmed Northeastern University, USA, Manu Sridharan University of California at Riverside, Yannis Smaragdakis University of Athens, Eelco Visser Delft University of Technology, Sophia Drossopoulou Facebook and Imperial College London, Tony Hosking Australian National University, Alex Potanin Victoria University of Wellington

20:10 - 20:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

20:10 30m Social Event		PLTea SPLASH PLTea

21:50 - 23:10	Implementation of special Paradigms - mirrorSPLASH OOPSLA at Zurich C Chair(s): Steve Blackburn Australian National University

21:50 15m Talk		Coarsening Optimization for Differentiable ProgrammingVirtual SPLASH OOPSLA Xipeng Shen North Carolina State University; Facebook, Guoqiang Zhang North Carolina State University; Facebook, Irene Dea Facebook, Samantha Andow Facebook, Emilio Arroyo-Fang Facebook, Neal Gafter Facebook, Johann George Facebook, Melissa Grueter Facebook, Erik Meijer Facebook, Olin Grigsby Shivers Facebook, Steffi Stumpos Facebook, Alanna Tempest Facebook, Christy Warden Facebook, Shannon Yang Facebook DOI
22:05 15m Talk		Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPUVirtual SPLASH OOPSLA Luke Anderson Massachusetts Institute of Technology, Andrew Adams Adobe, Karima Ma Massachusetts Institute of Technology, Tzu-Mao Li Massachusetts Institute of Technology; University of California at San Diego, Tian Jin Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology DOI
22:20 15m Talk		Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person SPLASH OOPSLA Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart IBM Research, USA, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology DOI
22:35 15m Talk		Compilation of Sparse Array Programming ModelsIn-Person SPLASH OOPSLA Rawn Henry Massachusetts Institute of Technology, Olivia Hsu Stanford University, Rohan Yadav Stanford University, Stephen Chou Massachusetts Institute of Technology, Kunle Olukotun Stanford University, Saman Amarasinghe Massachusetts Institute of Technology, Fredrik Kjolstad Stanford University DOI
22:50 20m Live Q&A		Discussion, Questions and Answers SPLASH OOPSLA

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

10:20 - 10:50	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

10:20 30m Social Event		PLTea SPLASH PLTea

10:50 - 12:10	Algorithms, Libraries and DatabasesSPLASH OOPSLA at Zurich C +8h Chair(s): Hans-J. Boehm Google

10:50 15m Talk		UDF to SQL Translation through Compositional Lazy Inductive SynthesisVirtual SPLASH OOPSLA Guoqiang Zhang North Carolina State University; Facebook, Yuanchao Xu North Carolina State University, Xipeng Shen North Carolina State University; Facebook, Işıl Dillig University of Texas at Austin DOI
11:05 15m Talk		LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)Virtual SPLASH OOPSLA Guy L. Steele Jr. Oracle Labs, Sebastiano Vigna University of Milan DOI
11:20 15m Talk		FPL: Fast Presburger Arithmetic through TransprecisionIn-Person SPLASH OOPSLA Arjun Pitchanathan IIIT Hyderabad, Christian Ulmann ETH Zurich, Michel Weber ETH Zurich, Torsten Hoefler ETH Zurich, Tobias Grosser University of Edinburgh DOI
11:35 15m Talk		Verifying Concurrent Multicopy Search StructuresIn-Person SPLASH OOPSLA Nisarg Patel New York University, Siddharth Krishna Microsoft Research, Dennis Shasha New York University, Thomas Wies New York University DOI
11:50 20m Live Q&A		Discussion, Questions and Answers SPLASH OOPSLA

13:50 - 15:10	Essays Session 2SPLASH Onward! Essays at Zurich C +8h Chair(s): Elisa Baniassad University of British Columbia

13:50 40m Talk		Let a Thousand Flowers Bloom: On the Uses of Diversity in Software TestingVirtual SPLASH Onward! Essays Alex Groce Northern Arizona University DOI
14:30 40m Talk		The Kingdoms of Objects and ValuesVirtual SPLASH Onward! Essays Friedrich Steimann Fernuniversität in Hagen DOI

15:10 - 15:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

15:10 30m Social Event		PLTea SPLASH PLTea

18:50 - 20:10	Algorithms, Libraries and Databases - mirrorSPLASH OOPSLA at Zurich C Chair(s): Fabian Muehlboeck IST Austria

18:50 15m Talk		UDF to SQL Translation through Compositional Lazy Inductive SynthesisVirtual SPLASH OOPSLA Guoqiang Zhang North Carolina State University; Facebook, Yuanchao Xu North Carolina State University, Xipeng Shen North Carolina State University; Facebook, Işıl Dillig University of Texas at Austin DOI
19:05 15m Talk		LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)Virtual SPLASH OOPSLA Guy L. Steele Jr. Oracle Labs, Sebastiano Vigna University of Milan DOI
19:20 15m Talk		FPL: Fast Presburger Arithmetic through TransprecisionIn-Person SPLASH OOPSLA Arjun Pitchanathan IIIT Hyderabad, Christian Ulmann ETH Zurich, Michel Weber ETH Zurich, Torsten Hoefler ETH Zurich, Tobias Grosser University of Edinburgh DOI
19:35 15m Talk		Verifying Concurrent Multicopy Search StructuresIn-Person SPLASH OOPSLA Nisarg Patel New York University, Siddharth Krishna Microsoft Research, Dennis Shasha New York University, Thomas Wies New York University DOI
19:50 20m Live Q&A		Discussion, Questions and Answers SPLASH OOPSLA

20:10 - 20:40	PLTeaSPLASH PLTea at Zurich C Chair(s): Aviral Goel Northeastern University

20:10 30m Social Event		PLTea SPLASH PLTea

21:50 - 23:10	Essays Session 2SPLASH Onward! Essays at Zurich C Chair(s): Elisa Baniassad University of British Columbia

21:50 40m Talk		Let a Thousand Flowers Bloom: On the Uses of Diversity in Software TestingVirtual SPLASH Onward! Essays Alex Groce Northern Arizona University DOI
22:30 40m Talk		The Kingdoms of Objects and ValuesVirtual SPLASH Onward! Essays Friedrich Steimann Fernuniversität in Hagen DOI

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


Room	7:00						30						8:00						30						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						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Zurich C									GPCE + SLE GPCE/SLE Session 4																GPCE + SLE GPCE/SLE Session 1																SPLASH PLTea PLTea						SLE + GPCE GPCE/SLE Session 2																																				GPCE GPCE/SLE Session 3																SPLASH PLTea PLTea						SLE + GPCE GPCE/SLE Session 4																SLE + GPCE GPCE/SLE Session 1																						SLE + GPCE GPCE/SLE Session 2																SPLASH PLTea PLTea																				GPCE GPCE/SLE Session 3

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


Room	7:00						30						8:00						30						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						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Zurich C									GPCE + SLE SLE/GPCE Session 8																SLE + GPCE SLE/GPCE Session 5																SPLASH Ask Me Anything (AMA) AMA Session						SLE + GPCE SLE/GPCE Session 6																														SPLASH PLTea PLTea						GPCE + SLE SLE/GPCE Session 7																SPLASH PLTea PLTea						GPCE + SLE SLE/GPCE Session 8																GPCE + SLE SLE/GPCE Session 5																SPLASH Ask Me Anything (AMA) AMA Session						GPCE + SLE SLE/GPCE Session 6																SPLASH PLTea PLTea																				SLE + GPCE SLE/GPCE Session 7

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


Room	7:00						30						8:00						30						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						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Zurich C									DLS DLS Talks 2																SPLASH PLMW Introduction to SPLASH																SPLASH Ask Me Anything (AMA) AMA Session						SPLASH PLMW Career Perspectives																														SPLASH PLTea PLTea						DLS DLS Talks 1																SPLASH PLTea PLTea						DLS DLS Talks 2																SPLASH PLMW Introduction to SPLASH																SPLASH Ask Me Anything (AMA) AMA Session						SPLASH PLMW Career Perspectives																SPLASH PLTea PLTea																				DLS DLS Talks 1

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


Room	7:00						30						8:00						30						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						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Zurich C									SPLASH OOPSLA Analysis - mirror																																SPLASH Ask Me Anything (AMA) AMA Session						SPLASH Onward! Papers Onward! Paper Session 1																														SPLASH PLTea PLTea						SPLASH Onward! Papers Onward! Paper Session 2																SPLASH PLTea PLTea						SPLASH OOPSLA Analysis																																SPLASH Ask Me Anything (AMA) AMA Session						SPLASH Onward! Papers Onward! Paper Session 1																SPLASH PLTea PLTea																				SPLASH Onward! Papers Onward! Paper Session 2

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


Room	7:00						30						8:00						30						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						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Zurich C									SPLASH Onward! Essays Essays Session 1																																SPLASH PLTea PLTea						SPLASH SIGPLAN Business Future of Conferences																																				SPLASH OOPSLA Implementation of special Paradigms																SPLASH PLTea PLTea						SPLASH Onward! Essays Essays Session 1																																						SPLASH SIGPLAN Business Future of Conferences																SPLASH PLTea PLTea																				SPLASH OOPSLA Implementation of special Paradigms - mirror

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						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30
Zurich C					SPLASH PLTea PLTea						SPLASH OOPSLA Algorithms, Libraries and Databases																																				SPLASH Onward! Essays Essays Session 2																SPLASH PLTea PLTea																																												SPLASH OOPSLA Algorithms, Libraries and Databases - mirror																SPLASH PLTea PLTea																				SPLASH Onward! Essays Essays Session 2

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


Room	7:00			15			30			45			8:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Zurich C									SLEVirtual A Concurrency Model for JavaScript with Cooperative Cancellation 07:40 - 07:55			SLEVirtual There Is More Than One Way to Zen Your Python 07:55 - 08:10			SLEVirtual Getting Grammars into Shape for Block-based Editors 08:10 - 08:25			GPCEVirtual Extracting The Power of Dependent Types 08:25 - 08:40			GPCE Discussion, Questions, Answers 08:40 - 09:00				GPCEVirtual SLE/GPCE Joint Welcome 09:00 - 09:20				SLEIn-PersonKeynote SLE Keynote - Integrating Usability into Programming Language Design 09:20 - 09:50						SLEVirtual Monilogging for Executable Domain-Specific Languages 09:50 - 10:05			SLEVirtual Vision: The Next 700 Language Workbenches 10:05 - 10:13		GPCE Discussion, Questions, Answers 10:13 - 10:20	SPLASH PLTea PLTea 10:20 - 10:50						GPCEVirtualKeynote GPCE Keynote - Live Programming and Programming by Example: Better Together 10:50 - 11:20						SLEVirtual Automating the Synthesis of Recommender Systems for Modelling Languages 11:20 - 11:35			SLEVirtual Executing Certified Model Transformations on Apache Spark 11:35 - 11:50			SLEVirtual New Ideas: Automated Engineering of Metamorphic Testing Environments fo ... 11:50 - 11:58		GPCE Discussion, Questions, Answers 11:58 - 12:10																						GPCEVirtual A Variational Database Management System 13:50 - 14:05			GPCEVirtual The Life Cycle of Features in Highly-Configurable Software Systems Evol ... 14:05 - 14:20			GPCEVirtual Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Ap ... 14:20 - 14:35			GPCEVirtual On-Stack Replacement for Program Generators and Source-to-Source Compilers 14:35 - 14:50			GPCE Discussion, Questions, Answers 14:50 - 15:10				SPLASH PLTea PLTea 15:10 - 15:40						SLEVirtual A Concurrency Model for JavaScript with Cooperative Cancellation 15:40 - 15:55			SLEVirtual There Is More Than One Way to Zen Your Python 15:55 - 16:10			SLEVirtual Getting Grammars into Shape for Block-based Editors 16:10 - 16:25			GPCEVirtual Extracting The Power of Dependent Types 16:25 - 16:40			GPCE Discussion, Questions, Answers 16:40 - 17:00				GPCEVirtual SLE/GPCE Joint Welcome 17:00 - 17:20				SLEIn-PersonKeynote SLE Keynote - Integrating Usability into Programming Language Design 17:20 - 17:50						SLEVirtual Monilogging for Executable Domain-Specific Languages 17:50 - 18:05			SLEVirtual Vision: The Next 700 Language Workbenches 18:05 - 18:13		GPCE Discussion, Questions, Answers 18:13 - 18:20							GPCEVirtualKeynote GPCE Keynote - Live Programming and Programming by Example: Better Together 18:50 - 19:20						SLEVirtual Automating the Synthesis of Recommender Systems for Modelling Languages 19:20 - 19:35			SLEVirtual Executing Certified Model Transformations on Apache Spark 19:35 - 19:50			SLEVirtual New Ideas: Automated Engineering of Metamorphic Testing Environments fo ... 19:50 - 19:58		GPCE Discussion, Questions, Answers 19:58 - 20:10		SPLASH PLTea PLTea 20:10 - 20:40																				GPCEVirtual A Variational Database Management System 21:50 - 22:05			GPCEVirtual The Life Cycle of Features in Highly-Configurable Software Systems Evol ... 22:05 - 22:20			GPCEVirtual Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Ap ... 22:20 - 22:35			GPCEVirtual On-Stack Replacement for Program Generators and Source-to-Source Compilers 22:35 - 22:50			GPCE Discussion, Questions, Answers 22:50 - 23:10

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


Room	7:00			15			30			45			8:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Zurich C									GPCEVirtual Leveraging Relational Concept Analysis for Automated Feature Location i ... 07:40 - 07:55			SLEVirtual FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages 07:55 - 08:10			GPCEVirtual Lifted Termination Analysis by Abstract Interpretation and its Applications 08:10 - 08:25			GPCEVirtual Delta-based Verification of Software Product Families 08:25 - 08:40			SLE Discussion, Questions and Answers 08:40 - 09:00				GPCEVirtual Type-safe generation of modules in applicative and generative styles 09:00 - 09:15			GPCEVirtual HACCLE: Metaprogramming for Secure Multi-Party Computation 09:15 - 09:30			GPCEVirtualGPCE Best Paper Award Multi-Stage Programming with Generative and Analytical Macros 09:30 - 09:45			GPCEVirtual Metaprogramming with Combinators 09:45 - 10:00			SLE Discussion, Questions and Answers 10:00 - 10:20				SPLASH Ask Me Anything (AMA)AMAVirtual Invited Speaker 10:20 - 10:50						SLEVirtual Fast Incremental PEG Parsing 10:50 - 11:05			SLEVirtual Faster Reachability Analysis for LR(1) Parsers 11:05 - 11:20			SLEVirtual Automatic Grammar Repair 11:20 - 11:35			SLEVirtual Vision: Bias in Systematic Grammar-Based Test Suite Construction Algorithms 11:35 - 11:43		GPCEVirtual Compiling pattern matching to in-place modifications 11:43 - 11:51	SLE Discussion, Questions and Answers 11:51 - 12:10																		SPLASH PLTea PLTea 13:20 - 13:50						GPCEVirtual A DSL for Explanatory Decision Making 13:50 - 14:05			SLEVirtual SEALS: A framework for building Self-Adaptive Virtual Machines 14:05 - 14:20			GPCEVirtual Understanding and Improving Model-Driven IoT Systems Through Accompanyi ... 14:20 - 14:35			GPCEVirtual Artifact and Reference Models for Generative AI Frameworks and Build Sy ... 14:35 - 14:50			SLE Discussion, Questions and Answers 14:50 - 15:10				SPLASH PLTea PLTea 15:10 - 15:40						GPCEVirtual Leveraging Relational Concept Analysis for Automated Feature Location i ... 15:40 - 15:55			SLEVirtual FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages 15:55 - 16:10			GPCEVirtual Lifted Termination Analysis by Abstract Interpretation and its Applications 16:10 - 16:25			GPCEVirtual Delta-based Verification of Software Product Families 16:25 - 16:40			SLE Discussion, Questions and Answers 16:40 - 17:00				GPCEVirtual Type-safe generation of modules in applicative and generative styles 17:00 - 17:15			GPCEVirtual HACCLE: Metaprogramming for Secure Multi-Party Computation 17:15 - 17:30			GPCEVirtualGPCE Best Paper Award Multi-Stage Programming with Generative and Analytical Macros 17:30 - 17:45			GPCEVirtual Metaprogramming with Combinators 17:45 - 18:00			SLE Discussion, Questions and Answers 18:00 - 18:20										SLEVirtual Fast Incremental PEG Parsing 18:50 - 19:05			SLEVirtual Faster Reachability Analysis for LR(1) Parsers 19:05 - 19:20			SLEVirtual Automatic Grammar Repair 19:20 - 19:35			SLEVirtual Vision: Bias in Systematic Grammar-Based Test Suite Construction Algorithms 19:35 - 19:43		GPCEVirtual Compiling pattern matching to in-place modifications 19:43 - 19:51	SLE Discussion, Questions and Answers 19:51 - 20:10				SPLASH PLTea PLTea 20:10 - 20:40																				GPCEVirtual A DSL for Explanatory Decision Making 21:50 - 22:05			SLEVirtual SEALS: A framework for building Self-Adaptive Virtual Machines 22:05 - 22:20			GPCEVirtual Understanding and Improving Model-Driven IoT Systems Through Accompanyi ... 22:20 - 22:35			GPCEVirtual Artifact and Reference Models for Generative AI Frameworks and Build Sy ... 22:35 - 22:50			SLE Discussion, Questions and Answers 22:50 - 23:10

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


Room	7:00			15			30			45			8:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Zurich C									DLSVirtual Chair's Welcome and Most Notable Paper Award 07:40 - 07:50		DLSResearch PaperVirtual Union and Intersection Contracts Are Hard, Actually 07:50 - 08:15					DLSResearch PaperVirtual Runtime and Compiler Support for HAMTs 08:15 - 08:40									SPLASH PLMW How to Navigate SPLASH 09:00 - 09:20				SPLASH PLMW A Tour through the Program 09:20 - 09:50						SPLASH PLMW Mentoring Sessions 09:50 - 10:20						SPLASH Ask Me Anything (AMA)AMAVirtual Invited Speaker 10:20 - 10:50						SPLASH PLMW PL/SE Career Panel 10:50 - 12:10																														SPLASH PLTea PLTea 13:20 - 13:50						DLSResearch PaperVirtual Analyzing Permission Transfer Channels for Dynamically Typed Languages 13:50 - 14:15					DLSResearch PaperVirtual On Design and Use of First-Class Environments in R 14:15 - 14:40					DLSResearch PaperVirtual CompGen: Generation of Fast JIT Compilers in a Multi-language VM 14:40 - 15:05						SPLASH PLTea PLTea 15:10 - 15:40						DLSVirtual Chair's Welcome and Most Notable Paper Award 15:40 - 15:50		DLSResearch PaperVirtual Union and Intersection Contracts Are Hard, Actually 15:50 - 16:15					DLSResearch PaperVirtual Runtime and Compiler Support for HAMTs 16:15 - 16:40									SPLASH PLMW How to Navigate SPLASH 17:00 - 17:20				SPLASH PLMW A Tour through the Program 17:20 - 17:50						SPLASH PLMW Mentoring Sessions 17:50 - 18:20						SPLASH Ask Me Anything (AMA)AMAVirtual Invited Speaker 18:20 - 18:50						SPLASH PLMW PL/SE Career Panel 18:50 - 20:10																SPLASH PLTea PLTea 20:10 - 20:40																				DLSResearch PaperVirtual Analyzing Permission Transfer Channels for Dynamically Typed Languages 21:50 - 22:15					DLSResearch PaperVirtual On Design and Use of First-Class Environments in R 22:15 - 22:40					DLSResearch PaperVirtual CompGen: Generation of Fast JIT Compilers in a Multi-language VM 22:40 - 23:05

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


Room	7:00			15			30			45			8:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Zurich C									SPLASH OOPSLAVirtual Making Pointer Analysis More Precise by Unleashing the Power of Selecti ... 07:40 - 07:55			SPLASH OOPSLAVirtual Compacting Points-To Sets through Object Clustering 07:55 - 08:10			SPLASH OOPSLAVirtual Program Analysis via Efficient Symbolic Abstraction 08:10 - 08:25			SPLASH OOPSLAVirtual JavaDL: Automatically Incrementalizing Java Bug Pattern Detection 08:25 - 08:40			SPLASH OOPSLA Discussion, Questions and Answers 08:40 - 09:00																				SPLASH Ask Me Anything (AMA)AMAIn-Person Invited Speaker 10:20 - 10:50						SPLASH Onward! PapersVirtual Onward! Welcome 10:50 - 11:05			SPLASH Onward! PapersVirtual Natural Language-Guided Programming 11:05 - 11:20			SPLASH Onward! PapersVirtual Towards Self-Adaptable Languages 11:20 - 11:35			SPLASH Onward! PapersIn-Person Programming with Neural Surrogates of Programs 11:35 - 11:50			SPLASH Onward! Papers Discussion, Questions and Answers 11:50 - 12:10																		SPLASH PLTea PLTea 13:20 - 13:50						SPLASH Onward! PapersVirtual Kotlin Coroutines: Design and Implementation 13:50 - 14:05			SPLASH Onward! PapersVirtual Dala: A Simple Capability-Based Dynamic Language Design for Data Race-F ... 14:05 - 14:20			SPLASH Onward! PapersVirtual Motivating Complexity Understanding by Profiling Energy Usage 14:20 - 14:35			SPLASH Onward! PapersVirtual SkyQuery: An Aerial Drone Video Sensing Platform 14:35 - 14:50			SPLASH Onward! Papers Discussion, Questions and Answers 14:50 - 15:10				SPLASH PLTea PLTea 15:10 - 15:40						SPLASH OOPSLAVirtual Making Pointer Analysis More Precise by Unleashing the Power of Selecti ... 15:40 - 15:55			SPLASH OOPSLAVirtual Compacting Points-To Sets through Object Clustering 15:55 - 16:10			SPLASH OOPSLAVirtual Program Analysis via Efficient Symbolic Abstraction 16:10 - 16:25			SPLASH OOPSLAVirtual JavaDL: Automatically Incrementalizing Java Bug Pattern Detection 16:25 - 16:40			SPLASH OOPSLA Discussion, Questions and Answers 16:40 - 17:00																				SPLASH Ask Me Anything (AMA)AMAVirtual Invited Speaker 18:20 - 18:50						SPLASH Onward! PapersVirtual Onward! Welcome 18:50 - 19:05			SPLASH Onward! PapersVirtual Natural Language-Guided Programming 19:05 - 19:20			SPLASH Onward! PapersVirtual Towards Self-Adaptable Languages 19:20 - 19:35			SPLASH Onward! PapersIn-Person Programming with Neural Surrogates of Programs 19:35 - 19:50			SPLASH Onward! Papers Discussion, Questions and Answers 19:50 - 20:10				SPLASH PLTea PLTea 20:10 - 20:40																				SPLASH Onward! PapersVirtual Kotlin Coroutines: Design and Implementation 21:50 - 22:05			SPLASH Onward! PapersVirtual Dala: A Simple Capability-Based Dynamic Language Design for Data Race-F ... 22:05 - 22:20			SPLASH Onward! PapersVirtual Motivating Complexity Understanding by Profiling Energy Usage 22:20 - 22:35			SPLASH Onward! PapersVirtual SkyQuery: An Aerial Drone Video Sensing Platform 22:35 - 22:50			SPLASH Onward! Papers Discussion, Questions and Answers 22:50 - 23:10

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


Room	7:00			15			30			45			8:00			15			30			45			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			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Zurich C									SPLASH Onward! EssaysVirtual Programming as Architecture, Design, and Urban Planning 07:40 - 08:20								SPLASH Onward! EssaysVirtual Angelic and Demonic Visitation: School Memories 08:20 - 09:00																								SPLASH PLTea PLTea 10:20 - 10:50						SPLASH SIGPLAN BusinessVirtualIn-Person Future of Conferences 10:50 - 12:10																																				SPLASH OOPSLAVirtual Coarsening Optimization for Differentiable Programming 13:50 - 14:05			SPLASH OOPSLAVirtual Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU 14:05 - 14:20			SPLASH OOPSLAIn-Person Statically Bounded-Memory Delayed Sampling for Probabilistic Streams 14:20 - 14:35			SPLASH OOPSLAIn-Person Compilation of Sparse Array Programming Models 14:35 - 14:50			SPLASH OOPSLA Discussion, Questions and Answers 14:50 - 15:10				SPLASH PLTea PLTea 15:10 - 15:40						SPLASH Onward! EssaysVirtual Programming as Architecture, Design, and Urban Planning 15:40 - 16:20								SPLASH Onward! EssaysVirtual Angelic and Demonic Visitation: School Memories 16:20 - 17:00																														SPLASH SIGPLAN BusinessVirtualIn-Person Future of Conferences 18:50 - 20:10																SPLASH PLTea PLTea 20:10 - 20:40																				SPLASH OOPSLAVirtual Coarsening Optimization for Differentiable Programming 21:50 - 22:05			SPLASH OOPSLAVirtual Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU 22:05 - 22:20			SPLASH OOPSLAIn-Person Statically Bounded-Memory Delayed Sampling for Probabilistic Streams 22:20 - 22:35			SPLASH OOPSLAIn-Person Compilation of Sparse Array Programming Models 22:35 - 22:50			SPLASH OOPSLA Discussion, Questions and Answers 22:50 - 23:10

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			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45
Zurich C					SPLASH PLTea PLTea 10:20 - 10:50						SPLASH OOPSLAVirtual UDF to SQL Translation through Compositional Lazy Inductive Synthesis 10:50 - 11:05			SPLASH OOPSLAVirtual LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast) 11:05 - 11:20			SPLASH OOPSLAIn-Person FPL: Fast Presburger Arithmetic through Transprecision 11:20 - 11:35			SPLASH OOPSLAIn-Person Verifying Concurrent Multicopy Search Structures 11:35 - 11:50			SPLASH OOPSLA Discussion, Questions and Answers 11:50 - 12:10																								SPLASH Onward! EssaysVirtual Let a Thousand Flowers Bloom: On the Uses of Diversity in Software Testing 13:50 - 14:30								SPLASH Onward! EssaysVirtual The Kingdoms of Objects and Values 14:30 - 15:10								SPLASH PLTea PLTea 15:10 - 15:40																																												SPLASH OOPSLAVirtual UDF to SQL Translation through Compositional Lazy Inductive Synthesis 18:50 - 19:05			SPLASH OOPSLAVirtual LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast) 19:05 - 19:20			SPLASH OOPSLAIn-Person FPL: Fast Presburger Arithmetic through Transprecision 19:20 - 19:35			SPLASH OOPSLAIn-Person Verifying Concurrent Multicopy Search Structures 19:35 - 19:50			SPLASH OOPSLA Discussion, Questions and Answers 19:50 - 20:10				SPLASH PLTea PLTea 20:10 - 20:40																				SPLASH Onward! EssaysVirtual Let a Thousand Flowers Bloom: On the Uses of Diversity in Software Testing 21:50 - 22:30								SPLASH Onward! EssaysVirtual The Kingdoms of Objects and Values 22:30 - 23:10

Room information: Zurich C

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

GPCE + SLE

GPCE + SLE

SPLASH PLTea

SLE + GPCE

GPCE

SPLASH PLTea

SLE + GPCE

SLE + GPCE

SLE + GPCE

SPLASH PLTea

GPCE

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

GPCE + SLE

SLE + GPCE

SPLASH Ask Me Anything (AMA)

SLE + GPCE

SPLASH PLTea

GPCE + SLE

SPLASH PLTea

GPCE + SLE

GPCE + SLE

SPLASH Ask Me Anything (AMA)

GPCE + SLE

SPLASH PLTea

SLE + GPCE

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

DLS

SPLASH PLMW

SPLASH Ask Me Anything (AMA)

SPLASH PLMW

SPLASH PLTea

DLS

SPLASH PLTea

DLS

SPLASH PLMW

SPLASH Ask Me Anything (AMA)

SPLASH PLMW

SPLASH PLTea

DLS

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

SPLASH OOPSLA

SPLASH Ask Me Anything (AMA)

SPLASH Onward! Papers

SPLASH PLTea

SPLASH Onward! Papers

SPLASH PLTea

SPLASH OOPSLA

SPLASH Ask Me Anything (AMA)

SPLASH Onward! Papers

SPLASH PLTea

SPLASH Onward! Papers

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

SPLASH Onward! Essays

SPLASH PLTea

SPLASH SIGPLAN Business

SPLASH OOPSLA

SPLASH PLTea

SPLASH Onward! Essays

SPLASH SIGPLAN Business

SPLASH PLTea

SPLASH OOPSLA

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

SPLASH PLTea

SPLASH OOPSLA

SPLASH Onward! Essays

SPLASH PLTea

SPLASH OOPSLA

SPLASH PLTea

SPLASH Onward! Essays

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

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