Scalable and precise program analysis at NEC. - Gogul Balakrishnan; Malay K. Ganai; Aarti Gupta; Franjo Ivancic; Vineet Kahlon; Weihong Li; Naoto Maeda; Nadia Papakonstantinou; Sriram Sankaranarayanan 001; Nishant Sinha 001; Chao Wang 001 (FMCAD, 2010)

SETSUDŌ: perturbation-based testing framework for scalable distributed systems. - Pallavi Joshi; Malay K. Ganai; Gogul Balakrishnan; Aarti Gupta; Nadia Papakonstantinou (TRIOS@SOSP, 2013)