2 papers
cs.DC2026
uSTM: A Lightweight and Efficient STM Supporting General Types and Deferred Aborts
Zachary Kent, Guy Blelloch, André Costa
Software Transactional Memory (STM) systems allow developers to more easily exploit multicore architectures by wrapping arbitrary sequential code in transactions that are executed…
cs.PL2025
Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs
Zachary Kent, Ugur Y. Yavuz, Siddhartha Jayanti +2
In the past decade, many techniques have been developed to prove linearizability, the gold standard of correctness for concurrent data structures. Intuitively, linearizability requ…