Follow
Piramanayagam Arumuga Nainar
Piramanayagam Arumuga Nainar
Unknown affiliation
Verified email at cs.wisc.edu
Title
Cited by
Cited by
Year
Finding and Reproducing Heisenbugs in Concurrent Programs.
M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu
OSDI 8 (2008), 2008
7542008
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
1302007
Adaptive bug isolation
P Arumuga Nainar, B Liblit
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
812010
Applications of static analysis and program structure in statistical debugging
PA Nainar
The University of Wisconsin-Madison, 2012
52012
Cooperative bug isolation
PA Nainar, B Liblit
Technical report, 2004
22004
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
The system can't perform the operation now. Try again later.
Articles 1–8