| 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 | 123 | 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 | 85 | 2010 |
| Load balancing parallel explicit state model checking R Kumar, EG Mercer Electronic Notes in Theoretical Computer Science 128 (3), 19-34, 2005 | 76 | 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 | 60 | 2014 |
| 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 | 53 | 2019 |
| The transport of digoxin across the perfused human placental lobule. LO Derewlany, JS Leeder, R Kumar, IC Radde, B Knie, G Koren The Journal of pharmacology and experimental therapeutics 256 (3), 1107-1111, 1990 | 49 | 1990 |
| Parallelizing top-down interprocedural analyses A Albarghouthi, R Kumar, AV Nori, SK Rajamani ACM SIGPLAN Notices 47 (6), 217-228, 2012 | 48 | 2012 |
| 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 | 42 | 2014 |
| 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 | 34 | 2018 |
| Program analysis through predicate abstraction and refinement TJ Ball, EO Bounimova, VA Levin, R Kumar US Patent 8,402,444, 2013 | 34 | 2013 |
| 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 | 33 | 2019 |
| 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 | 32 | 2009 |
| Towards a unified view of modeling and programming M Broy, K Havelund, R Kumar Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 25 | 2016 |
| 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 | 22 | 2019 |
| Domain-specific languages with Scala C Artho, K Havelund, R Kumar, Y Yamagata Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 21 | 2015 |
| 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 | 17 | 2014 |
| 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 | 13 | 2013 |
| The Economics of Static Analysis Tools R Kumar, AV Nori Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 13 | 2013 |
| Improving Live Sequence Chart to Automata Transformation for Verification R Kumar, E Mercer Electronic Communications of the EASST 10, 2008 | 13 | 2008 |
| 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 | 13 | 2003 |
Eric MercerAssociate Professor of Computer Science, Brigham Young Universityยืนยันอีเมลแล้วที่ cs.byu.edu