| * | 2008 |
|---|
| 4 | EE | Joshua S. Auerbach,
David F. Bacon,
Perry Cheng,
David Grove,
Ben Biron,
Charlie Gracie,
Bill McCloskey,
Aleksandar Micic,
Ryan Sciampacone:
Tax-and-spend: democratic scheduling for real-time garbage collection.
EMSOFT 2008: 245-254 |
| 3 | EE | Sumit Gulwani,
Bill McCloskey,
Ashish Tiwari:
Lifting abstract interpreters to quantified logical domains.
POPL 2008: 235-246 |
| 2006 |
|---|
| 2 | EE | Bill McCloskey,
Feng Zhou,
David Gay,
Eric A. Brewer:
Autolocker: synchronization inference for atomic sections.
POPL 2006: 346-358 |
| 2005 |
|---|
| 1 | EE | Bill McCloskey,
Eric A. Brewer:
ASTEC: a new approach to refactoring C.
ESEC/SIGSOFT FSE 2005: 21-30 |
