SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
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
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
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
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
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
12:30 - 14:00
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
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
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
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
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
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
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
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
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
12:30 - 14:00
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
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
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
09:22
22m
Talk
Measuring Configuration in Code
CONFLANG
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
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
09:15
75m
Keynote
Capture Tracking in Scala
IWACO
10:30 - 11:00
Coffee BreakCatering at Gallery
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
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
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
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
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
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
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
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
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
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
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
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!.

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 ModelsDistinguished Paper
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
12:30 - 14:00
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-theoremDistinguished Paper
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 ProgramsDistinguished Paper
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 StabilizationDistinguished Paper
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
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
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 DatalogDistinguished Paper
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
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
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 SchedulingDistinguished Paper
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 OrderDistinguished Paper
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 HolesDistinguished Paper
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 ExecutionDistinguished Paper
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
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 AlgorithmsDistinguished Paper
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