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 | 125 | 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 | 82 | 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 | 53 | 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 | 45 | 2019 |
Parallelizing top-down interprocedural analyses A Albarghouthi, R Kumar, AV Nori, SK Rajamani ACM SIGPLAN Notices 47 (6), 217-228, 2012 | 44 | 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 | 39 | 2014 |
Program analysis through predicate abstraction and refinement TJ Ball, EO Bounimova, VA Levin, R Kumar US Patent 8,402,444, 2013 | 34 | 2013 |
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 | 33 | 2009 |
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 | 29 | 2018 |
Towards a unified view of modeling and programming M Broy, K Havelund, R Kumar Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 29 | 2016 |
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 | 26 | 2019 |
Domain-specific languages with Scala C Artho, K Havelund, R Kumar, Y Yamagata Formal Methods and Software Engineering: 17th International Conference on …, 2015 | 20 | 2015 |
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 | 19 | 2019 |
Improving Live Sequence Chart to Automata Transformation for Verification R Kumar, E Mercer Electronic Communications of the EASST 10, 2008 | 14 | 2008 |
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 | 13 | 2014 |
The Economics of Static Analysis Tools R Kumar, AV Nori Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 13 | 2013 |
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 |
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 | 12 | 2013 |
Verifying communication protocols using live sequence chart specifications R Kumar, EG Mercer Electronic Notes in Theoretical Computer Science 250 (2), 33-48, 2009 | 10 | 2009 |