SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
SPLASH 2023 (series) / Hotel Cascais Miragem /

Room information: Room XVI

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
Shardul Chiplunkar EPFL, Clément Pit-Claudel EPFL
Link to publication
11:30
30m
Talk
Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard 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
Thomas Durieux TU Delft
09:22
22m
Talk
Measuring Configuration in Code
CONFLANG
David Newell Google
09:45
22m
Talk
Yes, Configuring is Good, But Have You Ever Tried Justifying?
CONFLANG
Sébastien Mosser McMaster University, Corinne Pulgar École de Technologie Supérieure (ETS), Mireille Blay-Fornarino , Deesha Patel McMaster University, Canada, Aaron Loh McMaster University, Jean-Michel Bruel Université de Toulouse, France
10:07
22m
Live Q&A
Configuration analysis Q&A/Discussion
CONFLANG

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

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
Yann Hamdaoui Tweag, Daniele Palombi Tweag
15:07
22m
Live Q&A
Configuration languages Q&A/Discussion
CONFLANG

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

Sun 22 Oct

Displayed time zone: Lisbon change

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

HATRA

HATRA

Formalisms and Synthesis

HATRA

Interactivity and Visualization for Programmers

HATRA

Type Systems and Discussion

Mon 23 Oct

Displayed time zone: Lisbon change

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

VMIL

Session #1

VMIL

Session #2: Keynote

VMIL

Session #3

VMIL

Session #4

Tue 24 Oct

Displayed time zone: Lisbon change

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

CONFLANG

Configuration analysis

CONFLANG

Empirical studies & experience reports

CONFLANG

Configuration languages

CONFLANG

Configuration testing

Sun 22 Oct

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XVI
HATRA
Diagrammatic notations for interactive theorem proving
11:00 - 11:30
HATRA
Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach
11:30 - 12:00
HATRA
Latte: Lightweight Aliasing Tracking for Java
12:00 - 12:30
HATRA
Debugging Trait Errors as Logic Programs
14:00 - 14:30
HATRA
Totally Live Programming with Hazel (Progress Report)
14:30 - 15:00
HATRA
REVIS: An Error Visualization Tool for Rust
15:00 - 15:30
HATRA
Goals of the Luau Type System, Two Years On
16:00 - 16:45
HATRA
Discussion
16:45 - 17:30

Mon 23 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XVI
VMIL
Opening Remarks
09:00 - 09:10
VMIL
CHERI Performance Enhancement for a Bytecode Interpreter
09:10 - 09:35
VMIL
Revisiting Dynamic Dispatch for Modern Architectures
09:35 - 10:00
VMIL
Approximating Type Stability in the Julia JIT
10:00 - 10:15
VMIL
Transpiling Slang Methods to C Functions: An Example of Static Polymorp ...
10:15 - 10:30
VMIL
Keynote
11:00 - 12:00
VMIL
Debugging Dynamic Language Features in a Multi-Tier Virtual Machine
14:00 - 14:25
VMIL
Array Bytecode Support in MicroJIT
14:25 - 14:50
VMIL
Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation
14:50 - 15:15
VMIL
Extraction of Virtual Machine Execution Traces
15:15 - 15:30
VMIL
Collecting Garbage on the Blockchain
16:00 - 16:25
VMIL
Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPI ...
16:25 - 16:50
VMIL
Gigue: A JIT Code Binary Generator for Hardware Testing
16:50 - 17:15
VMIL
Closing Remarks
17:15 - 17:25

Tue 24 Oct

Displayed time zone: Lisbon change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room XVI
CONFLANG
Empirical Study of the Docker Smell Impact
09:00 - 09:22
CONFLANG
Measuring Configuration in Code
09:22 - 09:45
CONFLANG
Yes, Configuring is Good, But Have You Ever Tried Justifying?
09:45 - 10:07
CONFLANG
Configuration analysis Q&A/Discussion
10:07 - 10:30
CONFLANG
The Configuration Continuum: Using a Unified Model of Configuration to ...
11:00 - 11:22
CONFLANG
Utilizing the LSP to inform and teach users on config languages
11:22 - 11:45
CONFLANG
Evolving a configuration language in place at Google scale
11:45 - 12:07
CONFLANG
Experience reports Q&A/Discussion
12:07 - 12:30
CONFLANG
The LIFE of CUE
14:00 - 14:22
CONFLANG
Ansible Is Turing Complete
14:22 - 14:45
CONFLANG
Cached call-by-name: incremental evaluation of configurations
14:45 - 15:07
CONFLANG
Configuration languages Q&A/Discussion
15:07 - 15:30
CONFLANG
Applying Large Scale Diffing to Declarative Configuration Code for Prod ...
16:00 - 16:22
CONFLANG
Creed for Speed: Comprehensive Infrastructure as Code Testing
16:22 - 16:45
CONFLANG
Configuration testing for Borg at Google
16:45 - 17:07
CONFLANG
Configuration testing Q&A/Discussion
17:07 - 17:30