SLE 2021
Sun 17 - Tue 19 October 2021
Chicago, Illinois, United States
co-located with
SPLASH 2021
Toggle navigation
Attending
Venue: Swissotel Chicago
SPLASH 2021
Venue: Online
Students
Registration
Sponsoring
Code of Conduct
Guide for Attendees
Guide for Presenters
Guide for Session Chairs and Workshop Organizers
Certificate of Attendance
Program
Complete Program
Your Program
Sun 17 Oct
Mon 18 Oct
Tue 19 Oct
Wed 20 Oct
Thu 21 Oct
Fri 22 Oct
Tracks
SLE 2021
SLE
Co-hosted Conferences
GPCE
Organization
SLE 2021 Committees
Track Committees
Organizing Committee
Program Committee
Artifact Evaluation Committee
Steering Committee
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
Search
Series
Series
SLE 2025
SLE 2024
SLE 2023
SLE 2022
SLE 2021
SLE 2020
SLE 2019
SLE 2018
SLE 2017
SLE 2016
SLE 2015
SLE 2013
Sign in
Sign up
SPLASH 2021
(
series
) /
SLE 2021 (
series
) /
Swissotel Chicago
/
Room information: Zurich C
Venue
Swissotel Chicago
Room name
Zurich C
Room Information
https://www.youtube.com/watch?v=z25q1tZeqoU
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 4
GPCE
/
SLE
at
Zurich C
Chair(s):
Mikhail Barash
University of Bergen
07:40
15m
Talk
A Concurrency Model for JavaScript with Cooperative Cancellation
Virtual
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 Python
Virtual
SLE
Aamir Farooq
Universiteit Twente
,
Vadim Zaytsev
University of Twente, Netherlands
08:10
15m
Talk
Getting Grammars into Shape for Block-based Editors
Virtual
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 Types
Virtual
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 1
GPCE
/
SLE
at
Zurich C
+8h
Chair(s):
Emma Söderberg
Lund University
09:00
20m
Day opening
SLE/GPCE Joint Welcome
Virtual
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 Design
In-Person
Keynote
SLE
Jonathan Aldrich
Carnegie Mellon University
09:50
15m
Talk
Monilogging for Executable Domain-Specific Languages
Virtual
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 Workbenches
Virtual
SLE
Mikhail Barash
University of Bergen
10:13
7m
Live Q&A
Discussion, Questions, Answers
GPCE
10:20 - 10:50
PLTea
SPLASH 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 2
SLE
/
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 Together
Virtual
Keynote
GPCE
Sorin Lerner
University of California at San Diego
11:20
15m
Talk
Automating the Synthesis of Recommender Systems for Modelling Languages
Virtual
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 Spark
Virtual
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 Languages
Virtual
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 3
GPCE
at
Zurich C
+8h
Chair(s):
Davide Di Ruscio
University of L'Aquila
13:50
15m
Talk
A Variational Database Management System
Virtual
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 Time
Virtual
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 Approach
Virtual
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 Compilers
Virtual
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
PLTea
SPLASH 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 4
SLE
/
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 Cancellation
Virtual
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 Python
Virtual
SLE
Aamir Farooq
Universiteit Twente
,
Vadim Zaytsev
University of Twente, Netherlands
16:10
15m
Talk
Getting Grammars into Shape for Block-based Editors
Virtual
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 Types
Virtual
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 1
SLE
/
GPCE
at
Zurich C
Chair(s):
Dimitris Kolovos
University of York
17:00
20m
Day opening
SLE/GPCE Joint Welcome
Virtual
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 Design
In-Person
Keynote
SLE
Jonathan Aldrich
Carnegie Mellon University
17:50
15m
Talk
Monilogging for Executable Domain-Specific Languages
Virtual
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 Workbenches
Virtual
SLE
Mikhail Barash
University of Bergen
18:13
7m
Live Q&A
Discussion, Questions, Answers
GPCE
18:50 - 20:10
GPCE/SLE Session 2
SLE
/
GPCE
at
Zurich C
Chair(s):
Eli Tilevich
Virginia Tech
18:50
30m
Keynote
GPCE Keynote - Live Programming and Programming by Example: Better Together
Virtual
Keynote
GPCE
Sorin Lerner
University of California at San Diego
19:20
15m
Talk
Automating the Synthesis of Recommender Systems for Modelling Languages
Virtual
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 Spark
Virtual
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 Languages
Virtual
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
PLTea
SPLASH 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 3
GPCE
at
Zurich C
Chair(s):
Alex Potanin
Victoria University of Wellington
21:50
15m
Talk
A Variational Database Management System
Virtual
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 Time
Virtual
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 Approach
Virtual
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 Compilers
Virtual
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 8
GPCE
/
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 Lines
Virtual
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 Languages
Virtual
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 Applications
Virtual
GPCE
Aleksandar S. Dimovski
Mother Teresa University, Skopje
08:25
15m
Talk
Delta-based Verification of Software Product Families
Virtual
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 5
SLE
/
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 styles
Virtual
GPCE
Yuhi Sato
University of Tsukuba
,
Yukiyoshi Kameyama
University of Tsukuba
09:15
15m
Talk
HACCLE: Metaprogramming for Secure Multi-Party Computation
Virtual
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 Macros
Virtual
GPCE Best Paper Award
GPCE
Nicolas Stucki
EPFL, Switzerland
,
Jonathan Immanuel Brachthäuser
EPFL
,
Martin Odersky
EPFL
09:45
15m
Talk
Metaprogramming with Combinators
Virtual
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 Session
SPLASH Ask Me Anything (AMA)
at
Zurich C
Chair(s):
Talia Ringer
University of Illinois at Urbana-Champaign
10:20
30m
Live Q&A
Invited Speaker
AMA
Virtual
SPLASH Ask Me Anything (AMA)
Heidy Khlaaf
University College London
10:50 - 12:10
SLE/GPCE Session 6
SLE
/
GPCE
at
Zurich C
+8h
Chair(s):
Vadim Zaytsev
University of Twente, Netherlands
10:50
15m
Talk
Fast Incremental PEG Parsing
Virtual
SLE
Zachary Yedidia
Harvard University
,
Stephen Chong
Harvard University
11:05
15m
Talk
Faster Reachability Analysis for LR(1) Parsers
Virtual
SLE
Frédéric Bour
Tarides
,
François Pottier
Inria, France
11:20
15m
Talk
Automatic Grammar Repair
Virtual
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 Algorithms
Virtual
SLE
Christoff Rossouw
Stellenbosch University, South Africa
,
Bernd Fischer
Stellenbosch University, South Africa
11:43
8m
Talk
Compiling pattern matching to in-place modifications
Virtual
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
PLTea
SPLASH 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 7
GPCE
/
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 Making
Virtual
GPCE
Martin Erwig
Oregon State University
,
Prashant Kumar
Oregon State University
14:05
15m
Talk
SEALS: A framework for building Self-Adaptive Virtual Machines
Virtual
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 Twins
Virtual
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 Systems
Virtual
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
PLTea
SPLASH 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 8
GPCE
/
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 Lines
Virtual
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 Languages
Virtual
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 Applications
Virtual
GPCE
Aleksandar S. Dimovski
Mother Teresa University, Skopje
16:25
15m
Talk
Delta-based Verification of Software Product Families
Virtual
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 5
GPCE
/
SLE
at
Zurich C
Chair(s):
Paddy Krishnan
Oracle Labs, Australia
17:00
15m
Talk
Type-safe generation of modules in applicative and generative styles
Virtual
GPCE
Yuhi Sato
University of Tsukuba
,
Yukiyoshi Kameyama
University of Tsukuba
17:15
15m
Talk
HACCLE: Metaprogramming for Secure Multi-Party Computation
Virtual
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 Macros
Virtual
GPCE Best Paper Award
GPCE
Nicolas Stucki
EPFL, Switzerland
,
Jonathan Immanuel Brachthäuser
EPFL
,
Martin Odersky
EPFL
17:45
15m
Talk
Metaprogramming with Combinators
Virtual
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 Session
SPLASH Ask Me Anything (AMA)
at
Zurich C
18:50 - 20:10
SLE/GPCE Session 6
GPCE
/
SLE
at
Zurich C
Chair(s):
Ran Wei
Dalian University of Technology
,
Paddy Krishnan
Oracle Labs, Australia
18:50
15m
Talk
Fast Incremental PEG Parsing
Virtual
SLE
Zachary Yedidia
Harvard University
,
Stephen Chong
Harvard University
19:05
15m
Talk
Faster Reachability Analysis for LR(1) Parsers
Virtual
SLE
Frédéric Bour
Tarides
,
François Pottier
Inria, France
19:20
15m
Talk
Automatic Grammar Repair
Virtual
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 Algorithms
Virtual
SLE
Christoff Rossouw
Stellenbosch University, South Africa
,
Bernd Fischer
Stellenbosch University, South Africa
19:43
8m
Talk
Compiling pattern matching to in-place modifications
Virtual
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
PLTea
SPLASH 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 7
SLE
/
GPCE
at
Zurich C
Chair(s):
Coen De Roover
Vrije Universiteit Brussel
21:50
15m
Talk
A DSL for Explanatory Decision Making
Virtual
GPCE
Martin Erwig
Oregon State University
,
Prashant Kumar
Oregon State University
22:05
15m
Talk
SEALS: A framework for building Self-Adaptive Virtual Machines
Virtual
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 Twins
Virtual
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 Systems
Virtual
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 2
DLS
at
Zurich C
07:40
10m
Day opening
Chair's Welcome and Most Notable Paper Award
Virtual
DLS
07:50
25m
Paper
Union and Intersection Contracts Are Hard, Actually
Research Paper
Virtual
DLS
Teodoro Freund
University of Buenos Aires
,
Yann Hamdaoui
Tweag
,
Arnaud Spiwack
Tweag
DOI
08:15
25m
Paper
Runtime and Compiler Support for HAMTs
Research Paper
Virtual
DLS
Sona Torosyan
University of Utah
,
Jon Zeppieri
n.n.
,
Matthew Flatt
University of Utah
DOI
09:00 - 10:20
Introduction to SPLASH
SPLASH 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 Session
SPLASH Ask Me Anything (AMA)
at
Zurich C
Chair(s):
Zachary Tatlock
University of Washington
10:20
30m
Live Q&A
Invited Speaker
AMA
Virtual
SPLASH Ask Me Anything (AMA)
Leslie Lamport
Microsoft Research
10:50 - 12:10
Career Perspectives
SPLASH 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
PLTea
SPLASH 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 1
DLS
at
Zurich C
+8h
Chair(s):
Arjun Guha
Northeastern University
13:50
25m
Talk
Analyzing Permission Transfer Channels for Dynamically Typed Languages
Research Paper
Virtual
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 R
Research Paper
Virtual
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 VM
Research Paper
Virtual
DLS
Florian Latifi
JKU Linz
,
David Leopoldseder
Oracle Labs
,
Christian Wimmer
Oracle Labs
,
Hanspeter Mössenböck
JKU Linz
DOI
15:10 - 15:40
PLTea
SPLASH PLTea
at
Zurich C
Chair(s):
Aviral Goel
Northeastern University
15:10
30m
Social Event
PLTea
SPLASH PLTea
15:40 - 17:00
DLS Talks 2
DLS
at
Zurich C
-8h
Chair(s):
Arjun Guha
Northeastern University
15:40
10m
Day opening
Chair's Welcome and Most Notable Paper Award
Virtual
DLS
15:50
25m
Paper
Union and Intersection Contracts Are Hard, Actually
Research Paper
Virtual
DLS
Teodoro Freund
University of Buenos Aires
,
Yann Hamdaoui
Tweag
,
Arnaud Spiwack
Tweag
DOI
16:15
25m
Paper
Runtime and Compiler Support for HAMTs
Research Paper
Virtual
DLS
Sona Torosyan
University of Utah
,
Jon Zeppieri
n.n.
,
Matthew Flatt
University of Utah
DOI
17:00 - 18:20
Introduction to SPLASH
SPLASH 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 Session
SPLASH Ask Me Anything (AMA)
at
Zurich C
Chair(s):
Alan Jeffrey
Alcatel-Lucent Bell Labs
18:20
30m
Talk
Invited Speaker
AMA
Virtual
SPLASH Ask Me Anything (AMA)
I:
Ashley Williams
Cloudflare
18:50 - 20:10
Career Perspectives
SPLASH 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
PLTea
SPLASH PLTea
at
Zurich C
Chair(s):
Aviral Goel
Northeastern University
20:10
30m
Social Event
PLTea
SPLASH PLTea
21:50 - 23:10
DLS Talks 1
DLS
at
Zurich C
21:50
25m
Talk
Analyzing Permission Transfer Channels for Dynamically Typed Languages
Research Paper
Virtual
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 R
Research Paper
Virtual
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 VM
Research Paper
Virtual
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 - mirror
SPLASH 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 Sensitivity
Virtual
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 Clustering
Virtual
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 Abstraction
Virtual
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 Detection
Virtual
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 Session
SPLASH Ask Me Anything (AMA)
at
Zurich C
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
10:20
30m
Live Q&A
Invited Speaker
AMA
In-Person
SPLASH Ask Me Anything (AMA)
Robert Rand
University of Chicago
10:50 - 12:10
Onward! Paper Session 1
SPLASH Onward! Papers
at
Zurich C
+8h
Chair(s):
Wolfgang De Meuter
Vrije Universiteit Brussel
10:50
15m
Day opening
Onward! Welcome
Virtual
SPLASH Onward! Papers
11:05
15m
Talk
Natural Language-Guided Programming
Virtual
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 Languages
Virtual
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 Programs
In-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
PLTea
SPLASH 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 2
SPLASH Onward! Papers
at
Zurich C
+8h
Chair(s):
Christophe Scholliers
Universiteit Gent, Belgium
13:50
15m
Talk
Kotlin Coroutines: Design and Implementation
Virtual
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-Freedom
Virtual
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 Usage
Virtual
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 Platform
Virtual
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
PLTea
SPLASH PLTea
at
Zurich C
Chair(s):
Aviral Goel
Northeastern University
15:10
30m
Social Event
PLTea
SPLASH PLTea
15:40 - 17:00
Analysis
SPLASH 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 Sensitivity
Virtual
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 Clustering
Virtual
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 Abstraction
Virtual
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 Detection
Virtual
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 Session
SPLASH Ask Me Anything (AMA)
at
Zurich C
Chair(s):
Manu Sridharan
University of California at Riverside
18:20
30m
Live Q&A
Invited Speaker
AMA
Virtual
SPLASH Ask Me Anything (AMA)
Martin Abadi
Google
18:50 - 20:10
Onward! Paper Session 1
SPLASH Onward! Papers
at
Zurich C
Chair(s):
Shigeru Chiba
The University of Tokyo
18:50
15m
Day opening
Onward! Welcome
Virtual
SPLASH Onward! Papers
19:05
15m
Talk
Natural Language-Guided Programming
Virtual
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 Languages
Virtual
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 Programs
In-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
PLTea
SPLASH 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 2
SPLASH Onward! Papers
at
Zurich C
Chair(s):
Hidehiko Masuhara
Tokyo Institute of Technology
21:50
15m
Talk
Kotlin Coroutines: Design and Implementation
Virtual
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-Freedom
Virtual
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 Usage
Virtual
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 Platform
Virtual
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 1
SPLASH 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 Planning
Virtual
SPLASH Onward! Essays
Tomas Petricek
University of Kent
DOI
08:20
40m
Talk
Angelic and Demonic Visitation: School Memories
Virtual
SPLASH Onward! Essays
Leila Salem
University of Toronto
DOI
10:20 - 10:50
PLTea
SPLASH 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 Conferences
SPLASH SIGPLAN Business
at
Zurich C
+8h
Chair(s):
Eelco Visser
Delft University of Technology
10:50
80m
Panel
Future of Conferences
Virtual
In-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 Paradigms
SPLASH OOPSLA
at
Zurich C
+8h
Chair(s):
Frank Tip
Northeastern University
13:50
15m
Talk
Coarsening Optimization for Differentiable Programming
Virtual
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 GPU
Virtual
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 Streams
In-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 Models
In-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
PLTea
SPLASH 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 1
SPLASH Onward! Essays
at
Zurich C
-8h
Chair(s):
Nada Amin
Harvard University
15:40
40m
Talk
Programming as Architecture, Design, and Urban Planning
Virtual
SPLASH Onward! Essays
Tomas Petricek
University of Kent
DOI
16:20
40m
Talk
Angelic and Demonic Visitation: School Memories
Virtual
SPLASH Onward! Essays
Leila Salem
University of Toronto
DOI
18:50 - 20:10
Future of Conferences
SPLASH SIGPLAN Business
at
Zurich C
18:50
80m
Panel
Future of Conferences
Virtual
In-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
PLTea
SPLASH 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 - mirror
SPLASH OOPSLA
at
Zurich C
Chair(s):
Steve Blackburn
Australian National University
21:50
15m
Talk
Coarsening Optimization for Differentiable Programming
Virtual
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 GPU
Virtual
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 Streams
In-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 Models
In-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
PLTea
SPLASH 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 Databases
SPLASH OOPSLA
at
Zurich C
+8h
Chair(s):
Hans-J. Boehm
Google
10:50
15m
Talk
UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Virtual
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 Transprecision
In-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 Structures
In-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 2
SPLASH 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 Testing
Virtual
SPLASH Onward! Essays
Alex Groce
Northern Arizona University
DOI
14:30
40m
Talk
The Kingdoms of Objects and Values
Virtual
SPLASH Onward! Essays
Friedrich Steimann
Fernuniversität in Hagen
DOI
15:10 - 15:40
PLTea
SPLASH 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 - mirror
SPLASH OOPSLA
at
Zurich C
Chair(s):
Fabian Muehlboeck
IST Austria
18:50
15m
Talk
UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Virtual
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 Transprecision
In-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 Structures
In-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
PLTea
SPLASH PLTea
at
Zurich C
Chair(s):
Aviral Goel
Northeastern University
20:10
30m
Social Event
PLTea
SPLASH PLTea
21:50 - 23:10
Essays Session 2
SPLASH 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 Testing
Virtual
SPLASH Onward! Essays
Alex Groce
Northern Arizona University
DOI
22:30
40m
Talk
The Kingdoms of Objects and Values
Virtual
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
SLE
Virtual
A Concurrency Model for JavaScript with Cooperative Cancellation
07:40 - 07:55
SLE
Virtual
There Is More Than One Way to Zen Your Python
07:55 - 08:10
SLE
Virtual
Getting Grammars into Shape for Block-based Editors
08:10 - 08:25
GPCE
Virtual
Extracting The Power of Dependent Types
08:25 - 08:40
GPCE
Discussion, Questions, Answers
08:40 - 09:00
GPCE
Virtual
SLE/GPCE Joint Welcome
09:00 - 09:20
SLE
In-Person
Keynote
SLE Keynote - Integrating Usability into Programming Language Design
09:20 - 09:50
SLE
Virtual
Monilogging for Executable Domain-Specific Languages
09:50 - 10:05
SLE
Virtual
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
GPCE
Virtual
Keynote
GPCE Keynote - Live Programming and Programming by Example: Better Together
10:50 - 11:20
SLE
Virtual
Automating the Synthesis of Recommender Systems for Modelling Languages
11:20 - 11:35
SLE
Virtual
Executing Certified Model Transformations on Apache Spark
11:35 - 11:50
SLE
Virtual
New Ideas: Automated Engineering of Metamorphic Testing Environments fo ...
11:50 - 11:58
GPCE
Discussion, Questions, Answers
11:58 - 12:10
GPCE
Virtual
A Variational Database Management System
13:50 - 14:05
GPCE
Virtual
The Life Cycle of Features in Highly-Configurable Software Systems Evol ...
14:05 - 14:20
GPCE
Virtual
Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Ap ...
14:20 - 14:35
GPCE
Virtual
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
SLE
Virtual
A Concurrency Model for JavaScript with Cooperative Cancellation
15:40 - 15:55
SLE
Virtual
There Is More Than One Way to Zen Your Python
15:55 - 16:10
SLE
Virtual
Getting Grammars into Shape for Block-based Editors
16:10 - 16:25
GPCE
Virtual
Extracting The Power of Dependent Types
16:25 - 16:40
GPCE
Discussion, Questions, Answers
16:40 - 17:00
GPCE
Virtual
SLE/GPCE Joint Welcome
17:00 - 17:20
SLE
In-Person
Keynote
SLE Keynote - Integrating Usability into Programming Language Design
17:20 - 17:50
SLE
Virtual
Monilogging for Executable Domain-Specific Languages
17:50 - 18:05
SLE
Virtual
Vision: The Next 700 Language Workbenches
18:05 - 18:13
GPCE
Discussion, Questions, Answers
18:13 - 18:20
GPCE
Virtual
Keynote
GPCE Keynote - Live Programming and Programming by Example: Better Together
18:50 - 19:20
SLE
Virtual
Automating the Synthesis of Recommender Systems for Modelling Languages
19:20 - 19:35
SLE
Virtual
Executing Certified Model Transformations on Apache Spark
19:35 - 19:50
SLE
Virtual
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
GPCE
Virtual
A Variational Database Management System
21:50 - 22:05
GPCE
Virtual
The Life Cycle of Features in Highly-Configurable Software Systems Evol ...
22:05 - 22:20
GPCE
Virtual
Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Ap ...
22:20 - 22:35
GPCE
Virtual
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
GPCE
Virtual
Leveraging Relational Concept Analysis for Automated Feature Location i ...
07:40 - 07:55
SLE
Virtual
FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages
07:55 - 08:10
GPCE
Virtual
Lifted Termination Analysis by Abstract Interpretation and its Applications
08:10 - 08:25
GPCE
Virtual
Delta-based Verification of Software Product Families
08:25 - 08:40
SLE
Discussion, Questions and Answers
08:40 - 09:00
GPCE
Virtual
Type-safe generation of modules in applicative and generative styles
09:00 - 09:15
GPCE
Virtual
HACCLE: Metaprogramming for Secure Multi-Party Computation
09:15 - 09:30
GPCE
Virtual
GPCE Best Paper Award
Multi-Stage Programming with Generative and Analytical Macros
09:30 - 09:45
GPCE
Virtual
Metaprogramming with Combinators
09:45 - 10:00
SLE
Discussion, Questions and Answers
10:00 - 10:20
SPLASH Ask Me Anything (AMA)
AMA
Virtual
Invited Speaker
10:20 - 10:50
SLE
Virtual
Fast Incremental PEG Parsing
10:50 - 11:05
SLE
Virtual
Faster Reachability Analysis for LR(1) Parsers
11:05 - 11:20
SLE
Virtual
Automatic Grammar Repair
11:20 - 11:35
SLE
Virtual
Vision: Bias in Systematic Grammar-Based Test Suite Construction Algorithms
11:35 - 11:43
GPCE
Virtual
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
GPCE
Virtual
A DSL for Explanatory Decision Making
13:50 - 14:05
SLE
Virtual
SEALS: A framework for building Self-Adaptive Virtual Machines
14:05 - 14:20
GPCE
Virtual
Understanding and Improving Model-Driven IoT Systems Through Accompanyi ...
14:20 - 14:35
GPCE
Virtual
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
GPCE
Virtual
Leveraging Relational Concept Analysis for Automated Feature Location i ...
15:40 - 15:55
SLE
Virtual
FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages
15:55 - 16:10
GPCE
Virtual
Lifted Termination Analysis by Abstract Interpretation and its Applications
16:10 - 16:25
GPCE
Virtual
Delta-based Verification of Software Product Families
16:25 - 16:40
SLE
Discussion, Questions and Answers
16:40 - 17:00
GPCE
Virtual
Type-safe generation of modules in applicative and generative styles
17:00 - 17:15
GPCE
Virtual
HACCLE: Metaprogramming for Secure Multi-Party Computation
17:15 - 17:30
GPCE
Virtual
GPCE Best Paper Award
Multi-Stage Programming with Generative and Analytical Macros
17:30 - 17:45
GPCE
Virtual
Metaprogramming with Combinators
17:45 - 18:00
SLE
Discussion, Questions and Answers
18:00 - 18:20
SLE
Virtual
Fast Incremental PEG Parsing
18:50 - 19:05
SLE
Virtual
Faster Reachability Analysis for LR(1) Parsers
19:05 - 19:20
SLE
Virtual
Automatic Grammar Repair
19:20 - 19:35
SLE
Virtual
Vision: Bias in Systematic Grammar-Based Test Suite Construction Algorithms
19:35 - 19:43
GPCE
Virtual
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
GPCE
Virtual
A DSL for Explanatory Decision Making
21:50 - 22:05
SLE
Virtual
SEALS: A framework for building Self-Adaptive Virtual Machines
22:05 - 22:20
GPCE
Virtual
Understanding and Improving Model-Driven IoT Systems Through Accompanyi ...
22:20 - 22:35
GPCE
Virtual
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
DLS
Virtual
Chair's Welcome and Most Notable Paper Award
07:40 - 07:50
DLS
Research Paper
Virtual
Union and Intersection Contracts Are Hard, Actually
07:50 - 08:15
DLS
Research Paper
Virtual
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)
AMA
Virtual
Invited Speaker
10:20 - 10:50
SPLASH PLMW
PL/SE Career Panel
10:50 - 12:10
SPLASH PLTea
PLTea
13:20 - 13:50
DLS
Research Paper
Virtual
Analyzing Permission Transfer Channels for Dynamically Typed Languages
13:50 - 14:15
DLS
Research Paper
Virtual
On Design and Use of First-Class Environments in R
14:15 - 14:40
DLS
Research Paper
Virtual
CompGen: Generation of Fast JIT Compilers in a Multi-language VM
14:40 - 15:05
SPLASH PLTea
PLTea
15:10 - 15:40
DLS
Virtual
Chair's Welcome and Most Notable Paper Award
15:40 - 15:50
DLS
Research Paper
Virtual
Union and Intersection Contracts Are Hard, Actually
15:50 - 16:15
DLS
Research Paper
Virtual
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)
AMA
Virtual
Invited Speaker
18:20 - 18:50
SPLASH PLMW
PL/SE Career Panel
18:50 - 20:10
SPLASH PLTea
PLTea
20:10 - 20:40
DLS
Research Paper
Virtual
Analyzing Permission Transfer Channels for Dynamically Typed Languages
21:50 - 22:15
DLS
Research Paper
Virtual
On Design and Use of First-Class Environments in R
22:15 - 22:40
DLS
Research Paper
Virtual
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 OOPSLA
Virtual
Making Pointer Analysis More Precise by Unleashing the Power of Selecti ...
07:40 - 07:55
SPLASH OOPSLA
Virtual
Compacting Points-To Sets through Object Clustering
07:55 - 08:10
SPLASH OOPSLA
Virtual
Program Analysis via Efficient Symbolic Abstraction
08:10 - 08:25
SPLASH OOPSLA
Virtual
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)
AMA
In-Person
Invited Speaker
10:20 - 10:50
SPLASH Onward! Papers
Virtual
Onward! Welcome
10:50 - 11:05
SPLASH Onward! Papers
Virtual
Natural Language-Guided Programming
11:05 - 11:20
SPLASH Onward! Papers
Virtual
Towards Self-Adaptable Languages
11:20 - 11:35
SPLASH Onward! Papers
In-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! Papers
Virtual
Kotlin Coroutines: Design and Implementation
13:50 - 14:05
SPLASH Onward! Papers
Virtual
Dala: A Simple Capability-Based Dynamic Language Design for Data Race-F ...
14:05 - 14:20
SPLASH Onward! Papers
Virtual
Motivating Complexity Understanding by Profiling Energy Usage
14:20 - 14:35
SPLASH Onward! Papers
Virtual
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 OOPSLA
Virtual
Making Pointer Analysis More Precise by Unleashing the Power of Selecti ...
15:40 - 15:55
SPLASH OOPSLA
Virtual
Compacting Points-To Sets through Object Clustering
15:55 - 16:10
SPLASH OOPSLA
Virtual
Program Analysis via Efficient Symbolic Abstraction
16:10 - 16:25
SPLASH OOPSLA
Virtual
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)
AMA
Virtual
Invited Speaker
18:20 - 18:50
SPLASH Onward! Papers
Virtual
Onward! Welcome
18:50 - 19:05
SPLASH Onward! Papers
Virtual
Natural Language-Guided Programming
19:05 - 19:20
SPLASH Onward! Papers
Virtual
Towards Self-Adaptable Languages
19:20 - 19:35
SPLASH Onward! Papers
In-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! Papers
Virtual
Kotlin Coroutines: Design and Implementation
21:50 - 22:05
SPLASH Onward! Papers
Virtual
Dala: A Simple Capability-Based Dynamic Language Design for Data Race-F ...
22:05 - 22:20
SPLASH Onward! Papers
Virtual
Motivating Complexity Understanding by Profiling Energy Usage
22:20 - 22:35
SPLASH Onward! Papers
Virtual
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! Essays
Virtual
Programming as Architecture, Design, and Urban Planning
07:40 - 08:20
SPLASH Onward! Essays
Virtual
Angelic and Demonic Visitation: School Memories
08:20 - 09:00
SPLASH PLTea
PLTea
10:20 - 10:50
SPLASH SIGPLAN Business
Virtual
In-Person
Future of Conferences
10:50 - 12:10
SPLASH OOPSLA
Virtual
Coarsening Optimization for Differentiable Programming
13:50 - 14:05
SPLASH OOPSLA
Virtual
Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
14:05 - 14:20
SPLASH OOPSLA
In-Person
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
14:20 - 14:35
SPLASH OOPSLA
In-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! Essays
Virtual
Programming as Architecture, Design, and Urban Planning
15:40 - 16:20
SPLASH Onward! Essays
Virtual
Angelic and Demonic Visitation: School Memories
16:20 - 17:00
SPLASH SIGPLAN Business
Virtual
In-Person
Future of Conferences
18:50 - 20:10
SPLASH PLTea
PLTea
20:10 - 20:40
SPLASH OOPSLA
Virtual
Coarsening Optimization for Differentiable Programming
21:50 - 22:05
SPLASH OOPSLA
Virtual
Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
22:05 - 22:20
SPLASH OOPSLA
In-Person
Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
22:20 - 22:35
SPLASH OOPSLA
In-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 OOPSLA
Virtual
UDF to SQL Translation through Compositional Lazy Inductive Synthesis
10:50 - 11:05
SPLASH OOPSLA
Virtual
LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)
11:05 - 11:20
SPLASH OOPSLA
In-Person
FPL: Fast Presburger Arithmetic through Transprecision
11:20 - 11:35
SPLASH OOPSLA
In-Person
Verifying Concurrent Multicopy Search Structures
11:35 - 11:50
SPLASH OOPSLA
Discussion, Questions and Answers
11:50 - 12:10
SPLASH Onward! Essays
Virtual
Let a Thousand Flowers Bloom: On the Uses of Diversity in Software Testing
13:50 - 14:30
SPLASH Onward! Essays
Virtual
The Kingdoms of Objects and Values
14:30 - 15:10
SPLASH PLTea
PLTea
15:10 - 15:40
SPLASH OOPSLA
Virtual
UDF to SQL Translation through Compositional Lazy Inductive Synthesis
18:50 - 19:05
SPLASH OOPSLA
Virtual
LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)
19:05 - 19:20
SPLASH OOPSLA
In-Person
FPL: Fast Presburger Arithmetic through Transprecision
19:20 - 19:35
SPLASH OOPSLA
In-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! Essays
Virtual
Let a Thousand Flowers Bloom: On the Uses of Diversity in Software Testing
21:50 - 22:30
SPLASH Onward! Essays
Virtual
The Kingdoms of Objects and Values
22:30 - 23:10
Information for Participants
Sun 17 Oct 2021 10:20 - 10:50 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Sun 17 Oct 2021 15:10 - 15:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Sun 17 Oct 2021 20:10 - 20:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Mon 18 Oct 2021 13:20 - 13:50 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Mon 18 Oct 2021 15:10 - 15:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Mon 18 Oct 2021 20:10 - 20:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Tue 19 Oct 2021 13:20 - 13:50 at
Zurich C
-
PLTea
Chair(s):
Paulette Koronkevich
Info for session
Join via
Zoom
Information for Participants
Tue 19 Oct 2021 15:10 - 15:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Tue 19 Oct 2021 20:10 - 20:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Wed 20 Oct 2021 13:20 - 13:50 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Wed 20 Oct 2021 20:10 - 20:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Thu 21 Oct 2021 10:20 - 10:50 at
Zurich C
-
PLTea
Chair(s):
Paulette Koronkevich
Info for session
Join via
Zoom
Information for Participants
Thu 21 Oct 2021 15:10 - 15:40 at
Zurich C
-
PLTea
Chair(s):
Paulette Koronkevich
Info for session
Join via
Zoom
Information for Participants
Thu 21 Oct 2021 20:10 - 20:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Fri 22 Oct 2021 10:20 - 10:50 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Fri 22 Oct 2021 15:10 - 15:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
Information for Participants
Fri 22 Oct 2021 20:10 - 20:40 at
Zurich C
-
PLTea
Chair(s):
Aviral Goel
Info for session
Join via
Zoom
x
Mon 4 Nov 06:59