Program - SPLASH 2023

Detailed Table Column Timeline Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect other time zone

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

Time Band

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

Display full programSpecify a time band

Save

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

Sun 22 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	Session 1PPDP at Oceanus Chair(s): Michael Hanus Kiel University

09:00 5m Other		Opening of PPDP PPDP Santiago Escobar
09:05 25m Paper		A Calculus of Delayed Reductions PPDP Steffen van Bakel , Nicolas Wu Imperial College London, Emma Tye
09:30 30m Paper		Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators PPDP Kazuki Ikemori Tokyo Institute of Technology, Youyou Cong Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology
10:00 30m Paper		Comprehending queries over finite maps PPDP Wilmer Ricciotti University of Edinburgh, UK

09:00 - 10:30	Session 1SAS at Room I Chair(s): Caterina Urban Inria & École Normale Supérieure \| Université PSL

09:00 5m		Opening SAS Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, José Morales IMDEA Software Institute Pre-print
09:05 60m Keynote		Goal-Directed Abstract Interpretation and Event-Driven FrameworksKeynote SAS I: Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon Pre-print
10:05 30m Talk		A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award) SAS Josselin Giet Ecole Normale Supérieure, Félix Ridoux Univ Rennes / IMDEA Software Institute, Xavier Rival Inria; ENS; CNRS; PSL University Pre-print

09:00 - 10:30	MPLR Session 1MPLR at Room II Chair(s): Eliot Moss University of Massachusetts at Amherst

09:00 5m Day opening		Welcome from the Chairs MPLR Rodrigo Bruno INESC-ID - IST-ULisboa, Eliot Moss University of Massachusetts at Amherst
09:05 55m Keynote		Is Wasm Becoming Garbage? (Keynote) MPLR K: Andreas Rossberg Independent DOI
10:00 15m Talk		On the Applicability of Annotation-Based Source Code Modification in Kotlin (Work in Progress) MPLR Daniel Pfeffer JKU Linz, Markus Weninger JKU Linz DOI
10:15 15m Talk		CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) MPLR Serhii Ivanenko INESC-ID; IST-ULisboa, Rodrigo Bruno INESC-ID - IST-ULisboa, Jovan Stevanovic Oracle Labs, Luís Veiga INESC-ID; IST-ULisboa, Vojin Jovanovic Oracle Labs DOI

09:00 - 10:30	Opening, KeynoteFTSCS at Room IV Chair(s): Peter Ölveczky University of Oslo

09:15 75m Talk		Opening, Keynote: Bounded STL Model Checking for Hybrid Systems FTSCS Kyungmin Bae POSTECH

09:00 - 10:30	ST30 Day 1 Session 1ST30 at Room XIII Chair(s): Kirstin Peters Augsburg University

09:00 30m Talk		A silent semantics for isorecursive session types ST30 Janek Spaderna University of Freiburg, Germany, Peter Thiemann University of Freiburg, Germany, Vasco T. Vasconcelos LASIGE, University of Lisbon
09:30 30m Talk		Mechanising Multiparty Session Types: A Sound and Complete Projection ST30 Marco Carbone IT University of Copenhagen, Dawit Tirore IT University of Copenhagen, Denmark, Jesper Bengtson IT University of Copenhagen, Denmark
10:00 30m Talk		The Concurrent Calculi Formalisation Benchmark ST30 Marco Carbone IT University of Copenhagen, David Castro-Perez University of Kent, Francisco Ferreira Royal Holloway, University of London, Lorenzo Gheri University of Liverpool, Frederik Krogsdal Jacobsen Technical University of Denmark, Alberto Momigliano Università degli Studi di Milano, Luca Padovani University of Camerino, Alceste Scalas DTU, Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford

	10:30 - 11:00	Coffee BreakCatering at Gallery

11:00 - 12:30	Session 2PPDP at Oceanus Chair(s): Santiago Escobar

11:00 90m Keynote		Embedding Quantitative Properties of Call-by-Name and Call-by-Value in a Unifying FrameworkKeynote PPDP Delia Kesner Université Paris Cité - CNRS - IRIF; Institut Universitaire de France

11:00 - 12:30	Domain precisionSAS at Room I Chair(s): Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon

11:00 30m Talk		How fitting is your abstract domain? SAS Roberto Giacobazzi University of Arizona, Isabella Mastroeni University of Verona, Italy, Elia Perantoni University of Verona Pre-print
11:30 30m Talk		Domain Precision in Galois Connection-less Abstract Interpretation SAS Isabella Mastroeni University of Verona, Italy, Michele Pasqua University of Verona Pre-print
12:00 30m Talk		A Formal Framework to Measure the Incompleteness of Abstract Interpretations SAS Marco Campion INRIA & École Normale Supérieure \| Université PSL, Caterina Urban Inria & École Normale Supérieure \| Université PSL, Mila Dalla Preda University of Verona, Roberto Giacobazzi University of Arizona Pre-print

11:00 - 12:30	MPLR Session 2MPLR at Room II Chair(s): Matthew J. Parkinson Microsoft Azure Research

11:00 22m Talk		Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach MPLR Maxime Chevalier-Boisvert Shopify, Takashi Kokubun Shopify, Noah Gibbs Shopify, Si Xing "Alan" Wu Shopify, Aaron Patterson Shopify, Jemma Issroff Shopify DOI
11:22 22m Talk		CacheIR: The Benefits of a Structured Representation for Inline Caches MPLR Jan de Mooij Mozilla, Matthew Gaudet Mozilla, Iain Ireland Mozilla, Nathan Henderson University of Alberta, Jose Nelson Amaral University of Alberta DOI File Attached
11:45 22m Talk		Diagnosing Compiler Performance by Comparing Optimization Decisions MPLR Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University DOI
12:07 22m Talk		Morello MicroPython: A Python Interpreter for CHERI MPLR Duncan Lowther University of Glasgow, Dejice Jacob University of Glasgow, Jeremy Singer University of Glasgow DOI Pre-print

11:00 - 12:30	Paper presentationsFTSCS at Room IV Chair(s): Cyrille Artho KTH Royal Institute of Technology, Sweden

11:00 30m Talk		Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains FTSCS Mario Gleirscher University of Bremen, Anne Haxthausen , Jan Peleska
11:30 30m Talk		Solving Queries for Boolean Fault Tree Logic via Quantified SAT FTSCS Caz Saaltink , Stefano M. Nicoletti , Matthias Volk , Ernst Moritz Hahn Queen's University Belfast, Marielle Stoelinga University of Twente and Radboud University, Nijmegen
12:00 30m Talk		Symbolic analysis by using folding narrowing with irreducibility and SMT constraints FTSCS Santiago Escobar , Raul Lopez , Julia Sapiña

11:00 - 12:30	Formalisms and SynthesisHATRA at Room VI Chair(s): Michael Coblenz University of California, San Diego

11:00 30m Talk		Diagrammatic notations for interactive theorem proving HATRA Shardul Chiplunkar EPFL, Clément Pit-Claudel EPFL Link to publication
11:30 30m Talk		Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard ApproachRemote HATRA Tyler Holloway Harvard University, Nada Amin Harvard University, Elena Glassman Harvard University
12:00 30m Talk		Latte: Lightweight Aliasing Tracking for Java HATRA Conrad Zimmerman Brown University, Catarina Gamboa Carnegie Mellon University and LASIGE, University of Lisbon, Alcides Fonseca LASIGE, University of Lisbon, Jonathan Aldrich Carnegie Mellon University Link to publication

11:00 - 12:30	ST30 Day 1 Session 2 - Invited talkST30 at Room XIII Chair(s): Vasco T. Vasconcelos LASIGE, University of Lisbon

11:00 90m Talk		Beyond Types for Dyadic Interaction ST30 Nobuko Yoshida University of Oxford

11:00 - 12:30	Session 1GPCE at Room XV Chair(s): Amir Shaikhha University of Edinburgh

11:00 30m Talk		GPCE Welcome by Chairs GPCE Amir Shaikhha University of Edinburgh, Coen De Roover Vrije Universiteit Brussel
11:30 30m Talk		Generating Conforming Programs With Xsmith GPCE William G Hatch University of Utah, Pierce Darragh University of Utah, Sorawee Porncharoenwase University of Washington, Guy Watson University of Utah, Eric Eide University of Utah
12:00 30m Talk		Multi-Stage Vertex-Centric Programming for Agent-Based Simulations GPCE Zilu Tian EPFL

	12:30 - 14:00	LunchCatering at Gallery

14:00 - 15:30	Session 3PPDP at Oceanus Chair(s): Santiago Escobar

14:00 90m Talk		10-Year Most Influential Paper Talk: Coq: the world's best macro assembler? PPDP Andrew Kennedy Meta London, Nick Benton Meta London, Jonas Jensen Semmle, Pierre-Evariste Dagand IRIF / CNRS

14:00 - 15:30	Synthesis and applicationsSAS at Room I Chair(s): Daniel Schoepe Amazon

14:00 30m Talk		Generalized Program Sketching by Abstract Interpretation and Logical Abduction SAS Aleksandar S. Dimovski Mother Teresa University, Skopje Pre-print File Attached
14:30 30m Talk		Reverse Template Processing using Abstract Interpretation SAS Matthieu Lemerre Université Paris-Saclay - CEA LIST Pre-print
15:00 30m Talk		BREWasm: A General Static Binary Rewriting Framework for WebAssemblyRemote SAS Shangtong Cao Beijing University of Posts and Telecommunications, Ningyu He Peking University, Yao Guo Peking University, Haoyu Wang Huazhong University of Science and Technology Pre-print

14:00 - 15:30	MPLR Session 3MPLR at Room II Chair(s): Rodrigo Bruno INESC-ID - IST-ULisboa

14:00 22m Talk		A Multifaceted Memory Analysis of Java Benchmarks MPLR Orion Papadakis University of Manchester, Andreas Andronikakis University of Manchester, Nikos Foutris University of Manchester, Michail Papadimitriou University of Manchester, Athanasios Stratikopoulos University of Manchester, Foivos S. Zakkak Red Hat, Polychronis Xekalakis Nvidia, Christos Kotselidis University of Manchester DOI
14:22 22m Talk		Improving Garbage Collection Observability with Performance Tracing MPLR Claire Huang Australian National University, Stephen M. Blackburn Google; Australian National University, Zixian Cai Australian National University DOI Pre-print Media Attached
14:45 22m Talk		Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers MPLR Humphrey Burchell University of Kent, Octave Larose University of Kent, Sophie Kaleba University of Kent, Stefan Marr University of Kent DOI Pre-print
15:07 22m Talk		Heap Size Adjustment with CPU Control MPLR Sanaz Tavakolisomeh University of Oslo, Marina Shimchenko Uppsala University, Erik Österlund Oracle, Rodrigo Bruno INESC-ID - IST-ULisboa, Paulo Ferreira University of Oslo, Tobias Wrigstad Uppsala University DOI

14:00 - 15:30	Paper presentations 2FTSCS at Room IV Chair(s): Kyungmin Bae POSTECH

14:00 30m Talk		Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library FTSCS Aïssata Maiga , Cyrille Artho KTH Royal Institute of Technology, Sweden, Florian Gilcher , Yannick Moy AdaCore
14:30 30m Talk		Formal Verification of a Mechanical Ventilator using UPPAALRemote FTSCS Jaime Cuartas Universidad del Valle, David Cortés , Joan S Betancourt , Jesus Aranda Universidad del Valle, Jose Garcia , Andres Valencia , James Ortiz Université de Namur
15:00 30m Talk		Discussions, Closing FTSCS Peter Ölveczky University of Oslo, Cyrille Artho KTH Royal Institute of Technology, Sweden

14:00 - 15:30	Interactivity and Visualization for ProgrammersHATRA at Room VI Chair(s): Jonathan Aldrich Carnegie Mellon University

14:00 30m Talk		Debugging Trait Errors as Logic Programs HATRA Gavin Gray ETH Zurich, Will Crichton Brown University Link to publication
14:30 30m Talk		Totally Live Programming with Hazel (Progress Report) HATRA Cyrus Omar University of Michigan, Andrew Blinn University of Michigan, David Moon University of Michigan Link to publication
15:00 30m Talk		REVIS: An Error Visualization Tool for RustRemote HATRA Ruochen Wang University of California, San Diego, Molly MacLaren University of California, San Diego, Michael Coblenz University of California, San Diego Link to publication

14:00 - 15:30	ST30 Day 1 Session 3ST30 at Room XIII Chair(s): Peter Thiemann University of Freiburg, Germany

14:00 30m Talk		CAPABLE: A Mechanised Imperative Language with Native Multiparty Session TypesCancelled ST30 Jan de Muijnck-Hughes University of Strathclyde, Cristian Urlea , Adriana Laura Voinea , Wim Vanderbauwhede University of Glasgow
14:30 30m Talk		Complete Multiparty Session Type Projection with Automata ST30 Elaine Li NYU, Felix Stutz MPI-SWS, Thomas Wies New York University, Damien Zufferey SonarSource
15:00 30m Talk		Multiparty Reactive Sessions ST30 Ilaria Castellani INRIA Sophia Antipolis, France, Cinzia Di Giusto Université Côte d'Azur; CNRS, Jorge A. Pérez University of Groningen Link to publication File Attached

14:00 - 15:30	Session 2GPCE at Room XV Chair(s): Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA

14:00 30m Talk		*A pred-LL() Parsable Typed Higher-Order Macro System for Architecture Description Languages** GPCE Christoph Hochrainer TU Wien, Andreas Krall Vienna University of Technology, Austria
14:30 30m Talk		A Monadic Framework for Name Resolution in Multi-Phased Type Checkers GPCE Casper Bach Poulsen Delft University of Technology, Aron Zwaan Delft University of Technology, Paul Hübner Delft University of Technology Link to publication DOI Pre-print
15:00 30m Talk		C2TACO: Lifting Tensor Code to TACO GPCE José Wesley De Souza Magalhães University of Edinburgh, Jackson Woodruff University of Edinburgh, Elizabeth Polgreen University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh

	15:30 - 16:00	Coffee BreakCatering at Gallery

