Browsing by Author "Vaziri, Mandana"
Now showing items 1-1 of 1
-
Static Detection of Atomic-Set-Serializability Violations
Kidd, Nicholas; Reps, Thomas; Dolby, Julian; Vaziri, Mandana (University of Wisconsin-Madison Department of Computer Sciences, 2007)Vaziri et al. propose a data-centric approach to synchronization. The key underlying concept of their work is the atomic set, which specifies the existence of an invariant that holds on a set of fields of an object type. ...