The Scala Workshop 2026
Mon 29 Jun 2026
Brussels, Belgium
co-located with
ECOOP 2026
Toggle navigation
Attending
Venue: Vrije Universiteit Brussel
ECOOP 2026
Weather
Accommodation
Registration
Conduct
Program
The Scala Workshop Program
Your Program
Mon 29 Jun
Tracks
The Scala Workshop 2026
The Scala Workshop 2026
ECOOP 2026
Awards
Technical Papers
Artifact Evaluation
Workshops
Demos
ECOOP Academy
Doctoral Symposium
Posters
Student Research Competition
Student Volunteers
Social Events
Co-hosted Conferences
GPCE
MPLR
Workshops
DEBT
Future Debugging Techniques
FTfJP
Formal Techniques for Judicious Programming
ICOOOLPS
Lang Implementation & Optimization
PLF+PLAID
Decentralized Local-First Software
UNSOUND
VeriLang
Verification Languages
VORTEX
Runtime Monitoring
Organization
The Scala Workshop 2026 Committees
Track Committees
The Scala Workshop 2026
Organizing Committee
Program Committee
ECOOP
Awards
Technical Papers
Artifact Evaluation
Workshops
Demos
ECOOP Academy
Doctoral Symposium
Posters
Student Research Competition
Student Volunteers
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Program Committee
Steering Committee
MPLR
Organizing Committee
Program Committee
Workshops
DEBT
Future Debugging Techniques
Organizing Committee
Program Committee
Steering Committee
FTfJP
Formal Techniques for Judicious Programming
Program Committee
Steering Committee
ICOOOLPS
Lang Implementation & Optimization
Organizing Committee
Program Committee
PLF+PLAID
Decentralized Local-First Software
Organizing Committee
Program Committee
UNSOUND
Program Committee
VeriLang
Verification Languages
Organizing Committee
Program Committee
VORTEX
Runtime Monitoring
Organizing Committee
Program Committee
Search
Series
Series
The Scala Workshop 2026
The Scala Workshop 2025
Scala 2022
Scala 2021
Scala 2020
Scala 2019
Scala 2018
Scala 2017
Scala 2016
Scala 2015
Sign in
Sign up
ECOOP 2026
(
series
) /
The Scala Workshop 2026 (
series
) /
Vrije Universiteit Brussel
/
Room information: I.2.02
Venue
Vrije Universiteit Brussel
Room name
I.2.02
Floor
2
Room number
I.2.02
Room Information
Building
I
, floor
2
, room
I.2.02
https://link.mazemap.com/1GKLiNjM
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) Brussels, Copenhagen, Madrid, Paris
.
Use conference time zone: (GMT+02:00) Brussels, Copenhagen, Madrid, Paris
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-06: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-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 29 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
Invited Talks
GPCE
at
I.2.02
Chair(s):
L. Thomas van Binsbergen
University of Amsterdam
09:00
45m
Keynote
Invited Talk: Jeremy Yallop
GPCE
Jeremy Yallop
University of Cambridge
09:45
45m
Keynote
Executable Counterfactuals: A Causal Calculus for Concurrent Systems
GPCE
Georgiana Caltais
University of Twente
11:00 - 12:30
Specification and Analysis
GPCE
at
I.2.02
11:00
22m
Talk
Comparing Solver Representations for Analyzing Cardinality-Based Feature Models
GPCE
Fabian Eger
Karlsruhe Institute of Technology
,
Lukas Güthing
Karlsruhe Institute of Technology
,
Kevin Feichtinger
Karlsruhe Institute of Technology (KIT)
,
Ina Schaefer
KIT
11:22
22m
Talk
ATLAS: From Access conTrol Language to ACSL Specifications
GPCE
Julien Signoles
Université Paris-Saclay, CEA, List
,
Khaoula Boukir
Ibn Tofail University
,
Amine Nasri
Université Paris-Saclay, CEA, List & Ibn Tofail University
11:45
22m
Talk
Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in Static Analysis
GPCE
Krishna Narasimhan
F1RE
12:07
22m
Talk
TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD
GPCE
Jef Jacobs
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
,
Jens Nicolay
Vrije Universiteit Brussel
14:00 - 15:30
Programming Abstractions I
GPCE
at
I.2.02
14:00
22m
Talk
Programmable record types in Haskell
GPCE
Arthur Jamet
University of Kent
,
Michael Vollmer
University of Kent
14:22
22m
Talk
Modular Substructural Constraints for Embedded DSLs
GPCE
Anna Herlihy
EPFL
,
Amir Shaikhha
University of Edinburgh
,
Anastasia Ailamaki
EPFL
,
Martin Odersky
EPFL
14:45
22m
Talk
Metis: A Compositional DSL for Board Games and Game Tree Search
GPCE
Thomas Kottenhahn
University of Mainz
,
Prashant Kumar
15:07
22m
Talk
Synthesizing Recursive Functional Programs via Structure-Element Separation
GPCE
Junyu Lin
The University of Tokyo
,
Akimasa Morihata
University of Tokyo
16:00 - 17:30
Programming Abstractions II & Awards
GPCE
at
I.2.02
16:00
22m
Talk
Stageleft: Multi-Stage Programming in Standard Rust
GPCE
Shadaj Laddad
Amazon Web Services
,
Mingwei Samuel
Amazon Web Services
,
Joseph M. Hellerstein
UC Berkeley
16:25
4m
Awards
Awards
GPCE
16:30
30m
Awards
Most Influential Paper Award: Acceptance Presentation
GPCE
Mustafa Al-Hajjaji
Magdeburg University
,
Sebastian Krieter
TU Braunschweig, Germany
,
Thomas Thüm
TU Braunschweig
,
Malte Lochau
,
Gunter Saake
Otto von Guericke University
Link to publication
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
09:00 - 10:30
Opening & Keynote (TBD)
MPLR
at
I.2.02
11:00 - 12:30
JIT
MPLR
at
I.2.02
11:00
30m
Talk
Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers
MPLR
Yusuke Izawa
Tokyo Metropolitan University
,
CF Bolz-Tereick
Heinrich-Heine-Universität Düsseldorf
,
Nico Rittinghaus
Heinrich-Heine-Universität Düsseldorf
,
Hidehiko Masuhara
Institute of Science Tokyo
11:30
30m
Talk
TrueJIT - Learning and Prediction of Compilation Sequences in a Centralized JIT Compiler
MPLR
Björn Franke
University of Edinburgh
,
Tom Spink
University of St Andrews
,
Amir Khordadi
University of Edinburgh
,
Kim Stonehouse
University of Edinburgh, United Kingdom
12:00
30m
Talk
Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis
MPLR
Matěj Kocourek
Charles University
,
Filip Křikava
Czech Technical University in Prague
,
Pierre Donat-Bouillud
Czech Technical University in Prague
,
Jan Vitek
Northeastern University
14:00 - 15:30
WebAssembly
MPLR
at
I.2.02
14:00
30m
Talk
WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
MPLR
Byeongjee Kang
Carnegie Mellon University
,
Harsh Desai
Carnegie Mellon University
,
Limin Jia
Carnegie Mellon University
,
Brandon Lucia
Carnegie Mellon University
14:30
30m
Talk
DWasm: Portable Debugging for the Web
MPLR
Aäron Munsters
Vrije Universiteit Brussel
,
Nikita Servais
Vrije Universiteit Brussel
,
Carlos Rojas Castillo
Vrije Universiteit Brussel
,
Angel Luis Scull Pupo
Sofware Languages Lab, Vrije Universiteit Brussel
,
Elisa Gonzalez Boix
Vrije Universiteit Brussel
15:00
30m
Talk
Annotation-Guided Edit-Aware JIT Compilation for Julia Computational Notebooks
MPLR
Yusuke Izawa
Tokyo Metropolitan University
,
Tomoki Nakamaru
The University of Tokyo
,
Tetsuro Yamazaki
University of Tokyo
16:00 - 17:30
Garbage Collection
MPLR
at
I.2.02
16:00
30m
Talk
A Unifying Approach to Supporting Multiple Garbage Collectors in AOT-compiled Binaries
MPLR
Thomas Schrott
Johannes Kepler University Linz
,
Christian Häubl
Oracle
,
Hanspeter Mössenböck
JKU Linz
,
Stefan Marr
Johannes Kepler University Linz
16:30
30m
Talk
Load-Site-Based Filtering of Transiently Hot Objects to Reduce the Effective Working Set
MPLR
Naoki Nakanishi
The University of Tokyo
,
Takato Hideshima
The University of Tokyo, Japan
,
Tomoharu Ugawa
University of Tokyo
17:00
30m
Talk
To Compile or Not To Compile: Evaluating Static Heuristics to Reduce Binary Size of Hybrid Execution Systems
MPLR
Christoph Pichler
Johannes Kepler University Linz
,
Bernhard Urban-Forster
Oracle Labs
,
Paley Li
,
Roland Schatz
Oracle Labs
,
Stefan Marr
Johannes Kepler University Linz
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
11:00 - 12:30
ECOOP Academy Lecture 1
ECOOP Academy
at
I.2.02
11:00
90m
Talk
Programming Systems, or What Programming Language Research Cannot See
ECOOP Academy
Tomas Petricek
Charles University
14:00 - 15:30
ECOOP Academy Lecture 2
ECOOP Academy
at
I.2.02
14:00
90m
Talk
Getting Started with Quantum Software Engineering
ECOOP Academy
Shaukat Ali
Simula Research Laboratory and Oslo Metropolitan University
16:00 - 17:30
ECOOP Academy Lecture 3
ECOOP Academy
at
I.2.02
16:00
90m
Talk
Can WebAssembly Be the Universal Software Substrate?
ECOOP Academy
Ben L. Titzer
Carnegie Mellon University
Thu 2 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
11:00 - 12:30
ECOOP Academy Lecture 4
ECOOP Academy
at
I.2.02
11:00
90m
Talk
Safe Autonomous Agents via Shielding
ECOOP Academy
Bettina Könighofer
Graz University of Technology
14:00 - 15:30
ECOOP Academy Lecture 5
ECOOP Academy
at
I.2.02
14:00
90m
Talk
The challenge of data sharing while respecting privacy
ECOOP Academy
Alejandro Russo
Chalmers University of Technology; University of Gothenburg
16:00 - 17:30
ECOOP Academy Lecture 6
ECOOP Academy
at
I.2.02
16:00
90m
Talk
Modelling, Verifying & Implementing database backends
ECOOP Academy
Marc Shapiro
Sorbonne-Université (LIP6) & Inria
Fri 3 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
11:00 - 12:30
ECOOP Academy Lecture 7
ECOOP Academy
at
I.2.02
11:00
90m
Talk
Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing
ECOOP Academy
Stefan Marr
Johannes Kepler University Linz
14:00 - 15:30
ECOOP Academy Lecture 8
ECOOP Academy
at
I.2.02
14:00
90m
Talk
Formal Methods Meet Legal Implementations
ECOOP Academy
Raphaël Monat
Inria and University of Lille
16:00 - 17:10
ECOOP Academy Lecture 9
ECOOP Academy
at
I.2.02
16:00
70m
Talk
Taming the Object Graph: What Types Can Guarantee
ECOOP Academy
Sophia Drossopoulou
Imperial College London
Mon 29 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
I.2.02
GPCE
Invited Talks
GPCE
Specification and Analysis
GPCE
Programming Abstractions I
GPCE
Programming Abstractions II & Awards
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
I.2.02
MPLR
Opening & Keynote (TBD)
MPLR
JIT
MPLR
WebAssembly
MPLR
Garbage Collection
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
I.2.02
ECOOP Academy
ECOOP Academy Lecture 1
ECOOP Academy
ECOOP Academy Lecture 2
ECOOP Academy
ECOOP Academy Lecture 3
Thu 2 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
I.2.02
ECOOP Academy
ECOOP Academy Lecture 4
ECOOP Academy
ECOOP Academy Lecture 5
ECOOP Academy
ECOOP Academy Lecture 6
Fri 3 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
I.2.02
ECOOP Academy
ECOOP Academy Lecture 7
ECOOP Academy
ECOOP Academy Lecture 8
ECOOP Academy
ECOOP Academy Lecture 9
Mon 29 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
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
I.2.02
GPCE
Invited Talk: Jeremy Yallop
09:00 - 09:45
GPCE
Executable Counterfactuals: A Causal Calculus for Concurrent Systems
09:45 - 10:30
GPCE
Comparing Solver Representations for Analyzing Cardinality-Based Featur ...
11:00 - 11:22
GPCE
ATLAS: From Access conTrol Language to ACSL Specifications
11:22 - 11:45
GPCE
Less Is More: Measuring How LLM Involvement Affects Chatbot Accuracy in ...
11:45 - 12:07
GPCE
TurtleTalk: A DSL for Constraint-Based Turtle Graphics in Programmatic CAD
12:07 - 12:30
GPCE
Programmable record types in Haskell
14:00 - 14:22
GPCE
Modular Substructural Constraints for Embedded DSLs
14:22 - 14:45
GPCE
Metis: A Compositional DSL for Board Games and Game Tree Search
14:45 - 15:07
GPCE
Synthesizing Recursive Functional Programs via Structure-Element Separation
15:07 - 15:30
GPCE
Stageleft: Multi-Stage Programming in Standard Rust
16:00 - 16:22
GPCE
Awards
16:25 - 16:29
GPCE
Most Influential Paper Award: Acceptance Presentation
16:30 - 17:00
Tue 30 Jun
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
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
I.2.02
MPLR
Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers
11:00 - 11:30
MPLR
TrueJIT - Learning and Prediction of Compilation Sequences in a Central ...
11:30 - 12:00
MPLR
Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis
12:00 - 12:30
MPLR
WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
14:00 - 14:30
MPLR
DWasm: Portable Debugging for the Web
14:30 - 15:00
MPLR
Annotation-Guided Edit-Aware JIT Compilation for Julia Computational No ...
15:00 - 15:30
MPLR
A Unifying Approach to Supporting Multiple Garbage Collectors in AOT-co ...
16:00 - 16:30
MPLR
Load-Site-Based Filtering of Transiently Hot Objects to Reduce the Effe ...
16:30 - 17:00
MPLR
To Compile or Not To Compile: Evaluating Static Heuristics to Reduce Bi ...
17:00 - 17:30
Wed 1 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
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
I.2.02
ECOOP Academy
Programming Systems, or What Programming Language Research Cannot See
11:00 - 12:30
ECOOP Academy
Getting Started with Quantum Software Engineering
14:00 - 15:30
ECOOP Academy
Can WebAssembly Be the Universal Software Substrate?
16:00 - 17:30
Thu 2 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
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
I.2.02
ECOOP Academy
Safe Autonomous Agents via Shielding
11:00 - 12:30
ECOOP Academy
The challenge of data sharing while respecting privacy
14:00 - 15:30
ECOOP Academy
Modelling, Verifying & Implementing database backends
16:00 - 17:30
Fri 3 Jul
Displayed time zone:
Brussels, Copenhagen, Madrid, Paris
change
Room
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
I.2.02
ECOOP Academy
Benchmarking on Modern Hardware: Techniques for Performance Comparisons ...
11:00 - 12:30
ECOOP Academy
Formal Methods Meet Legal Implementations
14:00 - 15:30
ECOOP Academy
Taming the Object Graph: What Types Can Guarantee
16:00 - 17:10
x
Sun 7 Jun 21:36