Finding and Reproducing Heisenbugs in Concurrent Programs. M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu OSDI 8 (2008), 2008 | 754 | 2008 |
Statistical debugging using compound Boolean predicates P Arumuga Nainar, T Chen, J Rosin, B Liblit Proceedings of the 2007 international symposium on Software testing and …, 2007 | 130 | 2007 |
Adaptive bug isolation P Arumuga Nainar, B Liblit Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 81 | 2010 |
Applications of static analysis and program structure in statistical debugging PA Nainar The University of Wisconsin-Madison, 2012 | 5 | 2012 |
Cooperative bug isolation PA Nainar, B Liblit Technical report, 2004 | 2 | 2004 |
Log based Transactions for Single-threaded Programs A Balakrishnan, PA Nainar | | |
CHESS or “How to track Heisenbugs” M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu | | |
Finding and Reproducing Heisenbugs in Concurrent Programs Madanlal Musuvathi Microsoft Research Shaz Qadeer Microsoft Research Thomas Ball Microsoft Research Gerard Basler PA Nainar | | |