I.2.03 - The Scala Workshop 2026

VenueVrije Universiteit Brussel

Room nameI.2.03

Floor2

Room numberI.2.03

Room Information

Building I, floor 2, room I.2.03

https://link.mazemap.com/1RCNYbb2

Program

This program is tentative and subject to change.

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, ParisSelect other time zone

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 programSpecify 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 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

	09:00 - 09:15	OpeningECOOP Awards / ECOOP Technical Papers at I.2.03 Chair(s): Davide Ancona DIBRIS, University of Genova, Italy, Wolfgang De Meuter Vrije Universiteit Brussel

09:15 - 10:30	KeynoteECOOP Awards / ECOOP Technical Papers at I.2.03 Chair(s): Robbert Krebbers Radboud University Nijmegen

09:15 75m Keynote		Building trust: a journey from mechanized semantics to verified compilation and beyondKeynote Speaker ECOOP Technical Papers Sandrine Blazy University of Rennes

11:00 - 12:30	ConcurrencyECOOP Technical Papers at I.2.03 Chair(s): António Ravara Nova University of Lisbon

11:00 22m Talk		A Complete Program Logic for Compositional Linearizability ECOOP Technical Papers Eashan Hatti Yale University, Arthur Oliveira Vale Yale University, Zhongye Wang Yale University, Yueyang Feng Yale University, Zhong Shao Yale University
11:22 22m Talk		Foundational and Compositional Verification of Layered Concurrent Objects ECOOP Technical Papers Yicheng Ni , Yuting Wang Shanghai Jiao Tong University
11:45 22m Talk		Verifying wait-freedom for concurrent higher-order programs ECOOP Technical Papers Egor Namakonov , Lars Birkedal Aarhus University, Amin Timany Aarhus University
12:07 22m Talk		Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs ECOOP Technical Papers João Gonçalves IST U. Lisboa & INESC-ID, Miguel Matos IST, INESC-ID, U. Lisboa, Rodrigo Rodrigues Instituto Superior Técnico, U. Lisboa & INESC-ID, José Fragoso Santos INESC-ID; Instituto Superior Técnico - University of Lisbon

14:00 - 15:30	Pointers & Distributed SystemsECOOP Technical Papers at I.2.03 Chair(s): Sophia Drossopoulou Imperial College London

14:00 22m Talk		Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP Technical Papers Wenyao Chen UNSW Sydney, Wei Li UNSW, Jingling Xue UNSW
14:22 22m Talk		Ownership Refinement Types for Pointer Arithmetic and Nested Arrays ECOOP Technical Papers Yusuke Fujiwara Kyoto University, Japan, Yusuke Matsushita Kyoto University, Kohei Suenaga Graduate School of Informatics, Kyoto University, Atsushi Igarashi Kyoto University
14:45 22m Talk		Compositional Design, Implementation, and Verification of Swarms ECOOP Technical Papers Florian Furbach Technical University of Denmark, Lucas Clorius DTU Compute, Roland Kuhn RKSW UG, Hernan Melgratti University of Buenos Aires, Argentina, Alceste Scalas Technical University of Denmark, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy

16:00 - 16:45	AI & Human-in-the-LoopECOOP Technical Papers at I.2.03 Chair(s): Yizhou Zhang University of Waterloo

16:00 22m Talk		Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages ECOOP Technical Papers Siddhartha Prasad Brown University, Skyler Austen Brown University, Kathi Fisler Brown University, Shriram Krishnamurthi Brown University
16:22 22m Talk		Faster Verified Explanations for Neural Networks ECOOP Technical Papers Alessandro De Palma LSE, Greta Dolcetti Ca’ Foscari University of Venice, Caterina Urban Inria - École Normale Supérieure

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	Keynote: Dahl-Nygaard Senior PrizeECOOP Technical Papers / ECOOP Awards at I.2.03

09:00 90m Keynote		15 Years of Viper: Building and Evolving a Verification InfrastructureAITO Dahl-Nygaard Senior Prize ECOOP Awards Peter Müller ETH Zurich