16:00 - 17:30	Session 4PPDP at Oceanus Chair(s): Santiago Escobar

16:00 30m Paper		Type-directed Program Transformation for Constant-Time Enforcement PPDP Gautier Raimondi Inria, Frédéric Besson , Thomas P. Jensen INRIA Rennes
16:30 30m Paper		Data-Dependent Confidentiality in DCR Graphs PPDP Eduardo Geraldo , João Costa Seco NOVA-LINCS; Nova University of Lisbon, Thomas T. Hildebrandt University of Copenhagen
17:00 30m Break		--- PPDP

16:00 - 17:30	Quantum, neuralSAS at Room I Chair(s): Roberto Giacobazzi University of Arizona

16:00 30m Talk		Quantum Constant Propagation SAS Yanbin Chen TUM School of Computation, Information and Technology, Technical University of Munich, Yannick Stade TUM School of Computation, Information and Technology, Technical University of Munich Pre-print
16:30 30m Talk		Boosting Multi-Neuron Convex Relaxation for Neural Network Verification SAS Xuezhou Tang ShenZhen University, Ye Zheng Shenzhen University, Jiaxiang Liu Shenzhen University Pre-print

16:00 - 17:30	MPLR Session 4MPLR at Room II Chair(s): Stefan Marr University of Kent

16:00 22m Talk		Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image MPLR David Kozak Brno University of Technology, Vojin Jovanovic Oracle Labs, Codrut Stancu Oracle Labs, Tomáš Vojnar Brno University of Technology, Christian Wimmer Oracle Labs DOI
16:22 23m Talk		Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps MPLR Juan Fumero University of Manchester, Florin Blanaru Axelera AI, Athanasios Stratikopoulos University of Manchester, Steve Dohrmann Intel, Sandhya Viswanathan Intel, Christos Kotselidis University of Manchester DOI Pre-print
16:45 15m Talk		Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress) MPLR Christos Lamprakos National Technical University of Athens; KU Leuven, Sotirios Xydis National Technical University of Athens, Peter Kourzanov IMEC, Manu Perumkunnil IMEC, Francky Catthoor IMEC; KU Leuven, Dimitrios Soudris National Technical University of Athens DOI
17:00 15m Talk		Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress) MPLR John Parrish Georgia Institute of Technology, Nicole Wren Block; Georgia Institute of Technology, Tsz Hang Kiang Georgia Institute of Technology, Akihiro Hayashi Georgia Institute of Technology, Jeffrey Young Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology DOI
17:15 15m Talk		Generating Java Interfaces for Accessing Foreign Objects in GraalVM (Work in Progress) MPLR Julian Garn JKU Linz, Florian Angerer Oracle Labs, Hanspeter Mössenböck JKU Linz DOI

16:00 - 17:30	Type Systems and DiscussionHATRA at Room VI Chair(s): Will Crichton Brown University

16:00 45m Talk		Goals of the Luau Type System, Two Years OnRemote HATRA Lily Brown Roblox, Andy Friesen Roblox, Alan Jeffrey Roblox Link to publication
16:45 45m Meeting		Discussion HATRA Michael Coblenz University of California, San Diego, Luke Church University of Cambridge \| Lund University \| Lark Systems, Jonathan Aldrich Carnegie Mellon University, Will Crichton Brown University

16:00 - 17:30	ST30 Day 1 Session 4ST30 at Room XIII Chair(s): Diana Costa LASIGE, University of Lisbon

16:00 30m Talk		The Expressiveness of Session Types ST30 Jorge A. Pérez University of Groningen Pre-print File Attached
16:30 30m Talk		What we learned from writing a book about session types ST30 Simon J. Gay University of Glasgow, UK, Vasco T. Vasconcelos LASIGE, University of Lisbon
17:00 30m Talk		So what's the difference between a session type and an ordinary type anyway? ST30 Frank Pfenning Carnegie Mellon University, USA

16:00 - 17:30	GPCE 2022/23 Most Influential PapersGPCE at Room XV Chair(s): Coen De Roover Vrije Universiteit Brussel

16:00 40m Talk		GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java GPCE Sven Efftinge Gitpod GmbH, Moritz Eysholdt Gitpod GmbH, Jan Köhnlein Gitpod GmbH, Sebastian Zarnekow , Wilhelm Hasselbring Kiel University, Michael Hanus Kiel University
16:40 40m Talk		GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations GPCE Sandro Schulze Anhalt University of Applied Sciences, Jörg Liebig , Janet Siegmund Chemnitz University of Technology, Sven Apel Saarland University

17:30 - 19:30	MPLR PostersMPLR at Room I MPLR posters will be presented during the SPLASH poster sessions, Sunday 22 October 5:30PM - 7:30PM and Tuesday 24 October 5:30PM - 7:30PM.

17:30 40m Talk		CloudJIT: A Just-in-Time FaaS Optimizer (Poster Abstract) MPLR Serhii Ivanenko INESC-ID; IST-ULisboa, Rodrigo Bruno INESC-ID - IST-ULisboa, Jovan Stevanovic Oracle Labs, Luís Veiga INESC-ID; IST-ULisboa, Vojin Jovanovic Oracle Labs DOI
18:10 40m Talk		Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers (Poster Abstract) MPLR Humphrey Burchell University of Kent, Octave Larose University of Kent, Sophie Kaleba University of Kent, Stefan Marr University of Kent DOI
18:50 40m Talk		Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract) MPLR Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University DOI

17:30 - 19:30	SPLASH PostersPosters at Room I Chair(s): Xujie Si University of Toronto

17:30 2h Poster		Sui Move: Modern Blockchain Programming with Objects Posters Adam Welc Mysten Labs, Sam Blackshear Mysten Labs
17:30 2h Poster		Safe Combination of Data-centric and Operation-centric Consistency Posters Mirko Köhler TU Darmstadt, Guido Salvaneschi University of St. Gallen
17:30 2h Poster		Dynamic Library Compartmentalization Posters Octave Larose University of Kent
17:30 2h Poster		Collabs implements collaborative data structures (CRDTs) with OOP principles Posters Matthew Weidner Carnegie Mellon University
17:30 2h Poster		Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization Posters Mikhail Barash University of Bergen, Yulia Startsev Mozilla, Rolf Martin Glomsrud University of Bergen (Norway)
17:30 2h Poster		A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers Posters Yusuke Izawa IBM Research - Tokyo, Junichiro Kadomoto The University of Tokyo, Hidetsugu Irie University of Tokyo, Shuichi Sakai University of Tokyo
17:30 2h Poster		Kind Inference for the FreeST Programming Language Posters Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon, Andreia Mordido LASIGE, University of Lisbon, Vasco T. Vasconcelos LASIGE, University of Lisbon
17:30 2h Poster		Extensible Testing for Infrastructure as Code Posters David Spielmann University of St. Gallen, Daniel Sokolowski University of St. Gallen, Guido Salvaneschi University of St. Gallen
17:30 2h Poster		Penrose: Beautiful diagrams from plain text Posters Sam Estep Carnegie Mellon University
17:30 2h Poster		JaMaBuild: Mass Building of Java Projects Posters Matúš Sulír Technical University of Košice, Milan Nosáľ ValeSoft, s.r.o.
17:30 2h Poster		Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs Posters Tobias Reinhard KU Leuven, Justus Fasse Université Grenoble-Alpes; KU Leuven, Bart Jacobs KU Leuven
17:30 2h Poster		Towards Reusable GUI Structures Posters Knut Anders Stokke University of Bergen, Norway, Mikhail Barash University of Bergen, Jaakko Järvi University of Bergen
17:30 2h Poster		ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming Posters David H. Lorenz Open University of Israel, Ofir Shmuel Open University of Israel DOI Media Attached
17:30 2h Poster		Generating Domain-Specific Programs for Diagram Authoring with Large Language Models Posters Rijul Jain Williams College, Wode Ni Columbia University, Joshua Sunshine Carnegie Mellon University

Mon 23 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	Session 5PPDP at Oceanus Chair(s): Ugo de'Liguoro Università di Torino

09:00 30m Paper		Multicompatibility for Multiparty-Session Composition PPDP Franco Barbanera , Mariangiola Dezani Università di Torino, Lorenzo Gheri University of Liverpool, Nobuko Yoshida University of Oxford
09:30 30m Paper		Termination in Concurrency, Revisited PPDP Joseph Paulus , Daniele Nantes-Sobrinho Imperial College London, Jorge A. Pérez University of Groningen
10:00 30m Paper		Polymorphic Typestate for Session Types PPDP Hannes Saffrich University of Freiburg, Peter Thiemann University of Freiburg, Germany

09:00 - 10:30	Session 5SAS at Room I Chair(s): Enea Zaffanella University of Parma, Italy

09:00 60m Keynote		Abstract Interpretation in Industry - Experience and Lessons LearnedKeynote SAS I: Daniel Kaestner AbsInt Pre-print
10:00 30m Talk		Lifting On-Demand Analysis to Higher-Order Languages SAS Daniel Schoepe Amazon, David Seekatz Unaffiliated, Ilina Stoilkovska Amazon, Sandro Stucki Amazon, Daniel Tattersall Amazon, Pauline Bolignano Amazon, Franco Raimondi Amazon, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon Link to publication Pre-print

09:00 - 10:30	Language implementationSLE at Room II Chair(s): Thomas Degueule CNRS, LaBRI This session will start at 08:50 with a welcome and general announcements from the Conference General Chair.

09:00 30m Talk		Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling LayerResearch Paper SLE Walter Cazzola Università degli Studi di Milano, Luca Favalli Università degli Studi di Milano DOI
09:30 30m Talk		An Executable Semantics for Faster Development of Optimizing Python CompilersResearch Paper SLE Olivier Melancon Université de Montréal, Marc Feeley Université de Montréal, Manuel Serrano Inria; University of Côte d'Azur DOI
10:00 30m Talk		Adaptive Structural Operational SemanticsResearch Paper SLE Gwendal Jouneaux University of Rennes; Inria; IRISA, Damian Frölich University of Amsterdam, Olivier Barais University of Rennes; Inria; CNRS; IRISA, Benoit Combemale University of Rennes, Inria, CNRS, IRISA, Gurvan LE GUERNIC DGA MI & Université de Rennes 1, Gunter Mussbacher McGill University, L. Thomas van Binsbergen University of Amsterdam DOI Pre-print

09:00 - 10:30	Welcome, Ice Breaker, Mentoring TalkPLMW at Room III Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon, Molly Q Feldman Oberlin College

09:00 10m Day opening		Welcome PLMW
09:10 30m Social Event		Ice Breaker / Video Chat PLMW
09:40 50m Talk		A Full Employment Theorem for PL Researchers: Domain-Specific Languages PLMW Nate Foster Cornell University

09:00 - 10:30	keynoteREBLS at Room IV Chair(s): Vadim Zaytsev University of Twente, Netherlands

09:00 90m Keynote		Implementing, verifying and debugging distributed event-based systems REBLS A: Elisa Gonzalez Boix Vrije Universiteit Brussel Pre-print File Attached

09:00 - 10:30	PAINT 2023 - Session 1PAINT at Room V

09:00 30m Talk		Toward Studying Example-based Live Programming in CS/SE Education PAINT Eva Krebs Hasso Plattner Institute (HPI), University of Potsdam, Germany, Toni Mattis University of Potsdam; Hasso Plattner Institute, Patrick Rein University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute Link to publication DOI
09:30 30m Talk		Branching Compositional Data Transformations in jq, VisuallyRemote PAINT Michael Homer Victoria University of Wellington Link to publication DOI
10:00 30m Talk		PescaJ: A projectional editor for Java featuring scattered code aggregation PAINT José Lopes Instituto Universitário de Lisboa (ISCTE-IUL), André L. Santos University Institute of Lisbon, Portugal Link to publication DOI

09:00 - 10:30	Session #1VMIL at Room VI Chair(s): Andrea Rosà USI Lugano

09:00 10m Day opening		Opening Remarks VMIL Andrea Rosà USI Lugano File Attached
09:10 25m Paper		CHERI Performance Enhancement for a Bytecode Interpreter VMIL Duncan Lowther University of Glasgow, Dejice Jacob University of Glasgow, Jeremy Singer University of Glasgow DOI Pre-print
09:35 25m Paper		Revisiting Dynamic Dispatch for Modern Architectures VMIL Dave Mason Toronto Metropolitan University (formerly Ryerson University)
10:00 15m Short-paper		Extraction of Virtual Machine Execution Traces VMIL Daniel Pekarek Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz
10:15 15m Short-paper		Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM ObjectsRemote VMIL Tom Braun Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Eliot Miranda Cadence Design Systems, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute DOI Pre-print

09:00 - 10:30	LIVE 2023 Opening / creative domains for LIVE programmingLIVE at Room XII

09:00 30m Day opening		LIVE 2023 Opening LIVE Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Peter van Hardenberg Ink & Switch
09:30 30m Talk		PAW: a programmable and visual audio workstation LIVE Xavier Lambein
10:00 30m Talk		CellPond: Spatial programming without escape LIVE Lu Wilson tldraw

09:00 - 10:30	ST30 Day 2 Session 1ST30 at Room XIII Chair(s): Alceste Scalas DTU

09:00 30m Talk		Behavioural up/down casting for statically typed languages ST30 Lorenzo Bacchiani , Mario Bravetti Università di Bologna, Marco Giunti Nova University of Lisbon, João Mota NOVA School of Science and Technology, António Ravara Nova University of Lisbon
09:30 30m Talk		Session-Based Typechecking for Elixir Modules Using ElixirST ST30 Adrian Francalanza University of Malta, Gerard Tabone University of Malta
10:00 30m Talk		A Semantic Framework for Automatic Composition of Decentralised Industrial Control SchemesCancelled ST30 Dimitrios Kouzapas University of Cyprus, Demetrios G. Eliades

