The Static Driver Verifier Research Platform. - Thomas Ball 001; Ella Bounimova; Vladimir Levin; Rahul Kumar 002; Jakob Lichtenberg (CAV, 2010)

SLAM2: Static driver verification with under 4% false alarms. - Thomas Ball 001; Ella Bounimova; Rahul Kumar 002; Vladimir Levin (FMCAD, 2010)

Parallelizing top-down interprocedural analyses. - Aws Albarghouthi; Rahul Kumar 002; Aditya V. Nori; Sriram K. Rajamani (PLDI, 2012)

The economics of static analysis tools. - Rahul Kumar 002; Aditya V. Nori (ESEC/SIGSOFT FSE, 2013)

Online learning versus blended learning: an exploratory study. - Andrew Cross; Balasubramanyan Ashok; Srinath Bala; Edward Cutrell; Naren Datha; Rahul Kumar 002; Viraj Kumar; Parthasarathy Madhusudan; Siddharth Prakash; Sriram K. Rajamani; Satish Sangameswaran; Deepika Sharma; et al. (L@S, 2014)

MUX: algorithm selection for software model checkers. - Varun Tulsian; Aditya Kanade 001; Rahul Kumar 002; Akash Lal; Aditya V. Nori (MSR, 2014)

Adtributor: Revenue Debugging in Advertising Systems. - Ranjita Bhagwan; Rahul Kumar 002; Ramachandran Ramjee; George Varghese; Surjyakanta Mohapatra; Hemanth Manoharan; Piyush Shah (NSDI, 2014)

CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. - Rahul Kumar 002; Thomas Ball 001; Jakob Lichtenberg; Nate Deisinger; Apoorv Upreti; Chetan Bansal (IFM, 2016)

Static Analysis Using the Cloud. - Rahul Kumar 002; Chetan Bansal; Jakob Lichtenberg (iFMCloud@IFM, 2016)

Orca: Differential Bug Localization in Large-Scale Services. - Ranjita Bhagwan; Rahul Kumar 002; Chandra Shekhar Maddila; Adithya Abraham Philip (OSDI, 2018)

Building sankie: an AI platform for DevOps. - Rahul Kumar 002; Chetan Bansal; Chandra Shekhar Maddila; Nitin Sharma 004; Shawn Martelock; Ravi Bhargava (BotSE@ICSE, 2019)

FastLane: test minimization for rapidly deployed large-scale online services. - Adithya Abraham Philip; Ranjita Bhagwan; Rahul Kumar 002; Chandra Shekhar Maddila; Nachiappan Nagappan (ICSE, 2019)

WhoDo: automating reviewer suggestions at scale. - Sumit Asthana; Rahul Kumar 002; Ranjita Bhagwan; Christian Bird; Chetan Bansal; Chandra Shekhar Maddila; Sonu Mehta; Balasubramanyan Ashok (ESEC/SIGSOFT FSE, 2019)

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost. - Shuvendu K. Lahiri; Akash Lal; Sridhar Gopinath; Alexander Nutz; Vladimir Levin; Rahul Kumar 002; Nate Deisinger; Jakob Lichtenberg; Chetan Bansal (FMCAD, 2020)

Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis. - Sonu Mehta; Ranjita Bhagwan; Rahul Kumar 002; Chetan Bansal; Chandra Shekhar Maddila; Balasubramanyan Ashok; Sumit Asthana; Christian Bird; Aditya Kumar (NSDI, 2020)

Data-driven test selection at scale. - Sonu Mehta; Farima Farmahinifarahani; Ranjita Bhagwan; Suraj Guptha; Sina Jafari; Rahul Kumar 002; Vaibhav Saini; Anirudh Santhiar (ESEC/SIGSOFT FSE, 2021)

Assessing the Effectiveness of Syntactic Structure to Learn Code Edit Representations. - Syed Arbaaz Qureshi; Sonu Mehta; Ranjita Bhagwan; Rahul Kumar 002 (CoRR, 2021)

RAD-PHI3 at the NTCIR-18 HIDDEN-RAD: Hidden CausalityInclusion in Radiology Reports with Multimodal SmallLanguage Models. - Mercy Ranjit; Rahul Kumar 002; Shaury Srivastav; Anirban Porya; Tanuja Ganu (NTCIR, 2025)