Ashish Mishra

Affiliations. Assistant Professor of Computer Science@IITH.

dp.jpg

Office: CS-606, Dept. of Computer Science,

IIT Hyderabad, Kandi

Telangana 502284

lnfn@cse.iith.ac.in

About

Starting March 2024, I am an Assistant Professor of Computer Science at IIT Hyderabad. Before, I was a Postdoc at PurPL, Purdue, working with wonderful Suresh Jagannathan. I also worked for an year on Program Analysis for JS with Frank Tip. I did my PhD at IISc, working with Y. N. Srikant.

My background is in Formal Methods and Programming Languages. My research views programming languages as having a central place in solving computing problems. I am interested in developing automated program synthesis techniques and tools (Cobalt); designing richer type systems (Poirot), and domain specific programming languages (Morpheus) and building program analysis and verification tools and techniques(Stubbifier).

Research Interests

  • Program Synthesis:
    • Scalable Synthesis;
    • Program Repair;
    • NeuroSymbolic Synthesis.
  • Automated Program Verification:
    • Under-approximate Reasoning; Incorrectness Logic;
    • Effects and Higher-Order programs;
    • Program Analysis.
  • Functional Programming:
    • Refinement Types, DSLs;
    • Type Inference.

Services

PC Member : ATVA ‘25, SAS ‘25, ECCOP ‘25, ISEC 25.

Artifact Evaluation : PLDI ‘25, OOPSLA ‘25.

I am always on the lookout for PhD/M.Tech/B.Tech students to work with me. Please drop me an email if you find the work interesting.

news

May 25, 2025 Four new undergrad interns joined ΣλMPL∃ Lab for the summers!
Jul 1, 2024 We set up our new ΣλMPL∃ (Simple) Lab with first three students, Vyshnavi, Varsha and Rajarshi joining as PhD, PhD and MTech RA students.
Mar 1, 2024 Joined IITH, CSE Department as an Assistant Professor.

selected publications

  1. 🏆 PLDI’ 23
    Covering All the Bases: Type-based Verification of Test Input Generators
    Zhe Zhou, Ashish Mishra, Benjamin Delaware, and 1 more author
    In Accepted PLDI ’23, 2023
  2. OOPSLA’ 22
    Specification-Guided Component-Based Synthesis from Effectful Libraries
    A Mishra, and Suresh Jagannathan
    Proc. ACM Program. Lang., Oct 2022