Statistical debugging using compound boolean predicates. - Piramanayagam Arumuga Nainar; Ting Chen; Jake Rosin; Ben Liblit (ISSTA, 2007)

Finding and Reproducing Heisenbugs in Concurrent Programs. - Madanlal Musuvathi; Shaz Qadeer; Thomas Ball 001; Gérard Basler; Piramanayagam Arumuga Nainar; Iulian Neamtiu (OSDI, 2008)

Adaptive bug isolation. - Piramanayagam Arumuga Nainar; Ben Liblit (ICSE (1), 2010)