Atomicity Checking in Linear Time using Vector Clocks

Umang Mathur, Mahesh Viswanathan 0001. Atomicity Checking in Linear Time using Vector Clocks. In James R. Larus, Luis Ceze, Karin Strauss, editors, ASPLOS '20: Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, March 16-20, 2020 [ASPLOS 2020 was canceled because of COVID-19]. pages 183-199, ACM, 2020. [doi]

Abstract

Abstract is missing.