Concurrency

We're building new languages for safely programming with shared mutable objects. In our work, threads can freely exchange mutable objects and manipulate state concurrently---with no possibility of a destructive data race.