QP 2025
Mon 2 Jun 2025
Prague, Czechia
co-located with
‹Programming› 2025
Toggle navigation
Attending
Venue: Charles University - Faculty of Mathematics and Physics
Program
QP Program
Your Program
Mon 2 Jun
Tracks
QP 2025
QP 2025
‹Programming› 2025
Social Events
Organization
QP 2025 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
QP 2025
QP 2024
QP 2023
Sign in
Sign up
‹Programming› 2025
(
series
) /
QP 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
Wed 4 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
08:45 - 09:00
Conference Opening
‹Programming›
at
S 9
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 Tecnico, University of Lisbon
,
Arthur Carcano
OCamlPro
,
Pierre Chambart
OCamlPRO
,
José Fragoso Santos
INESC-ID/Instituto Superior Técnico, Portugal
,
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
10:30 - 12:00
Programming Language Implementation
‹Programming› Research Papers
at
S 9
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
12:00 - 12:30
Awards and Announcements
‹Programming›
at
S 9
14:00 - 15:00
Persistance and Versioning
‹Programming› Research Papers
at
S 9
14:00
20m
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:20
20m
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:40
20m
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
16:00 - 17:30
Formal Foundations and System Design
‹Programming› Research Papers
at
S 9
16:00
30m
Talk
A Formalization and Implementation of the Semantics of a Domain-Specific Language for Mixed-Initiative, Human-Computer Dialogs
‹Programming› Research Papers
Zachary S. Rowland
University of Dayton
,
Saverio Perugini
Ave Maria University
16:30
30m
Talk
On the State of Coherence in the Land of Type Classes
‹Programming› Research Papers
Dimitri Racordon
EPFL
,
Eugene Flesselle
EPFL
,
Nguyen Pham
EPFL, LAMP
17: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:30 - 18:00
Conference Closing
‹Programming›
at
S 9
Mon 2 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
MoreVMs
MoreVMs
MoreVMs
MoreVMs
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
17: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
‹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
‹Programming› Research Papers
Programming Language Implementation
‹Programming›
Awards and Announcements
‹Programming› Research Papers
Persistance and Versioning
‹Programming› Research Papers
Formal Foundations and System Design
‹Programming›
Conference Closing
Wed 4 Jun
Displayed time zone:
Belgrade, Bratislava, Budapest, Ljubljana, Prague
change
Room
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› 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
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
S 9
‹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
14:00 - 14:20
‹Programming› Research Papers
Schema Evolution in Interactive Programming Systems
14:20 - 14:40
‹Programming› Research Papers
Evolution Language Framework for Persistent Objects
14:40 - 15:00
‹Programming› Research Papers
A Formalization and Implementation of the Semantics of a Domain-Specifi ...
16:00 - 16:30
‹Programming› Research Papers
On the State of Coherence in the Land of Type Classes
16:30 - 17:00
‹Programming› Research Papers
Monk: opportunistic scheduling to delay horizontal scaling
17:00 - 17:30
x
Sat 26 Apr 23:15