| 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 | 117 | 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 | 79 | 2010 |
| Load balancing parallel explicit state model checking R Kumar, EG Mercer Electronic Notes in Theoretical Computer Science 128 (3), 19-34, 2005 | 71 | 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 | 36 | 2014 |
| Program analysis through predicate abstraction and refinement TJ Ball, EO Bounimova, VA Levin, R Kumar US Patent 8,402,444, 2013 | 33 | 2013 |
| Parallelizing top-down interprocedural analyses A Albarghouthi, R Kumar, AV Nori, SK Rajamani ACM SIGPLAN Notices 47 (6), 217-228, 2012 | 32 | 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 | 32 | 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 | 31 | 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 | 31 | 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 | 27 | 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 | 24 | 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 | 22 | 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 | 21 | 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 | 19 | 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 | 18 | 2002 |
| Higher order moments in the entrainment zone of turbulent penetrative thermal convection R Kumar, RJ Adrian | 18 | 1986 |
| 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 | 17 | 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 | 16 | 2018 |
| Genetic study of major characters in upland rice R Kumar Environment and Ecology 12, 363-363, 1994 | 14 | 1994 |
| Structure of Liquid Lead-Tin Alloys R Kumar IND INST METALS TRANS 18, 131-139, 1965 | 14 | 1965 |
Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityVerified email at cs.byu.edu
