39 citations · 65 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.DB2018★ 1 cited
The Impact of Timestamp Granularity in Optimistic Concurrency Control
Yihe Huang, Hao Bai, Eddie Kohler +2
Optimistic concurrency control (OCC) can exploit the strengths of parallel hardware to provide excellent performance for uncontended transactions, and is popular in high-performanc…
cs.DC2018
A Revised and Verified Proof of the Scalable Commutativity Rule
Lillian Tsai, Eddie Kohler, M. Frans Kaashoek +1
This paper explains a flaw in the published proof of the Scalable Commutativity Rule (SCR), presents a revised and formally verified proof of the SCR in the Coq proof assistant, an…