Mitesh Jain

I am a PhD student at College of Computer Science, Northeastern University and a member of Computer Aided Reasoning Lab. My advisor is Pete Manolios. I am currently working on refinement-based approach to verification of reactive systems.

I did my undergraduate in Electrical Engineering from Indian Institute of Technology, Kanpur in 2002. Before joining the PhD program in 2010, I worked in the microprocessor industry for over 8 years.

CV

Publications

  • A Refinement-based Approach to Testing of Hardware and Low-level
    Software Designs
    Mitesh Jain and Pete Manolios.
    Poster, Design Automation Conference (DAC-2016)
  • 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)
    [Springer]

    • Reports

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

    • Contact

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