‹Programming› 2025 (series) / VIMPL 2025 (series) / 4th Workshop on Value Independence in Modern Programming Languages /
Mutable Value Semantics through a Runtime-Enforced Framework in Scala
This program is tentative and subject to change.
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 JunDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Tue 3 Jun
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
15:30 - 17:00 | |||
15:30 30mTalk | 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 30mTalk | Who Owns the Contents of a Doubly-Linked List? VIMPL Dimi Racordon EPFL, LAMP | ||
16:30 30mTalk | Mutable Value Semantics through a Runtime-Enforced Framework in Scala VIMPL Hamza Remmal EPFL, LAMP |