• Skipping Refinement
    Mitesh Jain and Pete Manolios.
    To appear in International Conference on Computer Aided Verification, 2015 (CAV'15)
  • Practical Formal Verification of Domain-Specific Language Applications
    Howard Reubenstein, Greg Eakman, Tom Hawkins, Mitesh Jain and Panagiotis Manolios.
    Nasa Formal Methods Symposium (NFM 2015)
  • Technical Reports

  • Probabilistically Checkable Proof-an introduction
    Jose Falcon and Mitesh Jain.
    Theory of Computation Course, Spring 2013
  • Reagent based concurrent link list
    Ancsa Hannak and Mitesh Jain.
    Computer Systems Course, Spring 2012
  • Contact

    • Office: West Village H room 316
    • Mail: jmitesh [at] ccs [dot] neu [dot] edu