11:00 - 12:30	Programming Languages & Type SystemsECOOP Technical Papers at I.2.03 Chair(s): Peter Müller ETH Zurich

11:00 22m Talk		A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference ECOOP Technical Papers Andreas Stadelmeier DHBW Baden-Wuerttemberg Cooperative State University, Peter Thiemann University of Freiburg, Martin Plümicke DHBW Stuttgart, Campus Horb, Germany
11:22 22m Talk		Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types ECOOP Technical Papers Takashi Suwa Kyoto University and Imiron, Atsushi Igarashi Kyoto University
11:45 22m Talk		Language-Integrated Recursive Queries ECOOP Technical Papers Anna Herlihy EPFL, Amir Shaikhha University of Edinburgh, Anastasia Ailamaki EPFL, Martin Odersky EPFL
12:07 22m Talk		NEST: Network Enforced Session Types ECOOP Technical Papers Jens Kanstrup Larsen DTU, Alceste Scalas Technical University of Denmark, Guy Amir Hebrew University, Jules Jacobs Cornell University, Jana Wagemaker Radboud University, Nate Foster EPFL; Jane Street

14:00 - 15:30	Compilers, Interpreters & Runtime SystemsECOOP Technical Papers at I.2.03 Chair(s): Christian Hammer University of Passau

14:00 22m Talk		Eliminate Branches by Melding IR Instructions ECOOP Technical Papers Yuze Li Virginia Tech, Srinivasan Ramachandra Sharma Virginia Tech, Charitha Saumya Intel, Ali R. Butt Virginia Tech, Kirshanthan Sundararajah Virginia Tech
14:22 22m Talk		Characterizing Type Feedback in Just-in-Time Compilation ECOOP Technical Papers Sebastián Krynski Czech Technical University in Prague, Filip Riha Czech Technical University, Filip Křikava Czech Technical University in Prague, Jan Vitek Northeastern University
14:45 22m Talk		Optimizing Record/Replay through Relaxed Total Ordering and Multi-Version eXecution ECOOP Technical Papers David Schwartz University of Illinois at Chicago, Luís Pina University of Illinois Chicago
15:07 22m Talk		The Virtual Recency Abstraction (Strong Updates for Abstract Interpreters with Shared State) ECOOP Technical Papers Sven Keidel Fraunhofer SIT \| ATHENE, Raphaël Monat Inria and University of Lille, Sebastian Erdweg KIT

16:00 - 16:45	Testing & DebuggingECOOP Technical Papers at I.2.03 Chair(s): Alceste Scalas Technical University of Denmark

16:00 22m Talk		Automated Inline-Test Generation without Relying on Method-Level Unit Tests ECOOP Technical Papers Pengyue Jiang Cornell University, Yu Liu Meta, Anna Guo University of Texas at Austin, Milos Gligoric The University of Texas at Austin, Owolabi Legunsen Cornell University
16:22 22m Talk		Remote Concolic Multiverse Debugging ECOOP Technical Papers Maarten Steevens Ghent University, Belgium, Tom Lauwaerts Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent Pre-print

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30	Keynote: Dahl-Nygaard Junior PrizeECOOP Technical Papers / ECOOP Awards at I.2.03

09:00 90m Keynote		Language Design and Implementation Where Paradigms ConvergeAITO Dahl-Nygaard Junior Prize ECOOP Awards Yizhou Zhang University of Waterloo

11:00 - 12:30	Static AnalysisECOOP Technical Papers at I.2.03 Chair(s): Sven Keidel Fraunhofer SIT \| ATHENE

