Lock inference for systems software

John Regehr, Alastair D. Reid
[Google Scholar] [DBLP] [Citeseer]

Proceedings of the Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS)
Boston, MA, USA
17 March 2003
Note(s): operating systems