09:00 - 10:30	GPCE TutorialGPCE at Room XV Chair(s): Sebastian Erdweg JGU Mainz

09:00 90m Tutorial		GPCE Tutorial - Compile-time generative programming for OCaml: flexible, safe and efficient GPCE Jeremy Yallop University of Cambridge

	10:30 - 11:00	Coffee BreakCatering at Gallery

11:00 - 12:30	Modular arithmetic and numeric analysisSAS at Room I Chair(s): Daniel Kaestner AbsInt

11:00 30m Talk		Symbolic transformation of expressions in modular arithmetic SAS Jérôme Boillot École Normale Supérieure, PSL University & INRIA, Jerome Feret INRIA Paris Pre-print
11:30 30m Talk		Polynomial Analysis of Modular Arithmetic SAS Thomas Seed University of Kent, Andy King Kent, Neil Evans AWE, Chris Coppins University of Kent Pre-print
12:00 30m Talk		Octagons Revisited - Elegant Proofs and Simplified Algorithms SAS Michael Schwarz Technische Universität München, Helmut Seidl Technische Universität München Pre-print

11:00 - 12:30	GPCE/SLE Keynote (in Room XV)SLE at Room II Chair(s): Coen De Roover Vrije Universiteit Brussel 12:10pm The GPCE, SLE and COLA awards will be announced in the last part of this session in Room XV.

11:00 70m Keynote		Coccinelle: Impact and Internals SLE Julia Lawall Inria
12:10 20m Awards		GPCE/SLE Awards SLE Amir Shaikhha University of Edinburgh, Coen De Roover Vrije Universiteit Brussel, Sebastian Erdweg JGU Mainz, João Saraiva HASLab/INESC TEC, University of Minho, Thomas Degueule CNRS, LaBRI, Elizabeth Scott Royal Holloway University of London, Friedrich Steimann Fernuniversität in Hagen, Walter Cazzola Università degli Studi di Milano

11:00 - 12:30	Mentoring Talk & PhD PanelPLMW at Room III Chair(s): Molly Q Feldman Oberlin College

11:00 30m Talk		A Brief Introduction to the Flix Programming Language PLMW Magnus Madsen Aarhus University
11:30 60m Panel		PhD Panel PLMW Luna Phipps-Costin Northeastern University, Noam Zilberstein Cornell University, Eduardo Geraldo

11:00 - 12:30	Technical session 1REBLS at Room IV

11:00 45m Talk		Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems REBLS Kento Sogo Tokyo Institute of Technology, Yuta Tsuji Tokyo Institute of Technology, Sosuke Moriguchi Tokyo Institute of Technology, Takuo Watanabe Tokyo Institute of Technology Link to publication DOI Authorizer link
11:45 45m Talk		Thorium: Verifiable, Dynamic, Reactive Software REBLS Kevin Baldor The University of Texas at San Antonio, Jianwei Niu University of Texas at San Antonio, Xiaoyin Wang University of Texas at San Antonio

11:00 - 12:30	PAINT 2023 - Session 2PAINT at Room V

11:00 30m Talk		Game Engine Wizardry for Programming Mischief PAINT Riemer van Rozen CWI Link to publication DOI
11:30 30m Talk		Visual Replacements: Cross-language Domain-specific Representations in Structured Editors PAINT Tom Beckmann Hasso Plattner Institute, Daniel Stachnik Hasso Plattner Institute, Jens Lincke University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute Link to publication DOI
12:00 30m Talk		Transforming an internal textual DSL into a Blended Modelling Environment PAINT Aleandro Mifsud University of Amsterdam & Axini BV, Georgia Samaritaki University of Amsterdam, Ulyana Tikhonova Axini, Jouke Stoel Axini BV Link to publication DOI

11:00 - 12:30	Session #2: KeynoteVMIL at Room VI Chair(s): Andrea Rosà USI Lugano

11:00 60m Keynote		Polyglot Programming through Foreign Function InterfacesKeynote VMIL Shigeru Chiba The University of Tokyo

11:00 - 12:30	Session ILOPSTR at Room VII Chair(s): Santiago Escobar , Robert Glück University of Copenhagen

11:00 10m Day opening		Opening Remarks LOPSTR Robert Glück University of Copenhagen
11:10 60m Keynote		Unification Modulo Equational Theories in Languages with Binding Operators Keynote LOPSTR Maribel Fernandez King's College London
12:10 20m Short-paper		Towards a Certified Proof Checker for Deep Neural Network Verification LOPSTR Remi Desmartin Heriot-Watt University, Omri Isac The Hebrew University of Jerusalem, Grant Passmore Imandra Inc., Kathrin Stark Heriot-Watt University, Guy Katz Hebrew University, Ekaterina Komandantskaya Heriot-Watt University, UK

11:00 - 12:30	Session 6PPDP at Room VII Chair(s): Santiago Escobar

11:10 60m Keynote		Unification modulo equational theories in languages with binding operators PPDP Maribel Fernandez King's College London

11:00 - 12:30	Theoretical problems in LIVE programmingLIVE at Room XII

11:00 30m Talk		Live & Local Schema Change: Challenge Problems LIVE Jonathan Edwards Independent, Tomas Petricek Charles University, Tijs van der Storm CWI & University of Groningen DOI Pre-print
11:30 30m Talk		CodeProber: Live Compiler Exploration LIVE Anton Risberg Alaküla Lund University, Görel Hedin Lund University, Niklas Fors Lund University Media Attached File Attached
12:00 30m Talk		Language Model Agents Enable Semi-Formal Programming LIVE Josh Pollock MIT CSAIL, Arvind Satyanarayan MIT CSAIL, Daniel Jackson MIT

11:00 - 12:30	ST30 Day 2 Session 2ST30 at Room XIII Chair(s): Frank Pfenning Carnegie Mellon University, USA

11:00 30m Talk		Asynchronous and Synchronous Mixed Sessions ST30 Kirstin Peters Augsburg University, Nobuko Yoshida University of Oxford
11:30 30m Talk		Classical Processes in modern dress ST30 Vikraman Choudhury University of Glasgow, Simon J. Gay University of Glasgow, UK
12:00 30m Talk		Labelled Tensor Types in Session Based ProgrammingCancelled ST30 Luís Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon

11:00 - 12:30	GPCE/SLE KeynoteGPCE at Room XV

11:00 90m Talk		Coccinelle: Impact and Internals GPCE Julia Lawall Inria

	12:30 - 14:00	LunchCatering at Gallery

14:00 - 15:30	Session 7PPDP at Oceanus Chair(s): Santiago Escobar

14:00 30m Paper		Strongly-Typed Multi-View Stack-Based Computations PPDP Pieter Koopman Radboud University Nijmegen, Netherlands, Mart Lubbers Radboud University Nijmegen
14:30 30m Paper		Closure Conversion in Little Pieces PPDP Zachary Sullivan University of Oregon, Paul Downen University of Massachusetts Lowell, Zena M. Ariola University of Oregon
15:00 30m Paper		Additive Cellular Automata Graded-Monadically PPDP Silvio Capobianco , Tarmo Uustalu Reykjavik University

14:00 - 15:30	Error location and scalingSAS at Room I Chair(s): Andy King Kent

14:00 30m Talk		Error Invariants for Fault Localization via Abstract Interpretation SAS Aleksandar S. Dimovski Mother Teresa University, Skopje Pre-print File Attached
14:30 30m Talk		Error Localization for Sequential Effect Systems SAS Colin Gordon Drexel University, Chaewon Yun Drexel University Link to publication Pre-print
15:00 30m Talk		Scaling up Roundoff Analysis of Functional Data Structure Programs SAS Anastasia Isychev Technical University of Vienna, Eva Darulova Uppsala University Pre-print

14:00 - 15:30	Grammars and parsingSLE at Room II Chair(s): Luis Eduardo de Souza Amorim Australian National University, Australia

14:00 30m Talk		A reference GLL implementationResearch Paper SLE Adrian Johnstone Royal Holloway University of London, UK DOI
14:30 30m Talk		Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute GrammarsResearch Paper SLE Lucas Kramer University of Minnesota, Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA DOI Pre-print
15:00 30m Talk		Nanopass Attribute GrammarsResearch Paper SLE Nathan Ringo University of Minnesota, Lucas Kramer University of Minnesota, Eric Van Wyk Department of Computer Science and Engineering, University of Minnesota, USA DOI Pre-print

14:00 - 15:30	Career PanelPLMW at Room III Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon

14:00 90m Panel		Career Panel PLMW Felienne Hermans Vrije Universiteit Amsterdam, Chandrakana Nandi Certora, Jürgen Cito TU Wien

14:00 - 15:30	Technical session 2REBLS at Room IV Chair(s): Ragnar Mogk Technische Universität Darmstadt

14:00 30m Talk		ComPOS: a DSL for Composing IoT Systems With Weak Connectivity REBLS Alfred Åkesson Lund University, Sweden, Görel Hedin Lund University, Niklas Fors Lund University
14:30 30m Talk		Actix-Telepathy REBLS Phillip Wenig Hasso Plattner Institute, University of Potsdam, Thorsten Papenbrock Philipps-Universität Marburg
15:00 30m Talk		Realizing Persistent Signals in JavaScript REBLS Daichi Hidaka Oita University, Tetsuo Kamina Oita University

14:00 - 15:30	PAINT 2023 - Session 3PAINT at Room V

14:00 30m Talk		A Penny a Function: Towards Cost Transparent Cloud Programming PAINT Lukas Böhme Hasso Plattner Institute, University of Potsdam, Tom Beckmann Hasso Plattner Institute, Sebastian Baltes SAP SE & University of Adelaide, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute Link to publication DOI
14:30 30m Talk		The Implementation of A Type-Safe Structure Editor PAINT Thorbjørn Bülow Bringgaard Department of Computer Science, University of Copenhagen, Hans Hüttel Department of Computer Science, Aalborg University, Michael Bak Koldsgaard Department of Computer Science, University of Copenhagen, Nicolaj Richs-Jensen Department of Computer Science, University of Copenhagen, Tórur Feilberg Zachariassen Department of Computer Science, University of Copenhagen
15:00 30m Talk		Beginning Student Tables PAINT Samuel Maginot Indiana University Bloomington, Chung-chieh Shan Indiana University, Sam Tobin-Hochstadt Indiana University

14:00 - 15:30	Session #3VMIL at Room VI Chair(s): Tony Hosking Australian National University

14:00 25m Paper		Debugging Dynamic Language Features in a Multi-Tier Virtual MachineRemote VMIL Anmolpreet Singh Indian Institute of Technology Mandi, Aayush Sharma Indian Institute of Technology Mandi, Meetesh Kalpesh Mehta IIT Bombay, Manas Thakur IIT Bombay
14:25 25m Paper		Array Bytecode Support in MicroJIT VMIL Shubham Verma University of New Brunswick, Harpreet Kaur University of New Brunswick, Kenneth Kent University of New Brunswick, Marius Pirvu IBM
14:50 25m Paper		Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation VMIL Christoph Pichler Johannes Kepler University Linz, Paley Li Oracle, Roland Schatz Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz
15:15 15m Short-paper		Approximating Type Stability in the Julia JITRemote VMIL Artem Pelenitsyn Purdue University

14:00 - 15:30	Session IILOPSTR at Room VII Chair(s): Michael Hanus Kiel University

14:00 35m Research paper		A Reusable Machine-Calculus for Automated Resource Analyses LOPSTR Hector Suzanne LIP6 - Sorbonne Université & CNRS, Emmanuel Chailloux UPMC, France
14:35 35m Research paper		A Logical Interpretation of Asynchronous Multiparty Compatibility LOPSTR Marco Carbone IT University of Copenhagen, Sonia Marin University of Birmingham, Carsten Schürmann IT University of Copenhagen
15:10 20m Short-paper		Relational Solver for Java Generics Type SystemRemote LOPSTR Petr Lozov Sain Petersburg State University, SPbGU, Dmitry Kosarev Saint-Petersburg State University, Dmitry Ivanov TomTom, Dmitri Boulytchev Saint Petersburg State University

14:00 - 15:30	Document-orinted LIVE programmingLIVE at Room XII

14:00 30m Talk		Document-oriented programming based on edit historyRemote LIVE Tomas Petricek Charles University, Jonathan Edwards Independent
14:30 30m Talk		TypeCell: End-User Programming in Block-Based rich text documents LIVE Yousef El-Dardiry TypeCell
15:00 30m Talk		Embark: a computational outliner for travel LIVE Paul Sonnentag , Alexander Obenauer , Geoffrey Litt

14:00 - 15:30	ST30 Day 2 Session 3ST30 at Room XIII Chair(s): António Ravara Nova University of Lisbon

14:00 30m Talk		Benchmarks for Multiparty Session Types ST30 Martin Vassor University of Oxford, UK, Nobuko Yoshida University of Oxford File Attached
14:30 30m Talk		Towards Session-Typed Consensus ST30 Matthew Alan Le Brun University of Glasgow, Ornela Dardha University of Glasgow
15:00 30m Talk		Using Event Structures to model Multiparty Session Types: results and open problems ST30 Ilaria Castellani INRIA Sophia Antipolis, France, Paola Giannini University of Eastern Piedmont

14:00 - 15:30	Session 3GPCE at Room XV Chair(s): Zilu Tian EPFL

14:00 30m Talk		Crossover: Towards Compiler-enabled COBOL-C Interoperability GPCE Mart van Assen University of Twente, Manzi Aimé Ntagengerwa University of Twente, Ömer Faruk Sayilir University of Twente, Vadim Zaytsev University of Twente, Netherlands
14:30 30m Talk		Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE Oscar Eriksson KTH Royal Institute of Technology, Viktor Palmkvist KTH Royal Institute of Technology, David Broman KTH Royal Institute of Technology
15:00 30m Talk		Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach GPCE Camilo Correa Restrepo University of Paris 1 Pantheon-Sorbonne, Paris, France, Jacques Robin ESIEA, Paris, France, Raúl Mazo ENSTA Bretagne

	15:30 - 16:00	Coffee BreakCatering at Gallery

