MoreVMs 2025
Mon 2 Jun 2025
Prague, Czechia
co-located with
‹Programming› 2025
Toggle navigation
Attending
Conference: Charles University - Faculty of Mathematics and Physics
Reception: Old Town Hall
Dinner: Mesto More Event Space
Program
MoreVMs Program
Your Program
Mon 2 Jun
Tracks
MoreVMs 2025
MoreVMs'25
‹Programming› 2025
Social Events
Organization
MoreVMs 2025 Committees
Track Committees
Program Committee
Organizing Committee
Contributors
People Index
Search
Series
Series
MoreVMs 2025
MoreVMs 2024
MoreVMs 2023
MoreVMs 2022
MoreVMs 2021
MoreVMs'20
MoreVMs'19
MoreVMs 2018
MoreVMs 2017
Sign in
Sign up
‹Programming› 2025
(
series
) /
MoreVMs 2025 (
series
) /
Charles University - Faculty of Mathematics and Physics
/
Room information: S 9
Venue
Charles University - Faculty of Mathematics and Physics
Room name
S 9
Floor
1
Room number
9
Capacity
118
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
.
Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-06:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-04:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+09:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+10:00) Hobart
(GMT+10:00) Vladivostok
(GMT+10:30) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+12:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+12:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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
Mon 2 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:00
Compilers and VMs
MoreVMs'25
at
S 9
09:00
60m
Keynote
Diving into .NET internals
MoreVMs Invited Talk
MoreVMs'25
Karel Zikmund
Microsoft
10:30 - 12:00
Implementation Adventures
MoreVMs'25
at
S 9
10:30
25m
Talk
Adding garbage collection to our Rust-based interpreters with MMTk
MoreVMs'25
Octave Larose
University of Kent
Link to publication
10:55
25m
Talk
Comparing R bytecode compilers written in R, Java, and Rust
MoreVMs'25
Pierre Donat-Bouillud
Czech Technical University in Prague
,
Filip Křikava
Czech Technical University in Prague
,
Jakob Hain
Purdue University, USA
,
Adam Plodek
Vyper Lang
,
Jan Vitek
Northeastern University
11:20
25m
Talk
The V8 Sandbox
MoreVMs'25
Samuel Groß
Google
,
Michael Lippautz
Google
,
Hannes Payer
Google
Link to publication
11:45
25m
Talk
Towards a Java Virtual Machine for Processing-in-Memory
MoreVMs'25
Kazuki Ichinose
The University of Tokyo
,
Shigeyuki Sato
The University of Electro-Communications
,
Tomoharu Ugawa
University of Tokyo
13:30 - 15:00
Compilation
MoreVMs'25
at
S 9
13:35
60m
Keynote
JIT Compilers - Addressing Bottlenecks in Throughput and Latency
MoreVMs Invited Talk
MoreVMs'25
I:
Björn Franke
University of Edinburgh
14:35
25m
Talk
A Pragmatic Approach to Replay Compilation
MoreVMs'25
Andrej Pečimúth
Oracle Labs; Charles University
,
David Leopoldseder
Oracle Labs
,
Petr Tuma
Charles University
15:30 - 17:00
Debugging and Teaching
MoreVMs'25
at
S 9
15:30
25m
Talk
BYOPL: Building a Bytecode-Interpreted Language on Truffle in a University Setting
MoreVMs'25
Jens Lincke
Hasso Plattner Institute; University of Potsdam
,
Tim Felgentreff
Oracle Labs, Potsdam
,
Fabio Niephaus
Oracle Labs
,
Robert Hirschfeld
Hasso Plattner Institute; University of Potsdam
15:55
25m
Talk
Debugging a Smalltalk VM assisted by large automated reasoning
MoreVMs'25
Boris Shingarov
LabWare
,
Jan Vraný
LabWare
16:20
25m
Talk
Writing Tiny Programming Systems
MoreVMs'25
Tomas Petricek
Charles University
Wed 4 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
08:45 - 09:00
Conference Opening
‹Programming›
at
S 9
09:00 - 10:00
Keynote 1
‹Programming› Keynotes
at
S 9
09:00
60m
Keynote
Architecture and Generativity
‹Programming› Keynote
‹Programming› Keynotes
K:
Molly Wright Steenson
American Swedish Institute
10:30 - 12:00
Testing and Debugging
‹Programming› Research Papers
at
S 9
10:30
30m
Talk
Dynamic Program Slices Change How Developers Diagnose Gradual Run-time Type Errors
‹Programming› Research Papers
Felipe Bañados Schwerter
University of British Columbia
,
Ronald Garcia
University of British Columbia
,
Reid Holmes
University of British Columbia
,
Karim Ali
NYU Abu Dhabi
11:00
30m
Talk
Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
‹Programming› Research Papers
Léo Andrès
LMF, OCamlPro
,
Filipe Marques
INESC-ID; Instituto Superior Técnico - University of Lisbon
,
Arthur Carcano
OCamlPro
,
Pierre Chambart
OCamlPRO
,
José Fragoso Santos
INESC-ID; Instituto Superior Técnico - University of Lisbon
,
Jean-Christophe Filliatre
CNRS
11:30
30m
Talk
PolyDebug: a Framework for Polyglot Debugging
‹Programming› Research Papers
Philémon Houdaille
DIVERSE Team, IRISA-INRIA, CNRS, Université Rennes 1
,
Djamel Eddine Khelladi
CNRS, IRISA, University of Rennes
,
Benoit Combemale
University of Rennes, Inria, CNRS, IRISA
,
Gunter Mussbacher
McGill University
,
Tijs van der Storm
CWI & University of Groningen
13:30 - 15:00
Concurrency and Distribution
‹Programming› Research Papers
at
S 9
13:30
30m
Talk
Consistent Distributed Reactive Programming with Retroactive Computation
‹Programming› Research Papers
Tetsuo Kamina
Oita University
,
Tomoyuki Aotani
Sanyo-Onoda City University
,
Hidehiko Masuhara
Institute of Science Tokyo
14:00
30m
Talk
Conversational Concurrency With Dataspaces and Facets
‹Programming› Research Papers
Sam Caldwell
Northeastern University
,
Tony Garnock-Jones
Maastricht University
,
Matthias Felleisen
Northeastern University
14:30
30m
Talk
Skitter: A Distributed Stream Processing Framework with Pluggable Distribution Strategies
‹Programming› Research Papers
Mathijs Saey
Vrije Universiteit Brussel
,
Joeri De Koster
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
15:30 - 17:00
Empirical Science of Programming
‹Programming› Research Papers
at
S 9
15:30
30m
Talk
Does Task Complexity Moderate the Benefits of Liveness? - A Controlled Experiment
‹Programming› Research Papers
Patrick Rein
University of Potsdam; Hasso Plattner Institute
,
Stefan Ramson
Hasso Plattner Institute, Germany
,
Tom Beckmann
Hasso Plattner Institute
,
Robert Hirschfeld
Hasso Plattner Institute; University of Potsdam
16:00
30m
Talk
Two Approaches for Programming Education in the Domain of Graphics — An Experiment
‹Programming› Research Papers
Luca Chiodini
USI Lugano
,
Juha Sorva
Aalto University
,
Arto Hellas
Aalto University
,
Otto Seppälä
Aalto University
,
Matthias Hauswirth
USI Lugano
16:30
30m
Talk
Study of the Use of Property Probes in an Educational Setting
‹Programming› Research Papers
Anton Risberg Alaküla
Lund University
,
Niklas Fors
Lund University
,
Emma Söderberg
Lund University
17:00 - 17:20
Awards and Announcements
‹Programming›
at
S 9
Thu 5 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
09:00 - 10:00
Keynote 2
‹Programming› Keynotes
at
S 9
09:00
60m
Keynote
What We Tried and Didn't Work for GraalVM
‹Programming› Keynote
‹Programming› Keynotes
K:
Thomas Wuerthinger
Oracle Labs
10:30 - 12:00
Programming Language Implementation
‹Programming› Research Papers
at
S 9
Chair(s):
Stefan Marr
University of Kent
10:30
30m
Talk
An attempt to catch up with JIT compilers: the false lead of optimizing inline caches
‹Programming› Research Papers
Aurore Poirier
University of Rennes - Inria - CNRS - IRISA
,
Erven Rohou
Université de Rennes - Inria - CNRS - IRISA
,
Manuel Serrano
Inria; Université Côte d’Azur
11:00
30m
Talk
Automated Profile-guided Replacement of Data Structures to Reduce Memory Allocation
‹Programming› Research Papers
Lukas Makor
JKU Linz
,
Sebastian Kloibhofer
Johannes Kepler University Linz
,
Peter Hofer
Oracle Labs
,
David Leopoldseder
Oracle Labs
,
Hanspeter Mössenböck
JKU Linz
11:30
30m
Talk
Meta-compilation of Baseline JIT Compilers with Druid
‹Programming› Research Papers
Nahuel Palumbo
Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL
,
Guillermo Polito
Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL
,
Stéphane Ducasse
Inria; University of Lille; CNRS; Centrale Lille; CRIStAL
,
Pablo Tesone
Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium
13:30 - 15:00
Persistance and Versioning
‹Programming› Research Papers
at
S 9
13:30
30m
Talk
Probing the Design Space: Parallel Versions for Exploratory Programming
‹Programming› Research Papers
Tom Beckmann
Hasso Plattner Institute
,
Joana Bergsiek
Hasso Plattner Institute
,
Eva Krebs
Hasso Plattner Institute (HPI), University of Potsdam, Germany
,
Toni Mattis
University of Potsdam; Hasso Plattner Institute
,
Stefan Ramson
Hasso Plattner Institute, Germany
,
Martin C. Rinard
Massachusetts Institute of Technology
,
Robert Hirschfeld
Hasso Plattner Institute; University of Potsdam
14:00
30m
Talk
Schema Evolution in Interactive Programming Systems
‹Programming› Research Papers
Jonathan Edwards
Independent
,
Tomas Petricek
Charles University
,
Tijs van der Storm
CWI & University of Groningen
,
Geoffrey Litt
Ink & Switch
14:30
30m
Talk
Evolution Language Framework for Persistent Objects
‹Programming› Research Papers
Tetsuo Kamina
Oita University
,
Tomoyuki Aotani
Sanyo-Onoda City University
,
Hidehiko Masuhara
Institute of Science Tokyo
15:30 - 17:00
Formal Foundations and System Design
‹Programming› Research Papers
at
S 9
15:30
30m
Talk
On the State of Coherence in the Land of Type Classes
‹Programming› Research Papers
Dimi Racordon
EPFL
,
Eugene Flesselle
EPFL
,
Nguyen Pham
EPFL, LAMP
16:00
30m
Talk
Monk: opportunistic scheduling to delay horizontal scaling
‹Programming› Research Papers
Marina Shimchenko
Uppsala University
,
Erik Österlund
Oracle
,
Tobias Wrigstad
Uppsala University
17:00 - 17:20
Conference Closing
‹Programming›
at
S 9
Mon 2 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
S 9
MoreVMs'25
Compilers and VMs
MoreVMs'25
Implementation Adventures
MoreVMs'25
Compilation
MoreVMs'25
Debugging and Teaching
Tue 3 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
S 9
SCLIT
SCLIT
SCLIT
SCLIT
Wed 4 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
8:00
30
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
S 9
‹Programming›
Conference Opening
‹Programming› Keynotes
Keynote 1
‹Programming› Research Papers
Testing and Debugging
‹Programming› Research Papers
Concurrency and Distribution
‹Programming› Research Papers
Empirical Science of Programming
‹Programming›
Awards and Announcements
Thu 5 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
S 9
‹Programming› Keynotes
Keynote 2
‹Programming› Research Papers
Programming Language Implementation
‹Programming› Research Papers
Persistance and Versioning
‹Programming› Research Papers
Formal Foundations and System Design
‹Programming›
Conference Closing
Mon 2 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
S 9
MoreVMs
MoreVMs Invited Talk
Diving into .NET internals
09:00 - 10:00
MoreVMs
Adding garbage collection to our Rust-based interpreters with MMTk
10:30 - 10:55
MoreVMs
Comparing R bytecode compilers written in R, Java, and Rust
10:55 - 11:20
MoreVMs
The V8 Sandbox
11:20 - 11:45
MoreVMs
Towards a Java Virtual Machine for Processing-in-Memory
11:45 - 12:10
MoreVMs
MoreVMs Invited Talk
JIT Compilers - Addressing Bottlenecks in Throughput and Latency
13:35 - 14:35
MoreVMs
A Pragmatic Approach to Replay Compilation
14:35 - 15:00
MoreVMs
BYOPL: Building a Bytecode-Interpreted Language on Truffle in a Univers ...
15:30 - 15:55
MoreVMs
Debugging a Smalltalk VM assisted by large automated reasoning
15:55 - 16:20
MoreVMs
Writing Tiny Programming Systems
16:20 - 16:45
Wed 4 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
S 9
‹Programming› Keynotes
‹Programming› Keynote
Architecture and Generativity
09:00 - 10:00
‹Programming› Research Papers
Dynamic Program Slices Change How Developers Diagnose Gradual Run-time ...
10:30 - 11:00
‹Programming› Research Papers
Owi: Performant Parallel Symbolic Execution Made Easy, an Application t ...
11:00 - 11:30
‹Programming› Research Papers
PolyDebug: a Framework for Polyglot Debugging
11:30 - 12:00
‹Programming› Research Papers
Consistent Distributed Reactive Programming with Retroactive Computation
13:30 - 14:00
‹Programming› Research Papers
Conversational Concurrency With Dataspaces and Facets
14:00 - 14:30
‹Programming› Research Papers
Skitter: A Distributed Stream Processing Framework with Pluggable Distr ...
14:30 - 15:00
‹Programming› Research Papers
Does Task Complexity Moderate the Benefits of Liveness? - A Controlled ...
15:30 - 16:00
‹Programming› Research Papers
Two Approaches for Programming Education in the Domain of Graphics — An ...
16:00 - 16:30
‹Programming› Research Papers
Study of the Use of Property Probes in an Educational Setting
16:30 - 17:00
Thu 5 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
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
S 9
‹Programming› Keynotes
‹Programming› Keynote
What We Tried and Didn't Work for GraalVM
09:00 - 10:00
‹Programming› Research Papers
An attempt to catch up with JIT compilers: the false lead of optimizing ...
10:30 - 11:00
‹Programming› Research Papers
Automated Profile-guided Replacement of Data Structures to Reduce Memor ...
11:00 - 11:30
‹Programming› Research Papers
Meta-compilation of Baseline JIT Compilers with Druid
11:30 - 12:00
‹Programming› Research Papers
Probing the Design Space: Parallel Versions for Exploratory Programming
13:30 - 14:00
‹Programming› Research Papers
Schema Evolution in Interactive Programming Systems
14:00 - 14:30
‹Programming› Research Papers
Evolution Language Framework for Persistent Objects
14:30 - 15:00
‹Programming› Research Papers
On the State of Coherence in the Land of Type Classes
15:30 - 16:00
‹Programming› Research Papers
Monk: opportunistic scheduling to delay horizontal scaling
16:00 - 16:30
x
Wed 30 Apr 19:14