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. ...