2 papers
cs.DC2026
Substep Linearizability: Relaxing Atomicity While Preserving Sequential Specification
Finn Hackett, Evan Wrench, Ivan Beschastnikh +1
Linearizability is a standard correctness condition for concurrent objects. It takes a correct by construction sequential specification of a concurrent data structure, and produces…
cs.DS2026
Concurrent Balanced Augmented Trees
Evan Wrench, Ajay Singh, Younghun Roh +4
Augmentation makes search trees tremendously more versatile, allowing them to support efficient aggregation queries, order-statistic queries, and range queries in addition to inser…