Durability Semantics for Lock-based Multithreaded Programs

Dhruva R. Chakrabarti
HotPar(2013)

Abstract

Research Areas