• Proving Skipping Refinement with ACL2s
    Mitesh Jain and Pete Manolios.
    To appear in ACL2 2015
  • Skipping Refinement
    Mitesh Jain and Pete Manolios.
    27th International Conference on Computer Aided Verification, 2015 (CAV'15)
    [Arxiv] [ Experimental artifacts ]
  • 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)
  • 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