• Proving Skipping Refinement with ACL2s
    Mitesh Jain and Pete Manolios.
    International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2015)
    [Arxiv] [ Experimental artifacts ]
  • Skipping Refinement
    Mitesh Jain and Pete Manolios.
    Computer Aided verification (CAV-2015)
    [Preprint] [Springer] [ 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