16:00 - 17:30	Session 8PPDP at Oceanus Chair(s): Santiago Escobar

16:00 30m Paper		Intuitionistic Metric Temporal Logic PPDP Luiz de Sá , Bernardo Toninho NOVA-LINCS; Nova University of Lisbon, Frank Pfenning Carnegie Mellon University, USA
16:30 30m Paper		stablekanren: Integrating Stable Model Semantics with miniKanren PPDP Xiangyu Guo Arizona State University, James Smith , Ajay Bansal
17:00 30m Other		Closing of PPDP PPDP

16:00 - 17:30	Session 8SAS at Room I Chair(s): José Morales IMDEA Software Institute, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute

16:00 60m Keynote		Building Trust and Safety in Artificial Intelligence with Abstract InterpretationRemoteKeynote SAS I: Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research Pre-print
17:00 30m Awards		Radhia Cousot Award and PC report SAS C: Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, C: José Morales IMDEA Software Institute

16:00 - 17:30	Inference and automationSLE at Room II Chair(s): Adrian Johnstone Royal Holloway University of London, UK

16:00 30m Talk		Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenarioResearch Paper SLE Weixing Zhang Chalmers \| University of Gothenburg, Regina Hebig Chalmers University of Technology & University of Gothenburg, Daniel Strüber Chalmers \| University of Gothenburg / Radboud University, Jan-Philipp Steghöfer XITASO GmbH IT & Software Solutions DOI Pre-print
16:30 30m Talk		Reuse and Automated Integration of Recommenders for Modelling LanguagesResearch Paper SLE Lissette Almonte Universidad Autónoma de Madrid, Antonio Garmendia Universidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid DOI Pre-print
17:00 30m Talk		GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code RepairResearch Paper SLE Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho, José Nuno Macedo University of Minho, Kanae Tsushima National Institute of Informatics, Japan, Rui Abreu Faculty of Engineering, University of Porto, João Saraiva HASLab/INESC TEC, University of Minho DOI

16:00 - 17:30	Wrap-up, SIGPLAN-M Introduction, Mentoring SessionsPLMW at Room III Chair(s): João F. Ferreira INESC-ID and IST, University of Lisbon, Molly Q Feldman Oberlin College

16:00 10m Day closing		Wrap-up PLMW
16:10 10m Talk		SIGPLAN-M Introduction PLMW Shraddha Barke University of California at San Diego
16:20 70m Social Event		Mentoring Sessions PLMW

16:00 - 17:30	Session #4VMIL at Room VI Chair(s): Adam Welc Mysten Labs

16:00 25m Paper		Collecting Garbage on the Blockchain VMIL Luc Bläser DFINITY Foundation, Claudio Russo Microsoft Research, Ulan Degenbaev Google, Omer S. Agacan Indiana University, Gabor Greif DFINITY, Jason Ibrahim DFINITY Foundation
16:25 25m Paper		Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation VMIL Juan Fumero University of Manchester, György Rethy ETH Zurich, Athanasios Stratikopoulos University of Manchester, Nikos Foutris University of Manchester, Christos Kotselidis University of Manchester DOI Pre-print
16:50 25m Paper		Gigue: A JIT Code Binary Generator for Hardware Testing VMIL Quentin DUCASSE Lab-STICC, Pascal Cotret Lab-STICC CNRS UMR 6285, ENSTA Bretagne, Loïc Lagadec Lab-STICC CNRS UMR 6285, ENSTA Bretagne
17:15 10m Day closing		Closing Remarks VMIL Andrea Rosà USI Lugano

16:00 - 17:30	Session IIILOPSTR at Room VII Chair(s): Chantal Keller Université Paris Saclay

16:00 35m Research paper		A Rule-Based Approach for Designing and Composing Abstract Domains LOPSTR Daniel Jurjo Rivas IMDEA Software Institute and T.U. of Madrid (UPM), José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
16:35 35m Research paper		Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular ExamplesRemote LOPSTR Bach Nguyen Trong , Kanae Tsushima National Institute of Informatics, Japan, Zhenjiang Hu Peking University
17:10 10m Awards		Best Paper Awards LOPSTR

16:00 - 17:30	Remote talks / LIVE 2023 ClosingLIVE at Room XII

16:00 30m Talk		Unfolding State Changes via Live State-First DebuggingRemote LIVE Ruanqianqian (Lisa) Huang University of California, San Diego, Philip Guo University of California at San Diego, Sorin Lerner University of California at San Diego
16:30 30m Talk		Lude - build video games quicklyRemote LIVE Mary Rose Cook
17:00 30m Day closing		LIVE 2023 Closing LIVE Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Peter van Hardenberg Ink & Switch

16:00 - 17:30	ST30 Day 2 Session 4 - Panel sessionST30 at Room XIII Chair(s): Simon J. Gay University of Glasgow, UK

16:00 90m Panel		Future Directions for Session Types ST30 Stephanie Balzer Carnegie Mellon University, Luís Caires INESC-ID / Instituto Superior Tecnico, University of Lisbon, Ornela Dardha University of Glasgow, Raymond Hu Queen Mary University of London

16:00 - 17:30	Session 4GPCE at Room XV Chair(s): Casper Bach Poulsen Delft University of Technology

16:00 30m Talk		Virtual Domain Specific Languages via Embedded Projectional Editing GPCE Niklas Korz Alugha GmbH, Artur Andrzejak Heidelberg University
16:30 30m Talk		Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahead GPCE Raul Medeiros University of the Basque Country (UPV/EHU), Oscar Diaz University of the Basque Country, Spain, David Benavides Universidad de Sevilla
17:00 30m Talk		Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance GPCE Matteo Basso Università della Svizzera italiana (USI), Switzerland, Daniele Bonetta Oracle Labs, Walter Binder USI Lugano

Tue 24 Oct
Displayed time zone: Lisbon change

09:00 - 10:30	Configuration analysisCONFLANG at Oceanus Chair(s): Yann Hamdaoui Tweag

09:00 22m Talk		Empirical Study of the Docker Smell Impact CONFLANG Thomas Durieux TU Delft
09:22 22m Talk		Measuring Configuration in Code CONFLANG David Newell Google
09:45 22m Talk		Yes, Configuring is Good, But Have You Ever Tried Justifying? CONFLANG Sébastien Mosser McMaster University, Corinne Pulgar École de Technologie Supérieure (ETS), Mireille Blay-Fornarino , Deesha Patel McMaster University, Canada, Aaron Loh McMaster University, Jean-Michel Bruel Université de Toulouse, France
10:07 22m Live Q&A		Configuration analysis Q&A/Discussion CONFLANG

09:00 - 10:30	Cost/precision trade-offs and accelerationSAS at Room I Chair(s): Xavier Rival Inria; ENS; CNRS; PSL University

09:00 30m Talk		ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses SAS Florian Frohn RWTH Aachen University, Jürgen Giesl RWTH Aachen University Pre-print
09:30 30m Talk		Unconstrained Variable Oracles for Faster Static Analyses SAS Vincenzo Arceri University of Parma, Italy, Greta Dolcetti University of Parma - Department of Mathematical, Physical, and Computer Sciences, Enea Zaffanella University of Parma, Italy Pre-print
10:00 30m Talk		Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs SAS Rosa Abbasi Boroujeni Max Planck Institute for Software Systems, Eva Darulova Uppsala University Pre-print

09:00 - 10:30	Live programming and debuggingSLE at Room II Chair(s): Vadim Zaytsev University of Twente, Netherlands

09:00 30m Talk		Temporal Breakpoints for Multiverse DebuggingResearch Paper SLE Matthias Pasquier Ertosgener, Ciprian Teodorov ENSTA Bretagne, Frédéric Jouault ERIS Team, ESEO , France, Matthias Brun , Luka Le Roux Lab-STICC CNRS UMR 6285, ENSTA Bretagne, Loïc Lagadec Lab-STICC CNRS UMR 6285, ENSTA Bretagne DOI
09:30 30m Talk		Cross-Level Debugging for Static AnalysersResearch Paper SLE Mats Van Molle Vrije Universiteit Brussel, Bram Vandenbogaerde Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel DOI Pre-print
10:00 30m Talk		Cascade: a Meta-Language for Change, Cause and EffectResearch Paper SLE Riemer van Rozen CWI DOI

09:00 - 10:30	Session IVLOPSTR at Room VII Chair(s): John P. Gallagher Roskilde University

09:00 60m Keynote		On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFlyKeynote LOPSTR Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute
10:00 30m Research paper		A Term Matching Algorithm and Substitution Generality LOPSTR Marija Kulaš Fernuniversität in Hagen

09:00 - 10:30	Keynote and Elevator PitchesDoctoral Symposium at Room XII

09:00 10m Day opening		Introduction and Welcome Doctoral Symposium Michael Coblenz University of California, San Diego
09:10 60m Keynote		Navigating your thesis and job search: sustainability and standing out [Invited Talk] Doctoral Symposium Jonathan Aldrich Carnegie Mellon University
10:10 20m Talk		Elevator Pitches Doctoral Symposium

09:00 - 10:30	IWACO Keynote SessionIWACO at Room XIII Chair(s): Aleksander Boruch-Gruszecki EPFL

09:00 15m Day opening		Welcome to IWACO! IWACO Aleksander Boruch-Gruszecki EPFL
09:15 75m Keynote		Capture Tracking in Scala IWACO Martin Odersky EPFL

09:00 - 10:30	Looking OutwardDLS at Room XV Chair(s): Stefan Marr University of Kent

09:00 30m Talk		Is Polyglot Programming Really a Thing? DLS Walter Cazzola Università degli Studi di Milano
09:30 30m Talk		The importance of facing outwards: why dynamic languages can and should address the world DLS Stephen Kell King's College London
10:00 30m Talk		Going Static, Gradually: Semantic Soundness and Telling the Truth at Scale DLS Maxwell Heiber Meta

09:20 - 10:30	KeynotePLF at Room VI Chair(s): Ragnar Mogk Technische Universität Darmstadt

09:20 70m Talk		Keynote: Feeling the Local-First Elephant: A Roadmap, Hidden Gems, and New Puzzles from the Field PLF Brooklyn Zelenka

	10:30 - 11:00	Coffee BreakCatering at Gallery

11:00 - 12:30	Empirical studies & experience reportsCONFLANG at Oceanus Chair(s): Marcel van Lohuizen CUE

11:00 22m Talk		The Configuration Continuum: Using a Unified Model of Configuration to Prevent Outages CONFLANG Marcel van Lohuizen CUE
11:22 22m Talk		Utilizing the LSP to inform and teach users on config languages CONFLANG Alexander Putman Google
11:45 22m Talk		Evolving a configuration language in place at Google scale CONFLANG Marcos Lara-Reinhold Google
12:07 22m Live Q&A		Experience reports Q&A/Discussion CONFLANG

11:00 - 12:30	Session 10SAS at Room I Chair(s): Jerome Feret INRIA Paris

11:00 60m Keynote		Verifying Infinitely Many Programs at OnceKeynote SAS I: Loris D'Antoni University of Wisconsin-Madison Pre-print
12:00 30m Talk		Mutual Refinements of Context-Free Language Reachability SAS Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology Pre-print

11:00 - 12:30	SLE KeynoteSLE at Room II Chair(s): Elizabeth Scott Royal Holloway University of London

11:00 60m Keynote		Artificial Languages are Dead. Long Live Artificial Languages!Keynote SLE Crista Lopes University of California, Irvine
12:00 20m Talk		Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling LanguagesNew ideas / Vision paper SLE Nico Jansen Software Engineering, RWTH Aachen University, Bernhard Rumpe RWTH Aachen University DOI

11:00 - 12:30	PLF Talks 1PLF at Room VI

11:00 30m Talk		Collaborative offline-first applications in Education PLF Annette Bieniusa University of Kaiserslautern-Landau, Christopher Thyssen University of Kaiserslautern-Landau
11:30 30m Talk		Local-first: experiments & lessons learned building TypeCell PLF Yousef El-Dardiry TypeCell
12:00 30m Talk		Proposal: Versioned Collaborative Documents PLF Matthew Weidner Carnegie Mellon University

11:00 - 12:30	Session VLOPSTR at Room VII Chair(s): Maurizio Proietti CNR-IASI

11:00 35m Research paper		Predicate Anti-unification in (Constraint) Logic Programming LOPSTR Gonzague Yernaux University of Namur, Wim Vanhoof University of Namur
11:35 35m Research paper		A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification LOPSTR Jordina Francès de Mas University of St Andrews, St Andrews, UK, Juliana Bowles University of St Andrews, St Andrews, UK
12:10 20m Short-paper		From Static to Dynamic Access Control Policies via Attribute-Based Category Mining LOPSTR Anna Bamberger , Maribel Fernandez King's College London

11:00 - 12:30	Machine Learning and SynthesisDoctoral Symposium at Room XII

11:00 30m Talk		Large Language Models for Automated Program Repair Doctoral Symposium Francisco Ribeiro University of Minho & HASLab, INESCTEC
11:30 30m Talk		Scaling up Program Synthesis to Efficient Algorithms Doctoral Symposium Ruyi Ji Peking University
12:00 30m Talk		Transforming Ideas into Code: Visual Sketching for ML Development Doctoral Symposium Luis F. Gomes Carnegie Mellon University

11:00 - 12:30	IWACO Session 1IWACO at Room XIII Chair(s): Aleksander Boruch-Gruszecki EPFL

11:00 30m Talk		Borrow checking Hylo IWACO Dimi Racordon Northeastern University, USA, Dave Abrahams Adobe File Attached
11:30 30m Talk		Degrees of Separation: A Flexible Type System for Data Race Prevention IWACO Yichen Xu EPFL, Aleksander Boruch-Gruszecki EPFL, Martin Odersky EPFL File Attached
12:00 30m Talk		Latte: Lightweight Aliasing Tracking for Java IWACO Conrad Zimmerman Brown University, Catarina Gamboa Carnegie Mellon University and LASIGE, University of Lisbon, Alcides Fonseca LASIGE, University of Lisbon, Jonathan Aldrich Carnegie Mellon University Pre-print

