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
6832008
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
1232007
Adaptive bug isolation
PA Nainar, B Liblit
2010 ACM/IEEE 32nd International Conference on Software Engineering 1, 255-264, 2010
762010
Applications of static analysis and program structure in statistical debugging
PA Nainar
The University of Wisconsin-Madison, 2012
42012
Cooperative bug isolation
PA Nainar, B Liblit
22004
CHESS or “How to track Heisenbugs”
M Musuvathi, S Qadeer, T Ball, G Basler, PA Nainar, I Neamtiu
2008
Log based Transactions for Single-threaded Programs
A Balakrishnan, PA Nainar
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