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:
    • Effects and Higher-Order programs;
    • Under-approximate Reasoning; Incorrectness Logics;
    • Program Analysis
  • Functional Programming:
    • Refinement Types, DSLs.
    • Types 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 SymPL for the summers,
  • 2 IITH undergrads and
  • 2 under the SURE program from IITH.
Jul 1, 2024 We set up our new SymPL (Simple) lab with first three students, Vyshnavi, Varsha and Rajarshi joining as 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