Mutable value semantics is a programming discipline that, in its most restrictive form, bans references from the user model to uphold value independence. As such, lets humans and machine reason about programs locally, thereby enabling the design of safe yet efficient in-place algorithms. This talk explores strategies to bring this discipline to Scala.

I’m a post-doc researcher at EPFL (Switzerland). I’m working on language designs for safe and high-performance computing.

Besides research, I’m also actively involved in software development and engineering, and actively maintain a handful of open source software libraries. Most (if not all) of my work is available on my GitHub profile.