Ashish Mishra

Affiliations. Assistant Professor of Computer Science@IITH.


Office: C-214/G, Dept. of Computer Science,

IIT Hyderabad,

Kandi, Telangana 502284



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; Deductive Reasoning;
    • Synthesis+Program Repair; Synthesis in novel domains;
    • Neural+Symbolic (NeuroSymbolic) Synthesis.
  • Automated Program Verification:
    • Higher-Order+Effects;
    • Under-approximate Reasoning; Incorrectness Logics;
    • Hybrid Program Analysis for JS;
    • Static Analysis for Asynchronous Programs.
  • Functional Programming:
    • Dependent Types, DSLs.

Teaching (New course this Fall)


I try to write sometimes, on any topic which comes across my mind. My Ideas

I am looking for both Masters and PhD student(s) to work with me. Please drop me an email if you find the work interesting.


Jan 18, 2024 I am on the Artifact Evaluation Committee for PLDI ‘24.
Dec 26, 2023 I am on the Artifact Evaluation Committee for ECOOP ‘24.
Sep 26, 2023 I will (probably) be at Midwest PL Summit 2023 in Michigan with a poster.
Sep 4, 2023 We are running a super fun Reading Group on Under-approximate reasoning and Incorrecteness logic at Purdue.
Jul 19, 2023 Attending ECOOP ‘23 in beautiful Seattle.

selected publications

  1. In-submission
    Deductive Component-Based Synthesis Using Semantic Similarity Reduction
    A Mishra, and Suresh Jagannathan
  2. 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
  3. ECOOP’ 23
    Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Program
    Ashish Mishra, and Suresh Jagannathan
    In Accepted, ECOOP’ 23, 2023
  4. OOPSLA’ 22
    Specification-Guided Component-Based Synthesis from Effectful Libraries
    A Mishra, and Suresh Jagannathan
    Proc. ACM Program. Lang., Oct 2022
  5. EMSE, ICSE ’23
    Stubbifier: Debloating Dynamic Server-Side JavaScript Applications
    Alexi Turcotte, Ellen Arteca, Ashish Mishra, and 2 more authors
    Empirical Softw. Engg., Sep 2022