scalability 3

• A Revised and Verified Proof of the Scalable Commutativity Rule Sep 18, 2018
• Concurrent Algorithms in Transactional Data Structures Apr 1, 2017
• Type Aware Transactions for Faster Concurrent Code Apr 18, 2016