11:00 - 12:30	Looking InwardDLS at Room XV Chair(s): Manuel Serrano Inria; University of Côte d'Azur

11:00 30m Talk		All Languages are Dynamic DLS James Noble Research & Programming
11:30 30m Talk		Are we Heading Towards a Dynamic Language Winter? DLS Maxime Chevalier-Boisvert Shopify
12:00 30m Talk		Prof. Strangelove or: How I Learned to Stop Worrying and Love Dynamic Languages DLS Jan Vitek Northeastern University

	12:30 - 14:00	LunchCatering at Gallery

14:00 - 15:30	Configuration languagesCONFLANG at Oceanus Chair(s): Jürgen Cito TU Wien

14:00 22m Talk		The LIFE of CUE CONFLANG Eloi Perdereau IMT Atlantique, Jacques Noyé IMT Atlantique, Nantes, France
14:22 22m Talk		Ansible Is Turing Complete CONFLANG Ruben Opdebeeck Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
14:45 22m Talk		Cached call-by-name: incremental evaluation of configurations CONFLANG Yann Hamdaoui Tweag, Daniele Palombi Tweag
15:07 22m Live Q&A		Configuration languages Q&A/Discussion CONFLANG

14:00 - 15:30	ModelingSLE at Room II Chair(s): Benoit Combemale University of Rennes, Inria, CNRS, IRISA

14:00 30m Talk		Enabling Blended Modelling of Timing and Variability in EAST-ADLResearch Paper SLE Muhammad Waseem Anwar Department of Innovation, Design and Engineering Malardalen University, Federico Ciccozzi Mälardalen University, Alessio Bucaioni Mälardalen University DOI
14:30 30m Talk		Towards Efficient Model Comparison Using Automated Program RewritingResearch Paper SLE Qurat Ul Ain Ali University of York , Dimitris Kolovos University of York, Konstantinos Barmpis University of York DOI
15:00 30m Talk		Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience ReportResearch Paper SLE Malte Heithoff RWTH Aachen University, Nico Jansen Software Engineering, RWTH Aachen University, Jörg Christian Kirchhof RWTH Aachen University, Judith Michael RWTH Aachen University, Florian Rademacher RWTH Aachen University, Bernhard Rumpe RWTH Aachen University DOI Pre-print

14:00 - 15:30	PLF Talks 2PLF at Room VI

14:00 30m Talk		Can local-first really scale at the edge? PLF Carlos Baquero HASLab/INESC TEC & University of Minho
14:30 30m Talk		Local-first at Actyx PLF Roland Kuhn Actyx AG, José Duarte Actyx AG
15:00 30m Talk		Extending Automerge: Undo, Redo, and Move PLF Leo Stewen Technical University of Munich, Martin Kleppmann TU Munich, Liangrun Da TU Munich

14:00 - 15:30	Session VILOPSTR at Room VII Chair(s): Juliana Bowles University of St Andrews, St Andrews, UK

14:00 35m Research paper		Constrained Horn Clauses Satisfiability via Catamorphic Abstractions LOPSTR Emanuele De Angelis CNR-IASI, Fabio Fioravanti University of Chieti-Pescara, Alberto Pettorossi University of Rome Tor Vergata, Italy, Maurizio Proietti CNR-IASI
14:35 20m Short-paper		Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation LOPSTR John P. Gallagher Roskilde University, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute, José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute
14:55 10m Day closing		Closing and Adjourn LOPSTR

14:00 - 15:30	Compilation and AnalysisDoctoral Symposium at Room XII

14:00 30m Talk		Remote Just-in-Time Compilation for Dynamic Languages Doctoral Symposium Andrej Pečimúth Oracle Labs; Charles University
14:30 30m Talk		Reusing Single-Language Analyses for Static Analysis of Multi-Language ProgramsRemote Doctoral Symposium Tobias Roth Technische Universität Darmstadt
15:00 30m Talk		Semantic Versioning for Python Programs Doctoral Symposium Luís Carvalho

14:00 - 15:30	IWACO Session 2IWACO at Room XIII Chair(s): Aleksander Boruch-Gruszecki EPFL

14:00 30m Talk		A Mechanized Theory of the Box Calculus IWACO Joseph Fourment EPFL, Yichen Xu EPFL File Attached
14:30 30m Talk		Compositional Reasoning about Advanced Iterator Patterns in Rust IWACO Aurel Bílý ETH Zurich, Jonas Hansen ETH Zurich, Alexander J. Summers University of British Columbia, Peter Müller ETH Zurich File Attached
15:00 30m Talk		Oxidize: A Step-Debugger for Static Semantics IWACO Peter Chon Harvard University, Dimi Racordon Northeastern University, USA, Nada Amin Harvard University File Attached

14:00 - 15:30	The Future of RuntimesDLS at Room XV Chair(s): Juan Fumero University of Manchester

14:00 30m Talk		JITs are Nice, but Why Aren’t We Using Them? DLS Kevin Menard Shopify
14:30 30m Talk		Keeping the asm in Wasm – Running high-level languages on a low-level VM DLS Andreas Rossberg Independent
15:00 30m Talk		Language Runtimes for the New Cloud Era DLS Rodrigo Bruno INESC-ID - IST-ULisboa

	15:30 - 16:00	Coffee BreakCatering at Gallery

16:00 - 17:30	Configuration testingCONFLANG at Oceanus Chair(s): Jürgen Cito TU Wien

16:00 22m Talk		Applying Large Scale Diffing to Declarative Configuration Code for Production Safety CONFLANG Faran Jessani Google, Vikram Subramanian Google
16:22 22m Talk		Creed for Speed: Comprehensive Infrastructure as Code Testing CONFLANG Daniel Sokolowski University of St. Gallen, David Spielmann University of St. Gallen, Guido Salvaneschi University of St. Gallen Pre-print
16:45 22m Talk		Configuration testing for Borg at Google CONFLANG Alex Ivanov Google
17:07 22m Live Q&A		Configuration testing Q&A/Discussion CONFLANG

16:00 - 17:30	Tools and DemonstrationsSLE at Room II Chair(s): João Saraiva HASLab/INESC TEC, University of Minho 17:20 SLE closing, Friedrich Steimann

16:00 20m Demonstration		A Low-Code Platform for Systematic Component-Oriented Language CompositionTool Paper SLE Jérôme Pfeiffer University of Stuttgart, Germany, Andreas Wortmann University of Stuttgart DOI
16:20 20m Demonstration		A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source ProjectsTool Paper SLE Adem Ait IN3 - UOC, Javier Luis Cánovas Izquierdo IN3 - UOC, Jordi Cabot Luxembourg Institute of Science and Technology DOI Pre-print
16:40 20m Demonstration		Online Name-Based Navigation for Software Meta-languagesTool Paper SLE Peter D. Mosses Swansea University and Delft University of Technology Link to publication DOI
17:00 20m Demonstration		Practical Runtime Instrumentation of Software Languages: the Case of SciHookTool Paper SLE Dorian Leroy CEA/DAM/DIF, France, Benoît Lelandais CEA/DAM/DIF, France, Marie-Pierre Oudot CEA/DAM/DIF, France, Benoit Combemale University of Rennes, Inria, CNRS, IRISA DOI Pre-print
17:20 10m Day closing		SLE Closing SLE

16:00 - 17:30	PLF Short TalksPLF at Room VI

16:00 22m Talk		How to Enforce and Verify Invariants in Weakly Consistent Databases PLF Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Carla Ferreira NOVA University Lisbon, Nuno Preguica NOVA LINCS, FCT, Universidade NOVA de Lisboa
16:22 22m Talk		Local-First in Practice: Learnings of building a high-performance, local-first music app PLF Johannes Schickling None
16:45 22m Talk		MVC, MVCC and Causal Trees PLF Victor Grishchenko Unaffiliated
17:07 22m Talk		Mixed & Verified Consistency with Propel & ConOpY PLF Mirko Köhler TU Darmstadt, George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen

16:00 - 17:30	Syntax and DiscussionDoctoral Symposium at Room XII

16:00 30m Talk		A Pragmatic Approach to Syntax Repair Doctoral Symposium Breandan Considine McGill University
16:30 60m Meeting		Discussion Doctoral Symposium Michael Coblenz University of California, San Diego

16:00 - 17:30	Beyond the LanguageDLS at Room XV Chair(s): Stefan Marr University of Kent

16:00 30m Talk		Programming Languages for AI Programing Agents DLS Mark Marron University of Kentucky
16:30 30m Talk		The Bright Future of Debuggers: Challenges and Opportunities DLS Christophe Scholliers Universiteit Gent, Belgium
17:00 5m Awards		Most Notable Paper Award DLS Stefan Marr University of Kent

17:30 - 19:30	SPLASH PostersPosters at Room I

17:30 8m Poster		Extensible Testing for Infrastructure as Code Posters David Spielmann University of St. Gallen, Daniel Sokolowski University of St. Gallen, Guido Salvaneschi University of St. Gallen
17:38 8m Poster		ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming Posters David H. Lorenz Open University of Israel, Ofir Shmuel Open University of Israel DOI Media Attached
17:47 8m Poster		Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization Posters Mikhail Barash University of Bergen, Yulia Startsev Mozilla, Rolf Martin Glomsrud University of Bergen (Norway)
17:55 8m Poster		Kind Inference for the FreeST Programming Language Posters Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon, Andreia Mordido LASIGE, University of Lisbon, Vasco T. Vasconcelos LASIGE, University of Lisbon
18:04 8m Poster		Collabs implements collaborative data structures (CRDTs) with OOP principles Posters Matthew Weidner Carnegie Mellon University
18:12 8m Poster		Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs Posters Tobias Reinhard KU Leuven, Justus Fasse Université Grenoble-Alpes; KU Leuven, Bart Jacobs KU Leuven
18:21 8m Poster		Dynamic Library Compartmentalization Posters Octave Larose University of Kent
18:30 8m Poster		JaMaBuild: Mass Building of Java Projects Posters Matúš Sulír Technical University of Košice, Milan Nosáľ ValeSoft, s.r.o.
18:38 8m Poster		Sui Move: Modern Blockchain Programming with Objects Posters Adam Welc Mysten Labs, Sam Blackshear Mysten Labs
18:47 8m Poster		Towards Reusable GUI Structures Posters Knut Anders Stokke University of Bergen, Norway, Mikhail Barash University of Bergen, Jaakko Järvi University of Bergen
18:55 8m Poster		A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers Posters Yusuke Izawa IBM Research - Tokyo, Junichiro Kadomoto The University of Tokyo, Hidetsugu Irie University of Tokyo, Shuichi Sakai University of Tokyo
19:04 8m Poster		Generating Domain-Specific Programs for Diagram Authoring with Large Language Models Posters Rijul Jain Williams College, Wode Ni Columbia University, Joshua Sunshine Carnegie Mellon University
19:12 8m Poster		Safe Combination of Data-centric and Operation-centric Consistency Posters Mirko Köhler TU Darmstadt, Guido Salvaneschi University of St. Gallen
19:21 8m Poster		Penrose: Beautiful diagrams from plain text Posters Sam Estep Carnegie Mellon University

Wed 25 Oct
Displayed time zone: Lisbon change

08:00 - 09:00	BreakfastDEI Activities at Room III

08:00 60m Other		Job Market Breakfast DEI Activities

09:00 - 09:30	Opening and WelcomeOOPSLA at Room I Chair(s): Vasco T. Vasconcelos LASIGE, University of Lisbon Welcome to SPLASH OOPSLA Review Committee Board report, including Distinguished OOPSLA 2023 papers

09:00 30m Other		Opening and Welcome OOPSLA

09:00 - 10:30	KeynoteOnward! Papers at Room VII Chair(s): Tijs van der Storm CWI & University of Groningen

09:00 90m Keynote		Creating a learnable and inclusive programming languageKeynote Onward! Papers K: Felienne Hermans Vrije Universiteit Amsterdam

	09:00 - 10:30	Joint Keynote with Onward!SPLASH-E at Room VII Chair(s): Tijs van der Storm CWI & University of Groningen Please note that this talk/session is joint with Onward!.

09:30 - 10:30	Keynote 1OOPSLA at Room I

09:30 60m Keynote		Scaling up machine learning without tears (and what do programming languages have to do with it)Keynote OOPSLA Dimitrios Vytiniotis Google DeepMind

	10:30 - 11:00	Coffee BreakCatering at Gallery

11:00 - 12:30	AI4SEOOPSLA at Room I Chair(s): Guido Salvaneschi University of St. Gallen

11:00 18m Talk		Grounded Copilot: How Programmers Interact with Code-Generating Models OOPSLA Shraddha Barke University of California at San Diego, Michael B. James University of California at San Diego, Nadia Polikarpova University of California at San Diego DOI
11:18 18m Talk		Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs OOPSLA Alex Renda Massachusetts Institute of Technology, Yi Ding Purdue University, Michael Carbin Massachusetts Institute of Technology DOI Pre-print
11:36 18m Talk		Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving OOPSLA Fangke Ye Georgia Institute of Technology, Jisheng Zhao Georgia Institute of Technology, Jun Shirako Georgia Institute of Technology, Vivek Sarkar Georgia Institute of Technology DOI
11:54 18m Talk		An Explanation Method for Models of Code OOPSLA Yu Wang Nanjing University, Ke Wang , Linzhang Wang Nanjing University DOI
12:12 18m Talk		Optimization-Aware Compiler-Level Event Profiling OOPSLA Matteo Basso Università della Svizzera italiana (USI), Switzerland, Aleksandar Prokopec Oracle Labs, Andrea Rosà USI Lugano, Walter Binder USI Lugano Link to publication DOI

