‹Programming› 2024 (series) / MoreVMs 2024 (series) /
MoreVMs 2024 Program
This is the MoreVMs 2024 program - see the full program for ‹Programming› 2024 and all affiliated events.
Filter Program
Dates
Mon 11 Mar 2024
Tue 12 Mar 2024
Wed 13 Mar 2024
Thu 14 Mar 2024
Fri 15 Mar 2024
Rooms
Grand Hotel Lund Restaurant
-location not assigned yet-
M-building Lobby
M:G
Tracks
MoreVMs
VIMPL
‹Programming› Catering
‹Programming› Social Events
Badges
MoreVMs Invited Talk
VIMPL
Your Program
Nothing to filter
Mon 11 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Mon 11 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee & Fika Catering | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunch Catering | ||
14:30 - 15:00 | |||
14:30 30mCoffee break | Coffee & Fika Catering | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | Reception Social Events | ||
Tue 12 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 12 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:30 | |||
08:30 60mKeynote | Verona: Ownership, Value Independence, Memory Management, and the Future of MutationVIMPL VIMPL Ellen Arvidsson Uppsala University | ||
09:30 - 10:00 | |||
09:30 30mCoffee break | Coffee & Fika Catering | ||
10:00 - 12:00 | |||
10:00 60mKeynote | Lightweight Affine Types for Safe Concurrency in ScalaVIMPL VIMPL Link to publication | ||
11:00 30mPaper | A Formal Foundation of Reach CapabilitiesVIMPL VIMPL | ||
11:30 30mTalk | Tinyrossa: a compiler framework for vertical, verified construction of Smalltalk VMs MoreVMs | ||
12:00 - 13:00 | |||
12:00 60mLunch | Lunch Catering | ||
13:00 - 15:00 | |||
13:00 60mTalk | Virtual Machines: should we keep doing them?MoreVMs Invited Talk MoreVMs Javier Pimás Universidad de Buenos Aires | ||
14:00 30mTalk | BoaSpect: An Expressive Instrumentation Platform for JavaScript MoreVMs Aäron Munsters Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel | ||
14:30 30mTalk | A Virtual Machine for Higher-Order Reactors MoreVMs Bjarno Oeyen Vrije Universiteit Brussel, Jens Nicolay Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel | ||
15:00 - 15:30 | |||
15:00 30mCoffee break | Coffee & Fika Catering | ||
15:30 - 16:30 | |||
15:30 60mTalk | Retro-fitting Garbage Collection into RustMoreVMs Invited Talk MoreVMs Jacob Hughes King's College London | ||
18:30 - 19:30 | |||
18:30 60mSocial Event | Pizza Social Social Events | ||
Wed 13 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 13 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:15 - 10:45 | |||
10:15 30mCoffee break | Coffee & Fika Catering | ||
12:15 - 13:15 | |||
12:15 60mLunch | Lunch Catering | ||
14:45 - 15:15 | |||
14:45 30mCoffee break | Coffee & Fika Catering | ||
19:00 - 22:00 | |||
19:00 3hSocial Event | Banquet Social Events | ||
Thu 14 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 14 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee & Fika Catering | ||
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering | ||
14:30 - 15:00 | |||
14:30 30mCoffee break | Coffee & Fika Catering | ||
Fri 15 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 15 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:00 - 12:00 | Social EventSocial Events | ||
10:00 2hSocial Event | Lund walk Social Events | ||