SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Tue 6 Nov 2018 11:30 - 12:00 at Studio 1 - Types & Constraints Chair(s): Ralf Laemmel

Aliasing is a vital concept of programming, but it comes with a plethora of challenging issues, such as the problems related to race safety. This has motivated years of research, and promising solutions such as ownership or linear types have found their way into modern programming languages. Unfortunately, most current approaches are restrictive. In particular, they often enforce a single-writer constraint, which prohibits the creation of mutable self-referential structures. While this constraint is often indispensable in the context of preemptive multithreading, it can be worked around in the case of single threaded programs. With the recent resurgence of cooperative multitasking, where processes voluntarily share control over a single execution thread, this appears to be interesting trade-off. In this paper, we propose a type sys- tem that relaxes the usual single-writer constraint for single threaded programs, without sacrificing race safety proper- ties. We present it in the form of a simple reference-based language, for which we provide a formal semantics, as well as an interpreter.

Tue 6 Nov
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00: Types & ConstraintsSLE 2018 at Studio 1
Chair(s): Ralf LaemmelFacebook London
10:30 - 11:00
Constraint-based Run-time State Migration for Live Modeling
SLE 2018
Ulyana TikhonovaCWI, Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Thomas DegueuleCentrum Wiskunde & Informatica
11:00 - 11:30
The Next 700 Unit Checkers
SLE 2018
Oscar Bennich-BjörkmanUppsala University, Steve McKeeverUppsala University
11:30 - 12:00
A Practical Type System for Safe Aliasing
SLE 2018
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland