Rahul Kumar
Rahul Kumar
Microsoft Research
Verified email at - Homepage
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
International Conference on Computer Aided Verification, 119-122, 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
Program analysis through predicate abstraction and refinement
TJ Ball, EO Bounimova, VA Levin, R Kumar
US Patent 8,402,444, 2013
Parallelizing top-down interprocedural analyses
A Albarghouthi, R Kumar, AV Nori, SK Rajamani
ACM SIGPLAN Notices 47 (6), 217-228, 2012
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
Ultrasonic studies on some ternary organic liquid mixtures at 303, 308 and 313K
R Palani, S Saravanan, R Kumar
Rasayan J. Chem 2 (3), 622-629, 2009
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
Towards a unified view of modeling and programming
M Broy, K Havelund, R Kumar
International Symposium on Leveraging Applications of Formal Methods, 238-257, 2016
Synthesis and characterization of amorphous precipitated silica from alkaline dissolution of olivine
N Raza, W Raza, S Madeddu, H Agbe, RV Kumar, KH Kim
RSC advances 8 (57), 32651-32658, 2018
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
Spina bifida occulta in isthmic spondylolisthesis: a surgical trap
R Kumar, D Niall, A Walsh, K Khalilullah, D McCormack
European Spine Journal 11 (2), 159-161, 2002
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
Structure of Liquid Lead-Tin Alloys
R Kumar
IND INST METALS TRANS 18, 131-139, 1965
Improving Live Sequence Chart to Automata Transformation for Verification
R Kumar, EG Mercer
Electronic Communications of the EASST 10, 2008
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
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
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
Domain-specific languages with scala
C Artho, K Havelund, R Kumar, Y Yamagata
International Conference on Formal Engineering Methods, 1-16, 2015
The system can't perform the operation now. Try again later.
Articles 1–20