11:00 22m Talk		Scaling Bottom-up IFDS Taint Analysis with Optimized Data-flow Encoding ECOOP Technical Papers Fabian Schiebel Heinz Nixdorf Institute, Paderborn University, Eric Bodden
11:22 22m Talk		DelExp: a Relational Container Abstraction with Applications to Compositional Analysis ECOOP Technical Papers Milla Valnet Sorbonne Université, Raphaël Monat Inria and University of Lille, Antoine Miné Sorbonne Université
11:45 22m Talk		Comparing Transparent Static Analyzers with Open Verification Dashboard ECOOP Technical Papers Tom Goalard University of Rennes, Karoliine Holter University of Tartu, Estonia, Simmo Saan University of Tartu, Estonia, Vesal Vojdani University of Tartu, Raphaël Monat Inria and University of Lille
12:07 22m Talk		Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability ECOOP Technical Papers Yujiang Gui UNSW, Yonggang Tao UNSW, Jingling Xue UNSW

14:00 - 15:30	Security & Smart ContractsECOOP Technical Papers at I.2.03 Chair(s): Alejandro Russo Chalmers University of Technology; University of Gothenburg

14:00 22m Talk		Proof-of-Theft: Dynamic Graph-based Fingerprinting of In-browser Cryptomining ECOOP Technical Papers Tanapoom Sermchaiwong The Hong Kong University of Science and Technology, Jiasi Shen The Hong Kong University of Science and Technology
14:22 22m Talk		Automatic Code and Test Generation of Smart Contracts from Coordination Models ECOOP Technical Papers Elvis Konjoh Selabi Gran Sasso Science Institute and University of Camerino, Maurizio Murgia Gran Sasso Science Institute, António Ravara Nova University of Lisbon, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy
14:45 22m Talk		Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts ECOOP Technical Papers Stian Lybech Reykjavik University, Daniele Gorla Department of Computer Science, Sapienza University of Rome, Luca Aceto Reykjavik University
15:07 22m Talk		Efficient Symbolic Execution of Software under Fault Attacks ECOOP Technical Papers Yuzhou Fang University of Southern California, Chenyu Zhou University of Southern California, Jingbo Wang Purdue University, Chao Wang University of Southern California

16:00 - 17:10	Syntax & ParsingECOOP Technical Papers at I.2.03 Chair(s): Matthew Flatt University of Utah

16:00 23m Talk		A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl) ECOOP Technical Papers Luyu Cheng Hong Kong University of Science and Technology, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
16:23 23m Talk		Automatic layout of railroad diagrams ECOOP Technical Papers Shardul Chiplunkar EPFL, Clément Pit-Claudel EPFL Pre-print
16:46 23m Talk		A Stable Lossless Syntax Tree for Real-time Collaborative Programming ECOOP Technical Papers Leon Freudenthaler Hochschule Campus Wien/TU Wien, Karl M. Göschka TU Wien

	17:10 - 17:25	ClosingECOOP Technical Papers at I.2.03

Wed 1 Jul
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
I.2.03	ECOOP Awards + ECOOP Technical Papers Opening			ECOOP Awards + ECOOP Technical Papers Keynote																					ECOOP Technical Papers Concurrency																																				ECOOP Technical Papers Pointers & Distributed Systems																								ECOOP Technical Papers AI & Human-in-the-Loop

Thu 2 Jul
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
I.2.03	ECOOP Technical Papers + ECOOP Awards Keynote: Dahl-Nygaard Senior Prize																								ECOOP Technical Papers Programming Languages & Type Systems																																				ECOOP Technical Papers Compilers, Interpreters & Runtime Systems																								ECOOP Technical Papers Testing & Debugging

Fri 3 Jul
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.03	ECOOP Technical Papers + ECOOP Awards Keynote: Dahl-Nygaard Junior Prize																								ECOOP Technical Papers Static Analysis																																				ECOOP Technical Papers Security & Smart Contracts																								ECOOP Technical Papers Syntax & Parsing														ECOOP Technical Papers Closing