11:00 - 12:30	program synthesis 1OOPSLA at Room II Chair(s): Michael Coblenz University of California, San Diego

11:00 18m Talk		Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts OOPSLA Zhuo Cai Hong Kong University of Science and Technology, Soroush Farokhnia Hong Kong University of Science and Technology, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, S. Hitarth Hong Kong University of Science and Technology DOI
11:18 18m Talk		Equality Saturation Theory Exploration à la Carte OOPSLA Anjali Pal University of Washington, Brett Saiki University of Washington, Ryan Tjoa University of Washington, Cynthia Richey University of Washington, Amy Zhu University of Washington, Oliver Flatt University of Washington, Max Willsey UC Berkeley, Zachary Tatlock University of Washington, Chandrakana Nandi Certora DOI Pre-print
11:36 18m Talk		Synthesizing Specifications OOPSLA Kanghee Park University of Wisconsin-Madison, Loris D'Antoni University of Wisconsin-Madison, Thomas Reps University of Wisconsin-Madison DOI
11:54 18m Talk		Explainable Program Synthesis by Localizing Specifications OOPSLA Amirmohammad Nazari University of Southern California, Yifei Huang University of Southern California, Roopsha Samanta Purdue University, Arjun Radhakrishna Microsoft, Mukund Raghothaman University of Southern California DOI
12:12 18m Talk		Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction OOPSLA Zhenyang Xu University of Waterloo, Yongqiang Tian The Hong Kong University of Science and Technology; University of Waterloo, Mengxiao Zhang University of Waterloo, Gaosen Zhao University of Waterloo, Yu Jiang Tsinghua University, Chengnian Sun University of Waterloo DOI

11:00 - 12:30	Beyond Text? Onward! Papers at Room VII Chair(s): L. Thomas van Binsbergen University of Amsterdam

11:00 30m Talk		Time-awareness in Object-exploration Tools: Toward In Situ Omniscient DebuggingRemote Onward! Papers Christoph Thiede Hasso Plattner Institute, University of Potsdam, Germany, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute Link to publication DOI
11:30 30m Talk		Code Merging Using Transformations and Member Identity Onward! Papers André R. Teles University Institute of Lisbon, André L. Santos University Institute of Lisbon, Portugal
12:00 30m Talk		Scalable Spreadsheet-driven End-User Applications with Incremental Computation Onward! Papers Sean Hadar Technion, Shachar Itzhaky Technion

11:00 - 12:30	Papers & Group DiscussionSPLASH-E at Room XII Chair(s): Cyrus Omar University of Michigan

11:00 30m Talk		Teaching Programming with Graphics: Pitfalls and a Solution SPLASH-E Luca Chiodini USI Lugano, Juha Sorva Aalto University, Matthias Hauswirth USI Lugano
11:30 30m Talk		KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education SPLASH-E Kimio Kuramitsu Japan Women's University, Yui Obara Japan Women's University, Miyu Sato Japan Women's University, Momoka Obara Japan Women's University
12:00 30m Talk		A Framework for the Localization of Programming Languages SPLASH-E Alaaeddin Swidan Open University of the Netherlands, The Netherlands, Felienne Hermans Vrije Universiteit Amsterdam

	12:30 - 14:00	LunchCatering at Gallery

12:30 - 14:00	LunchDEI Activities at Room III

12:30 90m Lunch		LGBTQ lunch DEI Activities

14:00 - 15:30	SE4AIOOPSLA at Room I Chair(s): Arjun Guha Northeastern University; Roblox

14:00 18m Talk		Run-Time Prevention of Software Integration Failures of Machine Learning APIs OOPSLA Chengcheng Wan East China Normal University, Yuhan Liu University of Chicago, Kuntai Du University of Chicago, Henry Hoffmann University of Chicago, Junchen Jiang University of Chicago, Michael Maire University of Chicago, Shan Lu Microsoft; University of Chicago DOI
14:18 18m Talk		Compiling Structured Tensor Algebra OOPSLA Mahdi Ghorbani University of Edinburgh, Mathieu Huot University of Oxford, Shideh Hashemian University of Edinburgh, Amir Shaikhha University of Edinburgh DOI
14:36 18m Talk		Perception Contracts for Safety of ML-Enabled Systems OOPSLA Angello Astorga University of Illinois at Urbana-Champaign, Chiao Hsieh Kyoto University, P. Madhusudan University of Illinois at Urbana-Champaign, Sayan Mitra University of Illinois at Urbana-Champaign DOI
14:54 18m Talk		Languages with Decidable Learning: A Meta-theorem OOPSLA Paul Krogmeier University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign DOI
15:12 18m Talk		Deep Learning Robustness Verification for Few-Pixel Attacks OOPSLA Yuval Shapira Technion, Eran Avneri Technion, Dana Drachsler Cohen Technion DOI

14:00 - 15:30	program synthesis 2OOPSLA at Room II Chair(s): Chandrakana Nandi Certora

14:00 18m Talk		Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates OOPSLA Aalok Thakkar University of Pennsylvania, Nathaniel Sands University of Southern California, Georgios Petrou University of Southern California, Rajeev Alur University of Pennsylvania, Mayur Naik University of Pennsylvania, Mukund Raghothaman University of Southern California DOI
14:18 18m Talk		Data Extraction via Semantic Regular Expression Synthesis OOPSLA Jocelyn (Qiaochu) Chen University of Texas at Austin, Arko Banerjee University of Texas at Austin, Çağatay Demiralp Massachusetts Institute of Technology, Greg Durrett University of Texas at Austin, Işıl Dillig University of Texas at Austin DOI
14:36 18m Talk		Synthesizing Efficient Memoization Algorithms OOPSLA Yican Sun Peking University, Xuanyu Peng Peking University, Yingfei Xiong Peking University DOI
14:54 18m Talk		Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs OOPSLA Amir Kafshdar Goharshady Hong Kong University of Science and Technology, S. Hitarth Hong Kong University of Science and Technology, Fatemeh Mohammadi KU Leuven, Harshit Jitendra Motwani Ghent University DOI
15:12 18m Talk		Modular Component-Based Quantum Circuit Synthesis OOPSLA Chan Gu Kang Korea University, Hakjoo Oh Korea University DOI

14:00 - 15:30	Beyond Language?Onward! Papers at Room VII Chair(s): Alex Potanin Australian National University

14:00 30m Talk		Could No-Code be Code? -- Toward a No-Code Programming Language for Citizen Developers Onward! Papers David H. Lorenz Open University of Israel, Assaf Zeira Too Software Link to publication DOI Pre-print
14:30 30m Talk		Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI Agents Onward! Papers Mark Marron University of Kentucky
15:00 30m Talk		Trustworthy Formal Natural Language Specifications Onward! Papers Colin Gordon Drexel University, Sergey Matskevich Drexel University, USA

14:00 - 15:30	Introductions & PapersSPLASH-E at Room XII Chair(s): Luca Chiodini USI Lugano

14:00 30m Day opening		Just-In-Time Introductions & Non-Archival Presentations SPLASH-E
14:30 30m Talk		Composing Turing Machines in FSM SPLASH-E Marco T Morazan Seton Hall University
15:00 30m Talk		Witter: A Library for White-Box Testing of Introductory Programming Algorithms SPLASH-E Afonso B. Caniço Iscte - Instituto Universitário de Lisboa, André L. Santos University Institute of Lisbon, Portugal DOI

	15:30 - 16:00	Coffee BreakCatering at Gallery

16:00 - 17:30	probabilisticOOPSLA at Room I Chair(s): Chandrakana Nandi Certora

16:00 18m Talk		A Deductive Verification Infrastructure for Probabilistic Programs OOPSLA Philipp Schröer RWTH Aachen University, Kevin Batz RWTH Aachen University, Benjamin Lucien Kaminski Saarland University; University College London, Joost-Pieter Katoen RWTH Aachen University, Christoph Matheja DTU DOI
16:18 18m Talk		A Gradual Probabilistic Lambda Calculus OOPSLA Wenjia Ye University of Hong Kong, Matías Toro University of Chile, Federico Olmedo University of Chile DOI
16:36 18m Talk		Lower Bounds for Possibly Divergent Probabilistic Programs OOPSLA Shenghua Feng Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Mingshuai Chen Zhejiang University, Han Su Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Benjamin Lucien Kaminski Saarland University; University College London, Joost-Pieter Katoen RWTH Aachen University, Naijun Zhan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences Link to publication DOI Pre-print
16:54 18m Talk		Exact Recursive Probabilistic Programming OOPSLA David Chiang University of Notre Dame, Colin McDonald University of Notre Dame, Chung-chieh Shan Indiana University DOI
17:12 18m Talk		Solving String Constraints with Lengths by Stabilization OOPSLA Yu-Fang Chen Academia Sinica, David Chocholatý Brno University of Technology, Vojtěch Havlena Brno University of Technology, Lukáš Holík Brno University of Technology, Ondřej Lengál Brno University of Technology, Juraj Síč Brno University of Technology DOI

16:00 - 17:48	DSLsOOPSLA at Room II Chair(s): Ben Greenman Brown University, USA

16:00 18m Talk		Fluent APIs in Functional Languages OOPSLA Ori Roth Technion, Yossi Gil Technion DOI Pre-print
16:18 18m Talk		A Pretty Expressive Printer OOPSLA Sorawee Porncharoenwase University of Washington, Justin Pombrio Unaffiliated, Emina Torlak Amazon Web Services, USA DOI Pre-print
16:36 18m Talk		How Domain Experts Use an Embedded DSL OOPSLA Lisa Rennels University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI
16:54 18m Talk		Saggitarius: A DSL for Specifying Grammatical Domains OOPSLA Anders Miltner Simon Fraser University, Devon Loehr Princeton University, Arnold Mong Princeton University, Kathleen Fisher Tufts University, David Walker Princeton University DOI
17:12 18m Talk		Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid OOPSLA Huanqi Cao Tsinghua University, Shizhi Tang Tsinghua University, Qianchao Zhu Peking University, Bowen Yu Tsinghua University, Wenguang Chen Tsinghua University; Pengcheng Laboratory DOI
17:30 18m Talk		Translating canonical SQL to imperative code in Coq OOPSLA Véronique Benzaken Université Paris-Saclay - Laboratoire de Méthodes Formelles , Évelyne Contejean CNRS, ENS Paris-Saclay & Université Paris-Saclay, Houssem Hachmaoui , Chantal Keller Université Paris Saclay, Louis Mandel IBM Research, USA, Avraham Shinnar IBM Research, Jerome Simeon DocuSign, Inc. Link to publication DOI

16:00 - 17:30	Essays 1Onward! Essays at Room VII Chair(s): Matthew Dinmore Johns Hopkins Applied Physics Laboratory

16:00 45m Talk		Will code remain a relevant user interface for end-user programming with generative AI models? Onward! Essays Advait Sarkar Microsoft Research and University of Cambridge Link to publication DOI
16:45 45m Talk		programmingLanguage as Language; Onward! Essays James Noble Research & Programming, Robert Biddle Carleton University Link to publication DOI File Attached

16:00 - 17:30	Papers & Future DiscussionSPLASH-E at Room XII Chair(s): Molly Q Feldman Oberlin College

16:00 30m Talk		Centering Humans in the Programming Languages Classroom: Building a Text for the Next GenerationRemote SPLASH-E Rose Bohrer Worcester Polytechnic Institute
16:30 30m Talk		Exploring Engagement and Self-Efficacy in an Introductory Computer Science CourseRemote SPLASH-E Rory Kelly University of British Columbia, Meghan Allen University of British Columbia
17:00 30m Day closing		Past, Present & Future of SPLASH-E Discussion SPLASH-E

17:45 - 19:30	ReceptionCatering at Gallery

17:45 1h45m Dinner		Reception Catering

Thu 26 Oct
Displayed time zone: Lisbon change

08:00 - 09:00	BreakfastDEI Activities at Room III

08:00 60m Other		Junior Faculty Breakfast DEI Activities

09:30 - 10:30	Keynote 2OOPSLA at Room I Chair(s): Mira Mezini TU Darmstadt

09:30 60m Keynote		Hydroflow: A Compiler Target for Fast, Correct Distributed ProgramsKeynote OOPSLA Joseph M. Hellerstein UC Berkeley

	10:30 - 11:00	Coffee BreakCatering at Gallery

11:00 - 12:30	type systems 1OOPSLA at Room I Chair(s): Max S. New University of Michigan

11:00 18m Talk		Reference Capabilities for Flexible Memory Management OOPSLA Ellen Arvidsson Uppsala University, Elias Castegren Uppsala University, Sylvan Clebsch Microsoft Azure Research, Sophia Drossopoulou Imperial College London, James Noble Research & Programming, Matthew J. Parkinson Microsoft Azure Research, Tobias Wrigstad Uppsala University DOI Pre-print
11:18 18m Talk		A Grounded Conceptual Model for Ownership Types in Rust OOPSLA Will Crichton Brown University, Gavin Gray ETH Zurich, Shriram Krishnamurthi Brown University DOI Pre-print
11:36 18m Talk		Inference of Resource Management Specifications OOPSLA Narges Shadab University of California at Riverside, Pritam Gharat Microsoft Research, Shrey Tiwari Microsoft Research, Michael D. Ernst University of Washington, Martin Kellogg New Jersey Institute of Technology, Shuvendu K. Lahiri Microsoft Research, Akash Lal Microsoft Research, Manu Sridharan University of California at Riverside DOI
11:54 18m Talk		Resource-Aware Soundness for Big-Step Semantics OOPSLA Riccardo Bianchini University of Genoa, Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa DOI
12:12 18m Talk		Verus: Verifying Rust Programs using Linear Ghost Types OOPSLA Andrea Lattuada VMware Research, Travis Hance Carnegie Mellon University, Chanhee Cho Carnegie Mellon University, Matthias Brun ETH Zurich, Isitha Subasinghe UNSW Sydney, Yi Zhou Carnegie Mellon University, Jon Howell VMware Research, Bryan Parno Carnegie Mellon University, Chris Hawblitzel Microsoft Research DOI

