Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Tue 22 Oct 2019 17:00 - 17:30 at Abbey - Session #4 Chair(s): Andrea Rosà

Anzen is a multi-paradigm programming language that aims to provide explicit and controllable assignment semantics. It is based on the observation that abstractions over memory management and data representation, as commonly adopted by contemporary programming languages, often transpire relics of the underlying memory model and lead to confusing assignment semantics in the presence of aliases. In response, Anzen’s goal is to offer a modern approach to programming, built on a sound and unambiguous semantics.

This paper reports our experience on implementing Anzen’s compiler, and the challenges thereof. Our implementation transpiles Anzen sources to an intermediate language inspired by the LLVM IR, designed to ease the analysis and evaluation of Anzen’s statements. This intermediate representation is then consumed by a register-based virtual machine. We present the Anzen compiler’s architecture, introduce its intermediate language and describe the latter’s evaluation. Our work aims to set a reference implementation for future developments and extensions of the language.

Tue 22 Oct
Times are displayed in time zone: Beirut change

16:00 - 17:30: Session #4VMIL at Abbey
Chair(s): Andrea RosàUniversity of Lugano, Switzerland
16:00 - 16:30
Full-paper
Towards seamless interfacing between dynamic languages and native code
VMIL
Guillaume BertholonÉcole Normale Supérieure, Stephen KellUniversity of Kent
16:30 - 17:00
Full-paper
Memory efficient CRDTs in dynamic environments
VMIL
Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
17:00 - 17:30
Full-paper
Implementing a Language with Explicit Assignment Semantics
VMIL
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland