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
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
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
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
Correlation between LUTS (AUA-SS) and erectile dysfunction (SHIM) in an age-matched racially diverse male population: data from the Prostate Cancer Awareness Week (PCAW)
A Barqawi, C O'Donnell, R Kumar, H Koul, ED Crawford
International journal of impotence research 17 (4), 370-374, 2005
Online mechanical property prediction system for hot rolled IF steel
I Mohanty, S Sarkar, B Jha, S Das, R Kumar
Ironmaking & Steelmaking 41 (8), 618-627, 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
The effect of exchange cations on acidity, activity, and selectivity of faujasite cracking catalysts
R Kumar, WC Cheng, K Rajagopalan, AW Peters, P Basu
Journal of Catalysis 143 (2), 594-600, 1993
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
Higher order moments in the entrainment zone of turbulent penetrative thermal convection
R Kumar, RJ Adrian
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
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
Genetic study of major characters in upland rice
R Kumar
Environment and Ecology 12, 363-363, 1994
Structure of Liquid Lead-Tin Alloys
R Kumar
IND INST METALS TRANS 18, 131-139, 1965
The system can't perform the operation now. Try again later.
Articles 1–20