This program is tentative and subject to change.

Tue 3 Jun 2025 16:30 - 17:00 at S 9 - Session 1 Chair(s): Nguyen Pham

This work presents a minimal, runtime-based, framework for enforcing mutable value semantics in Scala. Unlike languages with MVS foundations, Scala lacks support for ownership and borrowing, often leading to aliasing issues and unintended mutations. This library addresses these challenges by defining a single abstraction that enforces MVS semantics entirely at runtime via precise assertions. We showcase the framework’s guarantees with a practical example, a mutable linked list.

This program is tentative and subject to change.

Tue 3 Jun

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

15:30 - 17:00
Session 1VIMPL at S 9
Chair(s): Nguyen Pham EPFL, LAMP
15:30
30m
Talk
Toward a Typed Intermediate Language for R
VIMPL
Mickaël Laurent Charles University, Jakob Hain Purdue University, USA, Filip Křikava Czech Technical University in Prague, Sebastián Krynski Czech Technical University in Prague, Jan Vitek Northeastern University
16:00
30m
Talk
Who Owns the Contents of a Doubly-Linked List?
VIMPL
Dimi Racordon EPFL, LAMP
16:30
30m
Talk
Mutable Value Semantics through a Runtime-Enforced Framework in Scala
VIMPL
Hamza Remmal EPFL, LAMP