Rahul Kumar

19 papers A* 4A 1B 4Misc 2Journal 1Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
RAD-PHI3 at the NTCIR-18 HIDDEN-RAD: Hidden CausalityInclusion in Radiology Reports with Multimodal SmallLanguage Models.
NTCIR
Mercy Ranjit, Rahul Kumar, Shaury Srivastav, Anirban Porya, Tanuja Ganu
2021 J jnl
Assessing the Effectiveness of Syntactic Structure to Learn Code Edit Representations.
CoRR
Syed Arbaaz Qureshi, Sonu Mehta, Ranjita Bhagwan, Rahul Kumar
2021 — conf
Data-driven test selection at scale.
ESEC/SIGSOFT FSE
Sonu Mehta, Farima Farmahinifarahani, Ranjita Bhagwan, Suraj Guptha, Sina Jafari, Rahul Kumar, Vaibhav Saini, Anirudh Santhiar
2020 B conf
Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.
FMCAD
Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal
2020 Misc conf
Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis.
NSDI
Sonu Mehta, Ranjita Bhagwan, Rahul Kumar, Chetan Bansal, Chandra Shekhar Maddila, Balasubramanyan Ashok, Sumit Asthana, Christian Bird, Aditya Kumar
2019 — conf
Building sankie: an AI platform for DevOps.
BotSE@ICSE
Rahul Kumar, Chetan Bansal, Chandra Shekhar Maddila, Nitin Sharma, Shawn Martelock, Ravi Bhargava
2019 A* conf
FastLane: test minimization for rapidly deployed large-scale online services.
ICSE
Adithya Abraham Philip, Ranjita Bhagwan, Rahul Kumar, Chandra Shekhar Maddila, Nachiappan Nagappan
2019 — conf
Orca: Differential Bug Localization in Large-Scale Services.
USENIX ATC
Ranjita Bhagwan, Rahul Kumar, Chandra Shekhar Maddila, Adithya Abraham Philip
2019 — conf
WhoDo: automating reviewer suggestions at scale.
ESEC/SIGSOFT FSE
Sumit Asthana, Rahul Kumar, Ranjita Bhagwan, Christian Bird, Chetan Bansal, Chandra Shekhar Maddila, Sonu Mehta, Balasubramanyan Ashok
2018 A* conf
Orca: Differential Bug Localization in Large-Scale Services.
OSDI
Ranjita Bhagwan, Rahul Kumar, Chandra Shekhar Maddila, Adithya Abraham Philip
2016 B conf
CloudSDV Enabling Static Driver Verifier Using Microsoft Azure.
IFM
Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal
2016 — conf
Static Analysis Using the Cloud.
iFMCloud@IFM
Rahul Kumar, Chetan Bansal, Jakob Lichtenberg
2014 Misc conf
Adtributor: Revenue Debugging in Advertising Systems.
NSDI
Ranjita Bhagwan, Rahul Kumar, Ramachandran Ramjee, George Varghese, Surjyakanta Mohapatra, Hemanth Manoharan, Piyush Shah
2014 A conf
MUX: algorithm selection for software model checkers.
MSR
Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori
2014 B conf
Online learning versus blended learning: an exploratory study.
L@S
Andrew Cross, Balasubramanyan Ashok, Srinath Bala, Edward Cutrell, Naren Datha, Rahul Kumar, Viraj Kumar, Parthasarathy Madhusudan, Siddharth Prakash, Sriram K. Rajamani, Satish Sangameswaran, Deepika Sharma, William Thies
2013 — conf
The economics of static analysis tools.
ESEC/SIGSOFT FSE
Rahul Kumar, Aditya V. Nori
2012 A* conf
Parallelizing top-down interprocedural analyses.
PLDI
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani
2010 B conf
SLAM2: Static driver verification with under 4% false alarms.
FMCAD
Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin
2010 A* conf
The Static Driver Verifier Research Platform.
CAV
Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg