Follow
Rahul Kumar
Rahul Kumar
Verified email at amazon.com
Title
Cited by
Cited by
Year
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
1232010
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
802010
Load balancing parallel explicit state model checking
R Kumar, EG Mercer
Electronic Notes in Theoretical Computer Science 128 (3), 19-34, 2005
752005
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
522014
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
432019
Parallelizing top-down interprocedural analyses
A Albarghouthi, R Kumar, AV Nori, SK Rajamani
ACM SIGPLAN Notices 47 (6), 217-228, 2012
422012
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
392014
Program analysis through predicate abstraction and refinement
TJ Ball, EO Bounimova, VA Levin, R Kumar
US Patent 8,402,444, 2013
342013
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
332009
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
262018
Towards a unified view of modeling and programming
M Broy, K Havelund, R Kumar
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
262016
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
242019
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
192019
Domain-specific languages with Scala
C Artho, K Havelund, R Kumar, Y Yamagata
Formal Methods and Software Engineering: 17th International Conference on …, 2015
192015
Improving Live Sequence Chart to Automata Transformation for Verification
R Kumar, EG Mercer
Electronic Communications of the EASST 10, 2008
142008
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
132014
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
132003
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
122013
The Economics of Static Analysis Tools
R Kumar, AV Nori
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
122013
Verifying communication protocols using live sequence chart specifications
R Kumar, EG Mercer
Electronic Notes in Theoretical Computer Science 250 (2), 33-48, 2009
102009
The system can't perform the operation now. Try again later.
Articles 1–20