| |
| 2008 | ||
|---|---|---|
| 2 | EE | Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu: Finding and Reproducing Heisenbugs in Concurrent Programs. OSDI 2008: 267-280 |
| 2007 | ||
| 1 | EE | Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit: Statistical debugging using compound boolean predicates. ISSTA 2007: 5-15 |
| 1 | Thomas Ball | [2] |
| 2 | Gérard Basler | [2] |
| 3 | Ting Chen | [1] |
| 4 | Ben Liblit | [1] |
| 5 | Madanlal Musuvathi | [2] |
| 6 | Iulian Neamtiu | [2] |
| 7 | Shaz Qadeer | [2] |
| 8 | Jake Rosin | [1] |