VIMPL 2024
Mon 11 - Thu 14 March 2024
Lund, Sweden
co-located with
‹Programming› 2024
Toggle navigation
Attending
Venue: Lund University
Banquet: Grand Hotel Lund
Program
VIMPL Program
Your Program
Mon 11 Mar
Tue 12 Mar
Wed 13 Mar
Thu 14 Mar
Tracks
VIMPL 2024
VIMPL 2024
‹Programming› 2024
Social Events
Organization
VIMPL 2024 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
VIMPL 2024
VIMPL 2023
Sign in
Sign up
‹Programming› 2024
(
series
) /
VIMPL 2024 (
series
) /
Lund University
/
Room information: M:G
Venue
Lund University
Room name
M:G
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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-05: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-03: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-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02: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+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13: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 11 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Session I
PX/24
at
M:G
09:00
30m
Talk
Design of Flexible Code Block Comparisons to Improve Code Review of Refactored Code
PX/24
Lo Heander
Lund University
,
Emma Söderberg
Lund University
,
Christofer Rydenfält
Lund University
09:30
30m
Talk
Implementing Babylonian/G by Putting Examples into Game Contexts
PX/24
Eva Krebs
Hasso Plattner Institute (HPI), University of Potsdam, Germany
,
Toni Mattis
University of Potsdam; Hasso Plattner Institute
,
Marius Dörbandt
Hasso Plattner Institute, University of Potsdam
,
Oliver Schulz
Hasso Plattner Institute, University of Potsdam
,
Martin C. Rinard
Massachusetts Institute of Technology
,
Robert Hirschfeld
University of Potsdam; Hasso Plattner Institute
10:30 - 12:00
Session II
PX/24
at
M:G
10:30
30m
Talk
In-line Compositional Visual Programming
PX/24
Michael Homer
Victoria University of Wellington
11:00
30m
Talk
Programming with Screen State Transitions for Smartphones
PX/24
Jin Ishikawa
Oita University
,
Tetsuo Kamina
Oita University
11:30
30m
Talk
Unanticipated Progress Indication: Continuous Responsiveness for Courageous Exploration
PX/24
Marcel Taeumel
University of Potsdam; Hasso Plattner Institute
,
Jens Lincke
University of Potsdam; Hasso Plattner Institute
,
Robert Hirschfeld
University of Potsdam; Hasso Plattner Institute
13:00 - 14:30
Session III
PX/24
at
M:G
13:00
30m
Talk
Name Trees: Uniform and Extensible Interactions Between Languages and Language Extensions
PX/24
Filip Strömbäck
Linköping University
13:30
30m
Talk
Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization
PX/24
Leon Matthes
Hasso Plattner Institute, University of Potsdam
,
Marcel Taeumel
University of Potsdam; Hasso Plattner Institute
,
Eliot Miranda
Cadence Design Systems
,
Robert Hirschfeld
University of Potsdam; Hasso Plattner Institute
14:00
30m
Talk
Autocorrection in Projectional Editors
PX/24
André L. Santos
University Institute of Lisbon, Portugal
,
Ângelo Mendonça
ISCTE-IUL
15:00 - 17:00
Session IV
PX/24
at
M:G
15:00
30m
Talk
Examples out of Thin Air: AI-generated Dynamic Context to Assist Program Comprehension by Example
PX/24
Toni Mattis
University of Potsdam; Hasso Plattner Institute
,
Eva Krebs
Hasso Plattner Institute (HPI), University of Potsdam, Germany
,
Martin C. Rinard
Massachusetts Institute of Technology
,
Robert Hirschfeld
University of Potsdam; Hasso Plattner Institute
15:30
30m
Talk
Developers' Perspective on Today's and Tomorrow's Programming Tool Assistance: A Survey
PX/24
Peng Kuang
Lund University, Sweden & WASP
,
Emma Söderberg
Lund University
,
Martin Höst
Lund University
Tue 12 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
08:30 - 09:30
Ownership
VIMPL 2024
at
M:G
Chair(s):
Dimi Racordon
EPFL, LAMP
08:30
60m
Keynote
Verona: Ownership, Value Independence, Memory Management, and the Future of Mutation
VIMPL
VIMPL 2024
Ellen Arvidsson
Uppsala University
10:00 - 12:00
Safety and Correctness
MoreVMs
/
VIMPL 2024
at
M:G
Chair(s):
Dimi Racordon
EPFL, LAMP
10:00
60m
Keynote
Lightweight Affine Types for Safe Concurrency in Scala
VIMPL
VIMPL 2024
K:
Philipp Haller
KTH Royal Institute of Technology
Link to publication
11:00
30m
Paper
A Formal Foundation of Reach Capabilities
VIMPL
VIMPL 2024
Yichen Xu
EPFL
,
Martin Odersky
EPFL
11:30
30m
Talk
Tinyrossa: a compiler framework for vertical, verified construction of Smalltalk VMs
MoreVMs
Jan Vraný
LabWare
,
Boris Shingarov
LabWare
13:00 - 15:00
VM Design
MoreVMs
at
M:G
Chair(s):
Stefan Marr
University of Kent
13:00
60m
Talk
Virtual Machines: should we keep doing them?
MoreVMs Invited Talk
MoreVMs
Javier Pimás
Universidad de Buenos Aires
14:00
30m
Talk
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
30m
Talk
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:30 - 16:30
Managed Rust
MoreVMs
at
M:G
Chair(s):
Maria Xekalaki
University of Manchester, UK
15:30
60m
Talk
Retro-fitting Garbage Collection into Rust
MoreVMs Invited Talk
MoreVMs
Jacob Hughes
King's College London
Mon 11 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
M:G
PX/24
Session I
PX/24
Session II
PX/24
Session III
PX/24
Session IV
Tue 12 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
M:G
VIMPL 2024
Ownership
MoreVMs + VIMPL 2024
Safety and Correctness
MoreVMs
VM Design
MoreVMs
Managed Rust
Mon 11 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
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
M:G
PX/24
Design of Flexible Code Block Comparisons to Improve Code Review of Ref ...
09:00 - 09:30
PX/24
Implementing Babylonian/G by Putting Examples into Game Contexts
09:30 - 10:00
PX/24
In-line Compositional Visual Programming
10:30 - 11:00
PX/24
Programming with Screen State Transitions for Smartphones
11:00 - 11:30
PX/24
Unanticipated Progress Indication: Continuous Responsiveness for Courag ...
11:30 - 12:00
PX/24
Name Trees: Uniform and Extensible Interactions Between Languages and L ...
13:00 - 13:30
PX/24
Multi-threaded OpenSmalltalk VM: Choosing a Strategy for Parallelization
13:30 - 14:00
PX/24
Autocorrection in Projectional Editors
14:00 - 14:30
PX/24
Examples out of Thin Air: AI-generated Dynamic Context to Assist Progra ...
15:00 - 15:30
PX/24
Developers' Perspective on Today's and Tomorrow's Programming Tool Assi ...
15:30 - 16:00
Tue 12 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
8:00
15
30
45
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
M:G
VIMPL
VIMPL
Verona: Ownership, Value Independence, Memory Management, and the Futur ...
08:30 - 09:30
VIMPL
VIMPL
Lightweight Affine Types for Safe Concurrency in Scala
10:00 - 11:00
VIMPL
VIMPL
A Formal Foundation of Reach Capabilities
11:00 - 11:30
MoreVMs
Tinyrossa: a compiler framework for vertical, verified construction of ...
11:30 - 12:00
MoreVMs
MoreVMs Invited Talk
Virtual Machines: should we keep doing them?
13:00 - 14:00
MoreVMs
BoaSpect: An Expressive Instrumentation Platform for JavaScript
14:00 - 14:30
MoreVMs
A Virtual Machine for Higher-Order Reactors
14:30 - 15:00
MoreVMs
MoreVMs Invited Talk
Retro-fitting Garbage Collection into Rust
15:30 - 16:30
x
Sun 22 Dec 04:47