‹Programming› 2026 (series) /
Organizational‹Programming› 2026
No information available yet.
Supporters
Dates
Tracks
This program is tentative and subject to change.
Wed 18 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 18 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | Programming system implementationResearch Papers at Lecture Hall Chair(s): Tom Beckmann Hasso Plattner Institute | ||
10:30 45mTalk | Chorex: Restartable, Language-Integrated Choreographies Research Papers | ||
11:15 45mTalk | 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 | ||
13:30 - 15:00 | |||
13:30 45mTalk | 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 | ||
14:15 45mTalk | 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 | ||
15:30 - 17:00 | Programming education, awards, and anniversaryResearch Papers at Lecture Hall Chair(s): Shigeru Chiba The University of Tokyo | ||
15:30 45mTalk | Evaluating LLMs in the Context of a Functional Programming Course: A Comprehensive Study Research Papers | ||
16:15 45mSocial Event | Awards and 10th Anniversary Research Papers | ||
Thu 19 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 19 Mar
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
10:30 - 12:00 | |||
10:30 45mTalk | 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 | ||
11:15 45mTalk | 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 | ||
13:30 - 15:00 | |||
13:30 45mTalk | If-T: A Benchmark for Type Narrowing Research Papers | ||
14:15 45mTalk | 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 | ||
15:30 - 17:00 | Virtual machinesResearch Papers at Lecture Hall Chair(s): Stefan Marr Johannes Kepler University Linz | ||
15:30 45mTalk | 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 | ||
16:15 45mTalk | 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 | ||