Wed 1 Jul
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.03				ECOOP Technical PapersKeynote Speaker Building trust: a journey from mechanized semantics to verified compila ... 09:15 - 10:30																					ECOOP Technical Papers A Complete Program Logic for Compositional Linearizability 11:00 - 11:22				ECOOP Technical Papers Foundational and Compositional Verification of Layered Concurrent Objects 11:22 - 11:45					ECOOP Technical Papers Verifying wait-freedom for concurrent higher-order programs 11:45 - 12:07				ECOOP Technical Papers Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs 12:07 - 12:30																							ECOOP Technical Papers Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable ... 14:00 - 14:22				ECOOP Technical Papers Ownership Refinement Types for Pointer Arithmetic and Nested Arrays 14:22 - 14:45					ECOOP Technical Papers Compositional Design, Implementation, and Verification of Swarms 14:45 - 15:07															ECOOP Technical Papers Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted ... 16:00 - 16:22				ECOOP Technical Papers Faster Verified Explanations for Neural Networks 16:22 - 16:45

Thu 2 Jul
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.03	ECOOP AwardsAITO Dahl-Nygaard Senior Prize 15 Years of Viper: Building and Evolving a Verification Infrastructure 09:00 - 10:30																								ECOOP Technical Papers A Variation on Java Wildcards - Trading Expressiveness for Global Type ... 11:00 - 11:22				ECOOP Technical Papers Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types 11:22 - 11:45					ECOOP Technical Papers Language-Integrated Recursive Queries 11:45 - 12:07				ECOOP Technical Papers NEST: Network Enforced Session Types 12:07 - 12:30																							ECOOP Technical Papers Eliminate Branches by Melding IR Instructions 14:00 - 14:22				ECOOP Technical Papers Characterizing Type Feedback in Just-in-Time Compilation 14:22 - 14:45					ECOOP Technical Papers Optimizing Record/Replay through Relaxed Total Ordering and Multi-Versi ... 14:45 - 15:07				ECOOP Technical Papers The Virtual Recency Abstraction (Strong Updates for Abstract Interprete ... 15:07 - 15:30											ECOOP Technical Papers Automated Inline-Test Generation without Relying on Method-Level Unit Tests 16:00 - 16:22				ECOOP Technical Papers Remote Concolic Multiverse Debugging 16:22 - 16:45

Fri 3 Jul
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			17:00			15			30			45
I.2.03	ECOOP AwardsAITO Dahl-Nygaard Junior Prize Language Design and Implementation Where Paradigms Converge 09:00 - 10:30																								ECOOP Technical Papers Scaling Bottom-up IFDS Taint Analysis with Optimized Data-flow Encoding 11:00 - 11:22				ECOOP Technical Papers DelExp: a Relational Container Abstraction with Applications to Composi ... 11:22 - 11:45					ECOOP Technical Papers Comparing Transparent Static Analyzers with Open Verification Dashboard 11:45 - 12:07				ECOOP Technical Papers Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL- ... 12:07 - 12:30																							ECOOP Technical Papers Proof-of-Theft: Dynamic Graph-based Fingerprinting of In-browser Crypto ... 14:00 - 14:22				ECOOP Technical Papers Automatic Code and Test Generation of Smart Contracts from Coordination ... 14:22 - 14:45					ECOOP Technical Papers Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts 14:45 - 15:07				ECOOP Technical Papers Efficient Symbolic Execution of Software under Fault Attacks 15:07 - 15:30											ECOOP Technical Papers A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl) 16:00 - 16:23					ECOOP Technical Papers Automatic layout of railroad diagrams 16:23 - 16:46				ECOOP Technical Papers A Stable Lossless Syntax Tree for Real-time Collaborative Programming 16:46 - 17:10

Room information: I.2.03

This program is tentative and subject to change.

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Awards + ECOOP Technical Papers

ECOOP Awards + ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Technical Papers + ECOOP Awards

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Technical Papers + ECOOP Awards

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Tracks

ECOOP 2026

Co-hosted Conferences

Workshops

Room information: I.2.03

This program is tentative and subject to change.

Program Display Configuration

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Awards + ECOOP Technical Papers

ECOOP Awards + ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Technical Papers + ECOOP Awards

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

ECOOP Technical Papers + ECOOP Awards

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

ECOOP Technical Papers

Wed 1 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 JulDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Wed 1 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Thu 2 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Fri 3 Jul
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change