11:00 - 12:30	language semanticsOOPSLA at Room II Chair(s): Sebastian Erdweg JGU Mainz

11:00 18m Talk		The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog OOPSLA Qinlin Chen Nanjing University, Nairen Zhang Nanjing University, Jinpeng Wang Nanjing University, Tian Tan Nanjing University, Chang Xu Nanjing University, Xiaoxing Ma Nanjing University, Yue Li Nanjing University DOI
11:18 18m Talk		Regular Expression Matching using Bit Vector Automata OOPSLA Alexis Le Glaunec Rice University, Lingkun Kong Rice University, Konstantinos Mamouras Rice University DOI
11:36 18m Talk		Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects OOPSLA Xing Zhang Peking University, Guanchen Guo Peking University, Xiao He University of Science and Technology Beijing, Zhenjiang Hu Peking University DOI
11:54 18m Talk		Bring Your Own Data Structures to Datalog OOPSLA Arash Sahebolamri Syracuse University, Langston Barrett Galois, Scott Moore Galois, Kristopher Micinski Syracuse University DOI
12:12 18m Talk		Rhombus: A New Spin on Macros without All the Parentheses OOPSLA Matthew Flatt University of Utah, Taylor Allred University of Utah, Nia Angle independent, Stephen De Gabrielle independent, Robert Bruce Findler Northwestern University, Jack Firth independent, Kiran Gopinathan National University of Singapore, Ben Greenman University of Utah, Siddhartha Kasivajhula independent, Alex Knauth independent, Jay McCarthy Reach, Sam Phillips independent, Sorawee Porncharoenwase University of Washington, Jens Axel Søgaard independent, Sam Tobin-Hochstadt Indiana University DOI Pre-print

11:00 - 12:30	Beyond Programming? Onward! Papers at Room VII Chair(s): Riemer van Rozen CWI

11:00 30m Talk		Cloning And Beyond: A Quantum Solution to Duplicate Code Onward! Papers Samyak Jhaveri UCI, Alberto Krone-Martins UC Irvine, Crista Lopes University of California, Irvine
11:30 30m Talk		Towards an Industrial Stateful Software Rejuvenation Toolchain Using Model LearningRemote Onward! Papers Mathijs Schuts Philips; Radboud University Nijmegen, Jozef Hooman TNO; Radboud University Nijmegen
12:00 30m Talk		Concept-Centric Software Development: An Experience Report Onward! Papers Peter Wilczynski Palantir Technologies, Taylor Gregoire-Wright Independent consultant, Daniel Jackson MIT

	12:30 - 14:00	LunchCatering at Gallery

12:30 - 14:00	LunchDEI Activities at Room III Chair(s): Diana Costa LASIGE, University of Lisbon The URM lunch is meant to bring together members of populations that have been historically underrepresented. The goal of this informal lunch is to foster relationships, and promote informal networking.

12:30 90m Lunch		URM lunch DEI Activities

14:00 - 15:30	type systems 2OOPSLA at Room I Chair(s): Max S. New University of Michigan

14:00 18m Talk		Greedy Implicit Bounded Quantification OOPSLA Chen Cui University of Hong Kong, Shengyi Jiang University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong DOI
14:18 18m Talk		Structural Subtyping as Parametric Polymorphism OOPSLA Wenhao Tang University of Edinburgh, Daniel Hillerström Huawei Zurich Research Center, James McKinna Heriot-Watt University, Michel Steuwer TU Berlin; University of Edinburgh, Ornela Dardha University of Glasgow, Rongxiao Fu University of Edinburgh, Sam Lindley University of Edinburgh DOI Pre-print
14:36 18m Talk		Simple Reference Immutability for System F<: OOPSLA Edward Lee University of Waterloo, Ondřej Lhoták University of Waterloo DOI
14:54 18m Talk		Mutually Iso-Recursive Subtyping OOPSLA Andreas Rossberg Independent DOI
15:12 18m Talk		Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference OOPSLA Ishan Bhanuka Hong Kong University of Science and Technology, Lionel Parreaux Hong Kong University of Science and Technology, David Binder University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen DOI Pre-print

14:00 - 15:30	program analysis 1OOPSLA at Room II Chair(s): Manu Sridharan University of California at Riverside

14:00 18m Talk		The Bounded Pathwidth of Control-Flow Graphs OOPSLA Giovanna Kobus Conrado Hong Kong University of Science and Technology, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Chun Kit Lam Hong Kong University of Science and Technology DOI
14:18 18m Talk		How Profilers Can Help Navigate Type Migration OOPSLA Ben Greenman University of Utah, Matthias Felleisen Northeastern University, Christos Dimoulas Northwestern University DOI
14:36 18m Talk		Synthesizing Precise Static Analyzers for Automatic Differentiation OOPSLA Jacob Laurel University of Illinois at Urbana-Champaign, Siyuan Brant Qian University of Illinois at Urbana-Champaign; Zhejiang University, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Sasa Misailovic University of Illinois at Urbana-Champaign DOI
14:54 18m Talk		A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis OOPSLA Dongjie He UNSW, Yujiang Gui UNSW, Wei Li UNSW, Yonggang Tao UNSW, Changwei Zou UNSW, Yulei Sui UNSW, Jingling Xue UNSW DOI Pre-print
15:12 18m Talk		Static Analysis of Memory Models for SMT Encodings OOPSLA Thomas Haas TU Braunschweig, René Maseli TU Braunschweig, Roland Meyer TU Braunschweig, Hernán Ponce de León Huawei DOI

14:00 - 15:30	Essays 2Onward! Essays at Room VII Chair(s): James Noble Research & Programming

14:00 45m Talk		Sharing a Perspective on the lambda-Calculus Onward! Essays Beniamino Accattoli Inria & Ecole Polytechnique Link to publication DOI
14:45 45m Talk		Whither Problem-Solving Environments? Onward! Essays Matthew Dinmore Johns Hopkins Applied Physics Laboratory Link to publication DOI File Attached

	15:30 - 16:00	Coffee BreakCatering at Gallery

16:00 - 17:30	effect systemsOOPSLA at Room I Chair(s): Sebastian Erdweg JGU Mainz

16:00 18m Talk		Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems OOPSLA Magnus Madsen Aarhus University, Jaco van de Pol Aarhus University, Troels Henriksen University of Copenhagen DOI
16:18 18m Talk		From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers OOPSLA Marius Müller University of Tübingen, Philipp Schuster University of Tübingen, Jonathan Lindegaard Starup Aarhus University, Klaus Ostermann University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen Link to publication DOI Pre-print
16:36 18m Talk		Gradual Typing for Effect Handlers OOPSLA Max S. New University of Michigan, Eric Giovannini University of Michigan, Daniel R. Licata Wesleyan University DOI
16:54 18m Talk		When Concurrency Matters: Behaviour-Oriented Concurrency OOPSLA Luke Cheeseman Imperial College London, Matthew J. Parkinson Microsoft Azure Research, Sylvan Clebsch Microsoft Azure Research, Marios Kogias Imperial College London; Microsoft Research, Sophia Drossopoulou Imperial College London, David Chisnall Microsoft, Tobias Wrigstad Uppsala University, Paul Liétar Imperial College London DOI
17:12 18m Talk		Continuing WebAssembly with Effect Handlers OOPSLA Luna Phipps-Costin Northeastern University, Andreas Rossberg Independent, Arjun Guha Northeastern University; Roblox, Daan Leijen Microsoft Research, Daniel Hillerström Huawei Zurich Research Center, KC Sivaramakrishnan Tarides; IIT Madras, Matija Pretnar University of Ljubljana, Sam Lindley University of Edinburgh DOI Pre-print

16:00 - 17:30	program analysis 2OOPSLA at Room II Chair(s): Annette Bieniusa University of Kaiserslautern-Landau

16:00 18m Talk		Historia: Refuting Callback Reachability with Message-History Logics OOPSLA Shawn Meier University of Colorado at Boulder, Sergio Mover École Polytechnique, Gowtham Kaki University of Colorado at Boulder, Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon DOI
16:18 18m Talk		Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis OOPSLA Giovanna Kobus Conrado Hong Kong University of Science and Technology, Amir Kafshdar Goharshady Hong Kong University of Science and Technology, Kerim Kochekov Hong Kong University of Science and Technology, Yun Chen Tsai Hong Kong University of Science and Technology, Ahmed Khaled Zaher Hong Kong University of Science and Technology DOI
16:36 18m Talk		A Cocktail Approach to Practical Call Graph Construction OOPSLA Yuandao Cai Hong Kong University of Science and Technology, Charles Zhang Hong Kong University of Science and Technology DOI
16:54 18m Talk		Building Dynamic System Call Sandbox with Partial Order Analysis OOPSLA Quan Zhang Tsinghua University, Chijin Zhou Tsinghua University, Yiwen Xu Tsinghua University, Zijing Yin Tsinghua University, Mingzhe Wang Tsinghua University, Zhuo Su Tsinghua University, Chengnian Sun University of Waterloo, Yu Jiang Tsinghua University, Jiaguang Sun Tsinghua University DOI
17:12 18m Talk		Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection OOPSLA Ruyi Ji Peking University, Chaozhe Kong Peking University, Yingfei Xiong Peking University, Zhenjiang Hu Peking University DOI

16:00 - 17:30	compilation & optimization 2OOPSLA at Room XII Chair(s): Fabian Muehlboeck Australian National University

16:00 18m Talk		Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies OOPSLA Oliver Bračevac Galois, Inc., Guannan Wei Purdue University, Songlin Jia Purdue University, Supun Abeysinghe Purdue University, Yuxuan Jiang Purdue University, Yuyan Bao Augusta University, Tiark Rompf Purdue University DOI Pre-print
16:18 18m Talk		AST vs. Bytecode: Interpreters in the Age of Meta-Compilation OOPSLA Octave Larose University of Kent, Sophie Kaleba University of Kent, Humphrey Burchell University of Kent, Stefan Marr University of Kent DOI Pre-print
16:36 18m Talk		Reusing Just-in-Time Compiled Code OOPSLA Meetesh Kalpesh Mehta IIT Bombay, Sebastián Krynski Czech Technical University in Prague, Hugo Musso Gualandi Czech Technical University in Prague, Manas Thakur IIT Bombay, Jan Vitek Northeastern University DOI
16:54 18m Talk		TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism OOPSLA Matt D'Souza University of Waterloo, James You University of Waterloo, Ondřej Lhoták University of Waterloo, Aleksandar Prokopec Oracle Labs DOI
17:12 18m Talk		Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics OOPSLA Girish Mururu Georgia Institute of Technology, Sharjeel Khan Georgia Institute of Technology, Bodhisatwa Chatterjee Georgia Institute of Technology, Chao Chen Georgia Institute of Technology, Chris Porter IBM T.J. Watson Research, Ada Gavrilovska Georgia Institute of Technology, Santosh Pande Georgia Institute of Technology DOI

17:30 - 17:45	Sponsored TalksSponsored Talks at Room I Chair(s): Bor-Yuh Evan Chang University of Colorado at Boulder; Amazon

17:30 15m Talk		Programming Languages at Huawei Sponsored Talks A: Dan Ghica Huawei

17:30 - 19:30	SPLASH SRC Talk PresentationsStudent Research Competition at Room II Chair(s): Xujie Si University of Toronto

17:30 13m Poster		Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking Student Research Competition Julia Freeman Francis Marion University, Timothy Zhou University of Illinois Urbana-Champaign
17:43 13m Poster		Clearing the Trail: Motivations for Maintenance Work in Open Source Student Research Competition Katrina Wilson Bucknell University
17:56 13m Poster		An optimal structure-aware code difference framework with MaxSAT-SolverRemote Student Research Competition Haolin Ye McGill University
18:10 13m Poster		Rose: Extensible Autodiff on the Web Student Research Competition Raven Rothkopf Barnard College
18:23 13m Poster		Partial Gradual Dependent Type Theory Student Research Competition Zhan Shi Graduate School of Informatics, Kyoto University
18:36 13m Poster		Design and implementation of facets of dynamic policies Student Research Competition Antonio Zegarelli IMDEA Software Institute
18:50 13m Poster		Modular educational languages Student Research Competition Jesse Hoobergs KU Leuven
19:03 13m Poster		Synthesizing Recursive Programs Through Dataflow Constraints Student Research Competition Marta Davila Mateu University of Southern California

19:00 - 21:30	SPLASH-WDEI Activities Chair(s): Diana Costa LASIGE, University of Lisbon The W@SPLASH dinner aims to connect women faculty, post-docs, and students. It is intended to celebrate achievements, small and big, and provide a low-pressure atmosphere to foster building one’s support group. Location: Baía do Peixe - Av. Dom Carlos I 6, 2750-310 Cascais, Portugal Pior registration required.

19:00 2h30m Dinner		Women@SPLASH dinner DEI Activities

Fri 27 Oct
Displayed time zone: Lisbon change

	09:00 - 09:30	AnnouncementsOOPSLA at Room I Chair(s): Vasco T. Vasconcelos LASIGE, University of Lisbon Most Influential Paper Award Student Research Competition Award Artifact Evaluation Chair Report, including Distinguished OOPSLA Artifacts and Distinguished AEC Reviewers SPLASH 2024 Pitch

09:30 - 10:30	Keynote 3OOPSLA at Room I Chair(s): Mira Mezini TU Darmstadt

09:30 60m Keynote		All the Languages TogetherKeynote OOPSLA Amal Ahmed Northeastern University, USA

	10:30 - 11:00	Coffee BreakCatering at Gallery

11:00 - 12:30	verification 1OOPSLA at Room I Chair(s): Gowtham Kaki University of Colorado at Boulder

