Room VI - VMIL 2023

VenueHotel Cascais Miragem

Room nameRoom VI

Floor0

Capacity108

Room InformationNo extra information available

Program

Time Zone

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

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

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

Time Band

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

Display full programSpecify a time band

Save

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

Sun 22 Oct
Displayed time zone: Lisbon change

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room VI	VMIL Session #1																								VMIL Session #2: Keynote																																				VMIL Session #3																								VMIL Session #4

Tue 24 Oct
Displayed time zone: Lisbon change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Room VI					PLF Keynote																				PLF PLF Talks 1																																				PLF PLF Talks 2																								PLF PLF Short Talks

Sun 22 Oct
Displayed time zone: Lisbon change


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
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

Room information: Room VI

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

HATRA

HATRA

HATRA

HATRA

Mon 23 Oct
Displayed time zone: Lisbon change

VMIL

VMIL

VMIL

VMIL

Tue 24 Oct
Displayed time zone: Lisbon change

PLF

PLF

PLF

PLF

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Tracks

Room information: Room VI

Program Display Configuration

Sun 22 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Sun 22 OctDisplayed time zone: Lisbon change

HATRA

HATRA

HATRA

HATRA

Mon 23 OctDisplayed time zone: Lisbon change

VMIL

VMIL

VMIL

VMIL

Tue 24 OctDisplayed time zone: Lisbon change

PLF

PLF

PLF

PLF

Sun 22 OctDisplayed time zone: Lisbon change

Mon 23 OctDisplayed time zone: Lisbon change

Tue 24 OctDisplayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change

Sun 22 Oct
Displayed time zone: Lisbon change

Mon 23 Oct
Displayed time zone: Lisbon change

Tue 24 Oct
Displayed time zone: Lisbon change