Explores the elegance and challenges of transactions in structuring stateful systems, emphasizing ACID properties and the trade-offs of transactional memory.
Explores transactional memory and hardware simplification for concurrency control in software, emphasizing the benefits of hardware speculation and declarative concurrency.