|
Search the dblp DataBase
Bill McCloskey:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer
Autolocker: synchronization inference for atomic sections. [Citation Graph (0, 0)][DBLP] POPL, 2006, pp:346-358 [Conf]
- Bill McCloskey, Eric A. Brewer
ASTEC: a new approach to refactoring C. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2005, pp:21-30 [Conf]
Tax-and-spend: democratic scheduling for real-time garbage collection. [Citation Graph (, )][DBLP]
Thirty Years Is Long Enough: Getting Beyond C. [Citation Graph (, )][DBLP]
Lifting abstract interpreters to quantified logical domains. [Citation Graph (, )][DBLP]
Statically Inferring Complex Heap, Array, and Numeric Invariants. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|