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

Room information: Room VI

VenueHotel Cascais Miragem
Room nameRoom VI
Floor0
Capacity108
Room InformationNo extra information available
Program

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 VI
Chair(s): Michael Coblenz University of California, San Diego
11:00
30m
Talk
Diagrammatic notations for interactive theorem proving
HATRA
Shardul Chiplunkar EPFL, Clément Pit-Claudel EPFL
Link to publication
11:30
30m
Talk
Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard ApproachRemote
HATRA
Tyler Holloway Harvard University, Nada Amin Harvard University, Elena Glassman Harvard University
12:00
30m
Talk
Latte: Lightweight Aliasing Tracking for Java
HATRA
Conrad Zimmerman Brown University, Catarina Gamboa Carnegie Mellon University and LASIGE, University of Lisbon, Alcides Fonseca LASIGE, University of Lisbon, Jonathan Aldrich Carnegie Mellon University
Link to publication
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
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

Mon 23 Oct

Displayed time zone: Lisbon change

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
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
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
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

Tue 24 Oct

Displayed time zone: Lisbon change

09:20 - 10:30
KeynotePLF at Room VI
Chair(s): Ragnar Mogk Technische Universität Darmstadt
09:20
70m
Talk
Keynote: Feeling the Local-First Elephant: A Roadmap, Hidden Gems, and New Puzzles from the Field
PLF
Brooklyn Zelenka
11:00 - 12:30
PLF Talks 1PLF at Room VI
11:00
30m
Talk
Collaborative offline-first applications in Education
PLF
Annette Bieniusa University of Kaiserslautern-Landau, Christopher Thyssen University of Kaiserslautern-Landau
11:30
30m
Talk
Local-first: experiments & lessons learned building TypeCell
PLF
Yousef El-Dardiry TypeCell
12:00
30m
Talk
Proposal: Versioned Collaborative Documents
PLF
Matthew Weidner Carnegie Mellon University
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
16:00 - 17:30
PLF Short TalksPLF at Room VI
16:00
22m
Talk
How to Enforce and Verify Invariants in Weakly Consistent Databases
PLF
Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Carla Ferreira NOVA University Lisbon, Nuno Preguica NOVA LINCS, FCT, Universidade NOVA de Lisboa
16:22
22m
Talk
Local-First in Practice: Learnings of building a high-performance, local-first music app
PLF
Johannes Schickling None
16:45
22m
Talk
MVC, MVCC and Causal Trees
PLF
Victor Grishchenko Unaffiliated
17:07
22m
Talk
Mixed & Verified Consistency with Propel & ConOpY
PLF
Mirko Köhler TU Darmstadt, George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen

Sun 22 Oct

Displayed time zone: Lisbon change

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

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 VI

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 VI

PLF

Keynote

PLF

PLF Talks 1

PLF

PLF Talks 2

PLF

PLF Short Talks

Sun 22 Oct

Displayed time zone: Lisbon change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Room VI
HATRA
Diagrammatic notations for interactive theorem proving
11:00 - 11:30
HATRARemote
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
HATRARemote
REVIS: An Error Visualization Tool for Rust
15:00 - 15:30
HATRARemote
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 VI
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
Extraction of Virtual Machine Execution Traces
10:00 - 10:15
VMILRemote
Transpiling Slang Methods to C Functions: An Example of Static Polymorp ...
10:15 - 10:30
VMILKeynote
Polyglot Programming through Foreign Function Interfaces
11:00 - 12:00
VMILRemote
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
VMILRemote
Approximating Type Stability in the Julia JIT
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 VI
PLF
Keynote: Feeling the Local-First Elephant: A Roadmap, Hidden Gems, and ...
09:20 - 10:30
PLF
Collaborative offline-first applications in Education
11:00 - 11:30
PLF
Local-first: experiments & lessons learned building TypeCell
11:30 - 12:00
PLF
Proposal: Versioned Collaborative Documents
12:00 - 12:30
PLF
Can local-first really scale at the edge?
14:00 - 14:30
PLF
Local-first at Actyx
14:30 - 15:00
PLF
Extending Automerge: Undo, Redo, and Move
15:00 - 15:30
PLF
How to Enforce and Verify Invariants in Weakly Consistent Databases
16:00 - 16:22
PLF
Local-First in Practice: Learnings of building a high-performance, loca ...
16:22 - 16:45
PLF
MVC, MVCC and Causal Trees
16:45 - 17:07
PLF
Mixed & Verified Consistency with Propel & ConOpY
17:07 - 17:30