11:00 18m Talk		Solving Conditional Linear Recurrences for Program Verification: The Periodic Case OOPSLA Chenglin Wang Hong Kong University of Science and Technology, Fangzhen Lin Hong Kong University of Science and Technology DOI
11:18 18m Talk		Melocoton: A Program Logic for Verified Interoperability Between OCaml and C OOPSLA Armaël Guéneau Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria, Johannes Hostert ETH Zurich, Simon Spies MPI-SWS, Michael Sammler MPI-SWS, Lars Birkedal Aarhus University, Derek Dreyer MPI-SWS Link to publication DOI
11:36 18m Talk		Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning OOPSLA Noam Zilberstein Cornell University, Derek Dreyer MPI-SWS, Alexandra Silva Cornell University DOI Pre-print
11:54 18m Talk		Formal Abstractions for Packet Scheduling OOPSLA Anshuman Mohan Cornell University, Yunhe Liu Cornell University, Nate Foster Cornell University, Tobias Kappé Open University of the Netherlands; University of Amsterdam, Dexter Kozen Cornell University Link to publication DOI
12:12 18m Talk		P4R-Type: A Verified API for P4 Control Plane Programs OOPSLA Jens Kanstrup Larsen DTU, Roberto Guanciale KTH Royal Institute of Technology, Philipp Haller KTH Royal Institute of Technology, Alceste Scalas DTU DOI Pre-print Media Attached

11:00 - 12:30	distribution & networking 1OOPSLA at Room II Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

11:00 18m Talk		Initializing Global Objects: Time and Order OOPSLA Fengyun Liu Oracle Labs, Ondřej Lhoták University of Waterloo, David Hua University of Waterloo, Enze Xing University of Waterloo DOI
11:18 18m Talk		Type-Safe Dynamic Placement with First-Class Placed Values OOPSLA George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen DOI Pre-print
11:36 18m Talk		Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data OOPSLA Thierry Renaux Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel DOI Pre-print
11:54 18m Talk		AtomiS: Data-Centric Synchronization Made Practical OOPSLA Hervé Paulino Nova University of Lisbon, Ana Almeida Matos University of Lisbon, Jan Cederquist University of Lisbon, Marco Giunti Nova University of Lisbon, João Batista Pereira Matos Júnior Sidia Instituto de Ciência e Tecnologia, António Ravara Nova University of Lisbon DOI
12:12 18m Talk		Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions OOPSLA Christopher Wagner Purdue University, Nouraldin Jaber Purdue University, Roopsha Samanta Purdue University DOI

11:00 - 12:30	software developmentOOPSLA at Room XII Chair(s): Chandrakana Nandi Certora

11:00 18m Talk		Towards Better Semantics Exploration for Browser Fuzzing OOPSLA Chijin Zhou Tsinghua University, Quan Zhang Tsinghua University, Lihua Guo Tsinghua University, Mingzhe Wang Tsinghua University, Yu Jiang Tsinghua University, Qing Liao Harbin Institute of Technology, Zhiyong Wu National University of Defense Technology, Shanshan Li National University of Defense Technology, Bin Gu Beijing Institute of Control Engineering DOI
11:18 18m Talk		Live Pattern Matching with Typed Holes OOPSLA Yongwei Yuan Purdue University, Scott Guest University of Michigan, Eric Griffis University of Michigan, Hannah Potter University of Washington, David Moon University of Michigan, Cyrus Omar University of Michigan DOI
11:36 18m Talk		Interactive Debugging of Datalog Programs OOPSLA André Pacak JGU Mainz, Sebastian Erdweg JGU Mainz DOI
11:54 18m Talk		Accelerating Fuzzing through Prefix-Guided Execution OOPSLA Shaohua Li ETH Zurich, Zhendong Su ETH Zurich DOI
12:12 18m Talk		MemPerf: Profiling Allocator-Induced Performance Slowdowns OOPSLA Jin Zhou University of Massachusetts at Amherst, Sam Silvestro University of Texas at San Antonio, Steven (Jiaxun) Tang University of Massachusetts at Amherst, Hanmei Yang University of Massachusetts at Amherst, Hongyu Liu University of Texas at San Antonio, Guangming Zeng Synopsys, Bo Wu Colorado School of Mines, Cong Liu University of Texas at Dallas, Tongping Liu University of Massachusetts at Amherst DOI

	12:30 - 14:00	LunchCatering at Gallery

12:30 - 14:00	LunchDEI Activities at Room III Aspiring and current programming language researchers can request mentoring through the SIGPLAN long-term mentoring program. The program pairs mentors with mentees for a year-long mentoring relationship. Anyone of any seniority can be a mentor—senior graduate students, for example, make great mentors. Prior registration required.

12:30 90m Lunch		SIGPLAN-M lunch DEI Activities

14:00 - 15:30	verification 2OOPSLA at Room I Chair(s): Jonathan Aldrich Carnegie Mellon University

14:00 18m Talk		Stuttering for Free OOPSLA Minki Cho Seoul National University, Youngju Song MPI-SWS, Dongjae Lee Seoul National University, Lennard Gäher MPI-SWS, Derek Dreyer MPI-SWS DOI
14:18 18m Talk		Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier OOPSLA Zhengyao Lin Carnegie Mellon University, Xiaohong Chen University of Illinois at Urbana-Champaign, Minh-Thai Trinh Advanced Digital Sciences Center, John Wang University of Illinois at Urbana-Champaign, Grigore Roşu University of Illinois at Urbana-Champaign DOI
14:36 18m Talk		Complete First-Order Reasoning for Properties of Functional Programs OOPSLA Adithya Murali University of Illinois at Urbana-Champaign, Lucas Peña University of Illinois at Urbana-Champaign, Ranjit Jhala University of California at San Diego, P. Madhusudan University of Illinois at Urbana-Champaign DOI
14:54 18m Talk		Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols OOPSLA Orr Tamir Tel Aviv University, Marcelo Taube Tel Aviv University, Kenneth L. McMillan University of Texas at Austin, Sharon Shoham Tel Aviv University, Jon Howell VMware Research, Guy Gueta VMware Research, Mooly Sagiv Tel Aviv University DOI
15:12 18m Talk		A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model OOPSLA Clément Blaudeau Inria, Fengyun Liu Oracle Labs Link to publication DOI

14:00 - 15:30	compilation and optimization 1OOPSLA at Room II Chair(s): Will Crichton Brown University

14:00 18m Talk		Formally Verifying Optimizations with Block Simulations OOPSLA Léo Gourdin Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, Benjamin Bonneau Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, Sylvain Boulmé Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, David Monniaux Université Grenoble Alpes - CNRS - Grenoble INP - Verimag, Alexandre Bérard Université Grenoble Alpes - CNRS - Grenoble INP - Verimag DOI Pre-print
14:18 18m Talk		Back to Direct Style: Typed and Tight OOPSLA Marius Müller University of Tübingen, Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Klaus Ostermann University of Tübingen DOI Pre-print
14:36 18m Talk		Hardware-Aware Static Optimization of Hyperdimensional Computations OOPSLA Pu (Luke) Yi Stanford University, Sara Achour Stanford University DOI
14:54 18m Talk		Rapid: Region-Based Pointer Disambiguation OOPSLA Khushboo Chitre IIIT Delhi, Piyus Kedia IIIT Delhi, Rahul Purandare University of Nebraska-Lincoln DOI
15:12 18m Talk		Automated Ambiguity Detection in Layout-Sensitive Grammars OOPSLA Jiangyi Liu Tsinghua University, Fengmin Zhu CISPA - Helmholtz Center for Information Security, Fei He Tsinghua University DOI Pre-print

14:00 - 15:30	security & privacyOOPSLA at Room XII Chair(s): Arjun Guha Northeastern University; Roblox

14:00 18m Talk		Compositional Security Definitions for Higher-Order Where Declassification OOPSLA Jan Menz MPI-SWS, Andrew K. Hirsch University at Buffalo, SUNY, Peixuan Li Pennsylvania State University, Deepak Garg MPI-SWS DOI
14:18 18m Talk		Fat Pointers for Temporal Memory Safety of C OOPSLA Jie Zhou University of Rochester, John Criswell University of Rochester, Michael Hicks Amazon Web Services and the University of Maryland DOI
14:36 18m Talk		Quantifying and Mitigating Cache Side Channel Leakage with Differential Set OOPSLA Cong Ma University of Waterloo, Dinghao Wu Pennsylvania State University, Gang (Gary) Tan Pennsylvania State University, Mahmut Taylan Kandemir Pennsylvania State University, Danfeng Zhang Duke University; Pennsylvania State University DOI
14:54 18m Talk		A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations OOPSLA Anthony C. J. Fox ARM, Gareth Stockwell ARM, Shale Xiong ARM, Hanno Becker Amazon Web Services, Dominic P. Mulligan Amazon Web Services, Gustavo Petri Amazon Web Services, Nathan Chong Amazon Web Services DOI
15:12 18m Talk		Verifying Indistinguishability of Privacy-Preserving Protocols OOPSLA Kirby Linvill University of Colorado Boulder, Gowtham Kaki University of Colorado at Boulder, Eric Wustrow University of Colorado Boulder DOI

	15:30 - 16:00	Coffee BreakCatering at Gallery

16:00 - 17:30	distribution & networking 2OOPSLA at Room I Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel

16:00 18m Talk		Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection OOPSLA Lorenzo Gheri University of Liverpool, Nobuko Yoshida University of Oxford DOI
16:18 18m Talk		Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity OOPSLA Chuta Sano McGill University, Ryan Kavanagh McGill University, Brigitte Pientka McGill University DOI
16:36 18m Talk		Message Chains for Distributed System Verification OOPSLA Federico Mora University of California at Berkeley, Ankush Desai Amazon Web Services, Elizabeth Polgreen University of Edinburgh, Sanjit A. Seshia University of California at Berkeley DOI
16:54 18m Talk		Randomized Testing of Byzantine Fault Tolerant Algorithms OOPSLA Levin N. Winter Delft University of Technology, Florena Buse Delft University of Technology, Daan de Graaf Delft University of Technology, Klaus von Gleissenthall Vrije Universiteit Amsterdam, Burcu Kulahcioglu Ozkan Delft University of Technology DOI
17:12 18m Talk		Validating IoT Devices with Rate-Based Session Types OOPSLA Grant Iraci University at Buffalo, Cheng-En Chuang University at Buffalo, Raymond Hu Queen Mary University of London, Lukasz Ziarek University at Buffalo DOI

16:00 - 17:30	refactoringOOPSLA at Room II Chair(s): Gowtham Kaki University of Colorado at Boulder

16:00 18m Talk		Aliasing Limits on Translating C to Safe Rust OOPSLA Mehmet Emre University of San Francisco, Peter Boyland University of California at Santa Barbara, Aesha Parekh University of California at Santa Barbara, Ryan Schroeder University of California at Santa Barbara, Kyle Dewey California State University, Ben Hardekopf University of California at Santa Barbara DOI Pre-print
16:18 18m Talk		Adventure of a Lifetime: Extract Method Refactoring for Rust OOPSLA Sewen Thy Ahrefs Research, Yale-NUS College, Andreea Costea National University of Singapore, Kiran Gopinathan National University of Singapore, Ilya Sergey National University of Singapore DOI Pre-print
16:36 18m Talk		Inductive Program Synthesis Guided by Observational Program Similarity OOPSLA Jack Feser Hamilton College, Işıl Dillig University of Texas at Austin, Armando Solar-Lezama Massachusetts Institute of Technology DOI
16:54 18m Talk		Automated Translation of Functional Big Data Queries to SQL OOPSLA Guoqiang Zhang North Carolina State University, Benjamin Mariano University of Texas at Austin, Xipeng Shen North Carolina State University, Işıl Dillig University of Texas at Austin DOI
17:12 18m Talk		User-Customizable Transpilation of Scripting Languages OOPSLA Bo Wang National University of Singapore, Aashish Kolluri National University of Singapore, Ivica Nikolić National University of Singapore, Teodora Baluta National University of Singapore, Prateek Saxena National University of Singapore DOI

16:00 - 17:30	separation logicOOPSLA at Room XII Chair(s): Jonathan Aldrich Carnegie Mellon University

16:00 18m Talk		Verification-Preserving Inlining in Automatic Separation Logic Verifiers OOPSLA Thibault Dardinier ETH Zurich, Gaurav Parthasarathy ETH Zurich, Peter Müller ETH Zurich DOI
16:18 18m Talk		Leaf: Modularity for Temporary Sharing in Separation Logic OOPSLA Travis Hance Carnegie Mellon University, Jon Howell VMware Research, Oded Padon VMware Research, Bryan Parno Carnegie Mellon University DOI
16:36 18m Talk		Proof Automation for Linearizability in Separation Logic OOPSLA Ike Mulder Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen DOI Pre-print
16:54 18m Talk		Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic OOPSLA Jaehwang Jung KAIST, Janggun Lee KAIST, Jaemin Choi KAIST, Jaewoo Kim KAIST, Sunho Park KAIST, Jeehoon Kang KAIST DOI
17:12 18m Talk		Functional collection programming with semi-ring dictionaries OOPSLA Amir Shaikhha University of Edinburgh, Mathieu Huot University of Oxford, Jaclyn Smith Oxford University, Dan Olteanu University of Zurich Link to publication DOI

SPLASH 2023 Program

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Wed 25 Oct
Displayed time zone: Lisbon change

Thu 26 Oct
Displayed time zone: Lisbon change

Fri 27 Oct
Displayed time zone: Lisbon change

Tracks

Co-hosted Conferences

Workshops

SPLASH 2023 Program

Switch Program View

Program Display Configuration

Sun 22 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Wed 25 OctDisplayed time zone: Lisbon change

Thu 26 OctDisplayed time zone: Lisbon change

Fri 27 OctDisplayed time zone: Lisbon change

Get Calendar (iCal)

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Wed 25 Oct
Displayed time zone: Lisbon change

Thu 26 Oct
Displayed time zone: Lisbon change

Fri 27 Oct
Displayed time zone: Lisbon change