Rahul Kumar
Rahul Kumar
Verified email at
Cited by
Cited by
SLAM2: Static driver verification with under 4% false alarms
T Ball, E Bounimova, R Kumar, V Levin
Formal Methods in Computer Aided Design, 35-42, 2010
The static driver verifier research platform
T Ball, E Bounimova, V Levin, R Kumar, J Lichtenberg
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
Load balancing parallel explicit state model checking
R Kumar, EG Mercer
Electronic Notes in Theoretical Computer Science 128 (3), 19-34, 2005
Adtributor: Revenue debugging in advertising systems
R Bhagwan, R Kumar, R Ramjee, G Varghese, S Mohapatra, ...
11th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2014
Parallelizing top-down interprocedural analyses
A Albarghouthi, R Kumar, AV Nori, SK Rajamani
ACM SIGPLAN Notices 47 (6), 217-228, 2012
Whodo: Automating reviewer suggestions at scale
S Asthana, R Kumar, R Bhagwan, C Bird, C Bansal, C Maddila, S Mehta, ...
Proceedings of the 2019 27th ACM joint meeting on european software …, 2019
Mux: algorithm selection for software model checkers
V Tulsian, A Kanade, R Kumar, A Lal, AV Nori
Proceedings of the 11th Working Conference on Mining Software Repositories …, 2014
Program analysis through predicate abstraction and refinement
TJ Ball, EO Bounimova, VA Levin, R Kumar
US Patent 8,402,444, 2013
Improving translation of live sequence charts to temporal logic
R Kumar, EG Mercer, A Bunker
Electronic Notes in Theoretical Computer Science 250 (1), 137-152, 2009
Orca: Differential Bug Localization in {Large-Scale} Services
R Bhagwan, R Kumar, CS Maddila, AA Philip
13th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2018
Towards a unified view of modeling and programming
M Broy, K Havelund, R Kumar
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
Fastlane: Test minimization for rapidly deployed large-scale online services
AA Philip, R Bhagwan, R Kumar, CS Maddila, N Nagppan
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
Building sankie: An ai platform for devops
R Kumar, C Bansal, C Maddila, N Sharma, S Martelock, R Bhargava
2019 IEEE/ACM 1st international workshop on bots in software engineering …, 2019
Domain-specific languages with Scala
C Artho, K Havelund, R Kumar, Y Yamagata
Formal Methods and Software Engineering: 17th International Conference on …, 2015
Improving Live Sequence Chart to Automata Transformation for Verification
R Kumar, E Mercer
Electronic Communications of the EASST 10, 2008
Online learning versus blended learning: an exploratory study
A Cross, B Ashok, S Bala, E Cutrell, N Datha, R Kumar, V Kumar, ...
Proceedings of the first ACM conference on Learning@ scale conference, 179-180, 2014
The Economics of Static Analysis Tools
R Kumar, AV Nori
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
Benchmarking explicit state parallel model checkers
M Jones, EG Mercer, T Bao, R Kumar, P Lamborn
Electronic Notes in Theoretical Computer Science 89 (1), 84-98, 2003
Massively empowered classroom: Enhancing technical education in india
E Cutrell, S Bala, C Bansal, A Cross, N Datha, A John, R Kumar, ...
Micrsoft Research India, 2013
Evidence of transverse wobbling motion in
A Mukherjee, S Bhattacharya, T Trivedi, S Tiwari, RP Singh, S Muralithar, ...
Physical Review C 107 (5), 054310, 2023
The system can't perform the operation now. Try again later.
Articles 1–20