SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameRoom XVI
Capacity54
Room Information

Lobby level

Program

This program is tentative and subject to change.

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

Sun 22 Oct

Displayed time zone: Lisbon change

11:00 - 12:30
Formalisms and SynthesisHATRA at Room XVI
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 Approach
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
14:00 - 15:30
Interactivity and Visualization for ProgrammersHATRA at Room XVI
14:00
30m
Talk
Debugging Trait Errors as Logic Programs
HATRA
Gavin Gray ETH Zürich, 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 Rust
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
16:00 - 17:30
Type Systems and DiscussionHATRA at Room XVI
16:00
45m
Talk
Goals of the Luau Type System, Two Years On
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

Mon 23 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Session #1VMIL at Room XVI
09:00
10m
Day opening
Opening Remarks
VMIL
Andrea Rosà USI Lugano
09:10
25m
Paper
CHERI Performance Enhancement for a Bytecode Interpreter
VMIL
Duncan Lowther School of Computing Science, University of Glasgow, Dejice Jacob University of Glasgow, UK, 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
Approximating Type Stability in the Julia JIT
VMIL
Artem Pelenitsyn Northeastern University
10:15
15m
Short-paper
Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects
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
11:00 - 12:30
Session #2: KeynoteVMIL at Room XVI
11:00
60m
Keynote
Keynote
VMIL
Shigeru Chiba The University of Tokyo
14:00 - 15:30
Session #3VMIL at Room XVI
14:00
25m
Paper
Debugging Dynamic Language Features in a Multi-Tier Virtual Machine
VMIL
Anmolpreet Singh Indian Institute of Technology Mandi, Aayush Sharma Indian Institute of Technology Mandi, Meetesh Kalpesh Mehta Indian Institute of Technology Bombay, Manas Thakur Indian Institute of Technology 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
Extraction of Virtual Machine Execution Traces
VMIL
Daniel Pekarek Johannes Kepler University Linz, Hanspeter Mössenböck JKU Linz
16:00 - 17:30
Session #4VMIL at Room XVI
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, UK, György Rethy ETH Zurich, Athanasios Stratikopoulos The University of Manchester, Nikos Foutris The University of Manchester, Christos Kotselidis Pierer Innovation / The 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

Tue 24 Oct

Displayed time zone: Lisbon change

09:00 - 10:30
Configuration analysisCONFLANG at Room XVI
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

14:00 - 15:30
Configuration languagesCONFLANG at Room XVI
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

Sun 22 Oct

Displayed time zone: Lisbon change

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room XVI

Tue 24 Oct

Displayed time zone: Lisbon change