| |
| 2008 | ||
|---|---|---|
| 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 |
| 1 | Eric A. Brewer | [1] [2] |
| 2 | David Gay | [2] |
| 3 | Sumit Gulwani | [3] |
| 4 | Ashish Tiwari | [3] |
| 5 | Feng Zhou | [2] |