Ownership types were devised nearly 15 years ago to provide a stronger notion of protection
to object-oriented programming languages. Rather than simply protecting the fields of an …

Combining the actor-model with shared memory for performance is efficient but can
introduce data-races. Existing approaches to static data-race freedom are based on …

A key challenge for concurrent programming is that side-effects (memory operations) in one
thread can affect the behavior of another thread. In this paper, we present a type system to …

Rust is a relatively new programming language that has gained significant traction since its
v1. 0 release in 2015. Rust aims to be a systems language that competes with C/C++. A …

Programmers learning Rust struggle to understand ownership types, Rust's core mechanism
for ensuring memory safety without garbage collection. This paper describes our attempt to …

Session types allow communication protocols to be specified type-theoretically so that
protocol implementations can be verified by static type-checking. We extend previous work …

The Java language lacks the important notions of ownership (an object owns its
representation to prevent unwanted aliasing) and immutability (the division into mutable …

Active objects offer a structured approach to concurrency, encapsulating both unshared
state and a thread of control. For efficient data transfer, data should be passed by reference …

One of the main reasons aliasing has to be controlled, as highlighted in another chapter [1]
of this book [2], is the possibility that a variable can unexpectedly change its value without …

This paper presents a simple type system for thread-local data in Java. Classes and types
are annotated to express thread-locality and unintended leaks are detected at compile-time …