Scala 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
co-located with SPLASH 2021
Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 17 Oct

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

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
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
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
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): Davide Di Ruscio University of L'Aquila, Bahman Zamani University of Isfahan
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
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
18:50 - 20:10
SLE/GPCE Session 6GPCE / SLE at Zurich C
Chair(s): Dimitris Kolovos University of York, 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

09:00 - 10:20
Introduction to SPLASHSPLASH PLMW at Zurich C +8h
09:00
20m
Talk
How to Navigate SPLASH
SPLASH PLMW

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

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

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

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
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 Technology 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 Technology 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)
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 Conferences
SPLASH SIGPLAN Business
Stephen Kell King's College London, Jonathan Aldrich Carnegie Mellon University, Shriram Krishnamurthi Brown University, United States, David Grove IBM Research, USA, 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
Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person
SPLASH OOPSLA
Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart Inria; ENS; PSL University, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
14:20
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: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 Conferences
SPLASH SIGPLAN Business
Stephen Kell King's College London, Jonathan Aldrich Carnegie Mellon University, Shriram Krishnamurthi Brown University, United States, David Grove IBM Research, USA, 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
Statically Bounded-Memory Delayed Sampling for Probabilistic StreamsIn-Person
SPLASH OOPSLA
Eric Atkinson Massachusetts Institute of Technology, Guillaume Baudart Inria; ENS; PSL University, Louis Mandel IBM Research, Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
DOI
22:20
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: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, Isil 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 TransprecisionDistinguished PaperVirtual
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
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
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, Isil 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 TransprecisionDistinguished PaperVirtual
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
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
Hide past events
Hide past events

Sun 17 Oct

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich C
SPLASH PLTea
PLTea
10:20 - 10:50
SPLASH PLTea
PLTea
15:10 - 15:40
SPLASH PLTea
PLTea
20:10 - 20:40

Mon 18 Oct

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich C
SPLASH PLTea
PLTea
13:20 - 13:50
SPLASH PLTea
PLTea
15:10 - 15:40
SPLASH PLTea
PLTea
20:10 - 20:40

Tue 19 Oct

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich C
SPLASH PLTea
PLTea
13:20 - 13:50
SPLASH PLTea
PLTea
15:10 - 15:40
SPLASH PLTea
PLTea
20:10 - 20:40

Wed 20 Oct

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich C
SPLASH PLTea
PLTea
13:20 - 13:50
SPLASH PLTea
PLTea
15:10 - 15:40
SPLASH PLTea
PLTea
20:10 - 20:40

Thu 21 Oct

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

Room7:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich C
SPLASH PLTea
PLTea
10:20 - 10:50
SPLASH PLTea
PLTea
15:10 - 15:40
SPLASH PLTea
PLTea
20:10 - 20:40

Fri 22 Oct

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:0015304522:0015304523:00153045
Zurich C
SPLASH PLTea
PLTea
10:20 - 10:50
SPLASH PLTea
PLTea
15:10 - 15:40
SPLASH PLTea
PLTea
20:10 - 20:40
Hide past events