Abstract highlight: “In this thesis we show techniques for compiler-enforced isolation of active objects, while allowing sharing and zero-copy communication of mutable data in the cases where it is safe to do so. We also show how the same techniques that enforce isolation can be utilized internal to an active object to allow data race-free parallel message processing and data race-free structured parallel computations. This overcomes the coarse-grained nature of active object parallelism without compromising safety.”
Tagged as plt instead of compilers since this one mostly talks about how techniques work instead of implementing a compiler. Describes a bit of prior work on things like ownership types, too.