Publications

  • Rahul Kumar, Chetan Bansal, Jakob Lichtenberg. Static Analysis Using the Cloud. iFMCloud 2016, Reykjavik, Iceland.
  • Kumar, R., Ball, T., Lichtenberg, J., Deisinger, N., Upreti, A., & Bansal, C. CloudSDV Enabling Static Driver Verifier Using Microsoft Azure. In International Conference on Integrated Formal Methods (pp. 523-536), 2016, June. Springer International Publishing.
  • M. Broy, K. Havelund, and R. Kumar. Towards a Unified View of Modeling and Programming. ISoLA 2016, Corfu, Greece.
  • M. Broy, K. Havelund, R. Kumar, and B. Steffen. Towards a Unified View of Modeling and Programming (Track Summary). ISoLA 2016, Corfu, Greece.
  • K. Havelund, R. Kumar,  C. Delp  and B.Clement. K: A Wide Spectrum Language for Modeling, Programming, and Analysis. MODELSWARD 2016 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT.19-21 February 2016 – Rome, Italy
  • K. Havelund and R. Kumar. Verified Change. FoMaC: Transactions on Foundations for Mastering Change (edited by Bernhard Steffen). First issue containing submissions from the editorial board. Submitted 2015
  • Cyrille Valentin Artho, Klaus Havelund, Rahul Kumar and Yoriyuki Yamagata. DOMAIN SPECIFIC LANGUAGES WITH SCALA, to appear IN ICFEM2015, Paris, france, november 2015.
  • Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, and Aditya V. Nori. MUX: Algorithm Selection for Software Model Checkers, in Mining Software Repositories (MSR), ACM, May 2014
  • Andrew Cross, B. Ashok, Srinath Bala, Edward Cutrell, Naren Datha, and Rahul Kumar (Microsoft Research India), Viraj Kumar (PES University), Madhusudan Parthasarathy (University of Illinois at Urbana Champaign), and Siddharth Prakash, Sriram Rajamani, Satish Sangameswaran, Deepika Sharma, and William Thies (Microsoft Research India). Online Learning versus Blended Learning: An Exploratory Study. LEARNING AT SCALE 2014. MARCH 2014
  • Ranjita Bhagwan, Rahul Kumar, Ramachandran Ramjee, George Varghese, Surjyakanta Mohapatra, Hemanth Manoharan, and Piyush Shah, Adtributor: Revenue Debugging in Advertising Systems, in Symposium on Networked Systems Design and Implemenentation (NSDI), USENIX, April 2014
  • Rahul Kumar and Aditya V. Nori. The Economics of Static Analysis Tools. In ESEC-FSE ’13: Foundations of Software Engineering (industrial track), August 2013
  • Aws Albarghouthi, Rahul Kumar, Aditya V. Nori and Sriram K. Rajamani, Parallelizing Top-down Interprocedural Analyses.PLDI ’12
  • Thomas Ball, Ella Bouminova, Rahul Kumar, and Valdimir Levin. SLAM2: Static Driver Verification with Under 4% False Alarms. FMCAD 2010
  • Thomas Ball, Ella Bounimova, Vladimir Levin, Jakob Lichtenberg, Marina Polishchuk, and Rahul Kumar. The Static Driver Verifier Research Platform. Computer Aided Verification – CAV, pp. 119-122, 2010
  • Rahul Kumar and Eric Mercer. Improving Live Sequence Chart to Automata Translation for Verification. Electronic Communication of The European Association of Software Science and Technology – ECEASST, vol. 10
  • Rahul Kumar and Eric Mercer. verifying communication protocols using live sequence charts. Electronic Notes in Theoretical Computer Science – ENTCS, vol. 250, no. 2, pp. 33-48, 2009
  • Rahul Kumar, Eric Mercer, and Annette Bunker. Improving Live Sequence Chart to Temporal Logic Translation. Electronic Notes in Theoretical Computer Science – ENTCS, vol. 250, no. 1, pp. 137-152, 2009
  • Rahul Kumar and Eric Mercer. Load Balancing Parallel Explicit State Model Checking. Electronic Notes in Theoretical Computer Science – ENTCS, vol. 128, no. 3, pp. 19-34, 2005
  • Michael Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, and Peter Lamborn. Benchmarking Explicit State Parallel Model Checkers. Electronic Notes in Theoretical Computer Science – ENTCS , vol. 89, no. 1, pp. 84-98, 2003
Theses
  • Rahul Kumar. Using Live Sequence Charts for Formal Verification of Systems, Brigham Young University, Provo, UT. December 2008.
  • Rahul Kumar. Load Balancing Parallel Explicit State Model Checking, Brigham Young University, Provo, UT, June 2004.