“Concurrent Revisions is an MS Research project to make concurrent programming scalable and easier to reason about” lambda-the-ultimate.org/node…