‹Programming› 2026
Mon 16 - Fri 20 March 2026
Munich, Germany
Toggle navigation
Attending
Conference venue: Institute of Informatics, LMU Munich
Conference dinner location (Wed, Mar 18th): Augustiner-Keller
Excursion location (Fri, Mar 20th): Andechs Monastry
Registration
Accommodation and Access
Program
‹Programming› Program
Your Program
Mon 16 Mar
Tue 17 Mar
Wed 18 Mar
Thu 19 Mar
Fri 20 Mar
Tracks
‹Programming› 2026
Keynotes
Research Papers
Artifacts
Social Events
Student Volunteers
Workshops
Workshops
MoreVMs
PX/26
SCLIT
Substrates
-26
SV-COMP/Test-Comp
VIMPL
Organization
‹Programming› 2026 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Artifacts
Student Volunteers
Workshops
Contributors
People Index
Workshops
MoreVMs
Program Committee
Organizing Committee
PX/26
Organizing Committee
Program Committee
SCLIT
Program Committee
Substrates
Organizing Committee
Program Committee
SV-COMP/Test-Comp
Organizing Committee
Program Committee
VIMPL
Organizing Committee
Program Committee
Search
Series
Series
‹Programming› 2027
‹Programming› 2026
‹Programming› 2025
‹Programming› 2024
‹Programming› 2023
‹Programming› 2022
‹Programming› 2021
‹Programming› 2020
‹Programming› 2019
‹Programming› 2018
‹Programming› 2017
Sign in
Sign up
‹Programming› 2026
(
series
) /
Institute of Informatics, LMU Munich
/
Room information: Lecture Hall
Venue
Institute of Informatics, LMU Munich
Room name
Lecture Hall
Floor
0
Room number
B 001
Capacity
133
Room Information
https://www.lmu.de/raumfinder/#/building/bw7070/map?room=708000001_
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-06:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Cancun
(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
Wed 18 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Keynote Wed
Keynotes
at
Lecture Hall
Chair(s):
Philipp Haller
KTH Royal Institute of Technology
09:00
60m
Keynote
A Logical Foundation for Type-Safe Cross-Language Interoperability
‹Programming› Keynote
Keynotes
Brigitte Pientka
McGill University
Link to publication
10:30 - 12:00
Programming system implementation
Research Papers
at
Lecture Hall
Chair(s):
Tom Beckmann
Hasso Plattner Institute
10:30
45m
Talk
Chorex: Restartable, Language-Integrated Choreographies
Research Papers
Ashton Wiersdorf
University of Utah
,
Ben Greenman
University of Utah
DOI
11:15
45m
Talk
JoinActors: A Modular Library for Actors with Join Patterns
Research Papers
Ayman Hussein
Technical University of Denmark
,
Philipp Haller
KTH Royal Institute of Technology
,
Ioannis Karras
DTU Compute - Technical University of Denmark
,
Hernan Melgratti
University of Buenos Aires, Argentina
,
Alceste Scalas
Technical University of Denmark
,
Emilio Tuosto
Gran Sasso Science Institute, L'Aquila, Italy
DOI
13:30 - 15:00
Type systems
Research Papers
at
Lecture Hall
Chair(s):
Ben Greenman
University of Utah, USA
13:30
45m
Talk
Filling the Gaps of Polarity
Research Papers
Bohdan Liesnikov
Delft University of Technology
,
David Binder
University of Kent, UK
,
Tim Süberkrüb
University of Tübingen
DOI
14:15
45m
Talk
A Type System for Data Privacy Compliance in Active Object Languages
Research Papers
Chinmayi Prabhu Baramashetru
University of Oslo
,
Paola Giannini
University of Eastern Piedmont
,
Silvia Lizeth Tapia Tarifa
University of Oslo, Norway
,
Olaf Owe
University of Oslo
DOI
15:30 - 17:00
Programming education, awards, and anniversary
Research Papers
at
Lecture Hall
Chair(s):
Shigeru Chiba
The University of Tokyo
15:30
45m
Talk
Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study
Research Papers
Yihan Zhang
McGill University
,
Brigitte Pientka
McGill University
,
Xujie Si
University of Toronto
DOI
16:15
45m
Social Event
Awards and 10th Anniversary
Research Papers
Thu 19 Mar
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:00
Keynote Thu
Keynotes
at
Lecture Hall
Chair(s):
Philipp Haller
KTH Royal Institute of Technology
09:00
60m
Keynote
The Art, Science, and Craftsmanship of Typography
‹Programming› Keynote
Keynotes
Didier Verna
EPITA Research Laboratory
Link to publication
10:30 - 12:00
Programming tools
Research Papers
at
Lecture Hall
Chair(s):
Gordana Rakić
University of Novi Sad
10:30
45m
Talk
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
Research Papers
Andreas Pointner
University of Applied Sciences Upper Austria, Hagenberg, Austria
,
Josef Pichler
University of Applied Sciences Upper Austria
,
Herbert Prähofer
Johannes Kepler University Linz
DOI
11:15
45m
Talk
Hybrid Structured Editing: Structures for Tools, Text for Users
Research Papers
Tom Beckmann
Hasso Plattner Institute
,
Christoph Thiede
Hasso Plattner Institute, University of Potsdam, Germany
,
Jens Lincke
Hasso Plattner Institute; University of Potsdam
,
Robert Hirschfeld
Hasso Plattner Institute; University of Potsdam
DOI
13:30 - 15:00
Gradual typing
Research Papers
at
Lecture Hall
Chair(s):
Stefan Marr
Johannes Kepler University Linz
13:30
45m
Talk
If-T: A Benchmark for Type Narrowing
Research Papers
Hanwen Guo
University of Utah
,
Ben Greenman
University of Utah
DOI
14:15
45m
Talk
Efficient Selection of Type Annotations for Performance Improvement in Gradual Typing
Research Papers
Senxi Li
The University of Tokyo
,
Feng Dai
The University of Tokyo
,
Tetsuro Yamazaki
University of Tokyo
,
Shigeru Chiba
The University of Tokyo
DOI
15:30 - 17:00
Virtual machines
Research Papers
at
Lecture Hall
Chair(s):
Stefan Marr
Johannes Kepler University Linz
15:30
45m
Talk
BlueScript: A Disaggregated Virtual Machine for Microcontrollers
Research Papers
Fumika Mochizuki
University of Tokyo
,
Tetsuro Yamazaki
University of Tokyo
,
Shigeru Chiba
The University of Tokyo
DOI
16:15
45m
Talk
Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
Research Papers
Hanhaotian Liu
The University of Tokyo
,
Tetsuro Yamazaki
University of Tokyo
,
Tomoharu Ugawa
University of Tokyo
DOI
Wed 18 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
Lecture Hall
Keynotes
Keynote Wed
Research Papers
Programming system implementation
Research Papers
Type systems
Research Papers
Programming education, awards, and anniversary
Thu 19 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
Lecture Hall
Keynotes
Keynote Thu
Research Papers
Programming tools
Research Papers
Gradual typing
Research Papers
Virtual machines
Wed 18 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
16:00
15
30
45
Lecture Hall
‹Programming› Keynotes
‹Programming› Keynote
A Logical Foundation for Type-Safe Cross-Language Interoperability
09:00 - 10:00
‹Programming› Research Papers
Chorex: Restartable, Language-Integrated Choreographies
10:30 - 11:15
‹Programming› Research Papers
JoinActors: A Modular Library for Actors with Join Patterns
11:15 - 12:00
‹Programming› Research Papers
Filling the Gaps of Polarity
13:30 - 14:15
‹Programming› Research Papers
A Type System for Data Privacy Compliance in Active Object Languages
14:15 - 15:00
‹Programming› Research Papers
Evaluating LLMs in the Context of a Functional Programming Course: A Co ...
15:30 - 16:15
‹Programming› Research Papers
Awards and 10th Anniversary
16:15 - 17:00
Thu 19 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
16:00
15
30
45
Lecture Hall
‹Programming› Keynotes
‹Programming› Keynote
The Art, Science, and Craftsmanship of Typography
09:00 - 10:00
‹Programming› Research Papers
Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
10:30 - 11:15
‹Programming› Research Papers
Hybrid Structured Editing: Structures for Tools, Text for Users
11:15 - 12:00
‹Programming› Research Papers
If-T: A Benchmark for Type Narrowing
13:30 - 14:15
‹Programming› Research Papers
Efficient Selection of Type Annotations for Performance Improvement in ...
14:15 - 15:00
‹Programming› Research Papers
BlueScript: A Disaggregated Virtual Machine for Microcontrollers
15:30 - 16:15
‹Programming› Research Papers
Pitfalls in VM Implementation on CHERI: Lessons from Porting CRuby
16:15 - 17:00
x
Mon 23 Mar 14:09