Ashish Mishra

Affiliations. Assistant Professor of Computer Science@IITH.

dp.jpg

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

IIT Hyderabad, Kandi

Telangana 502284

mishraashish@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 Deductive Synthesis;
    • Synthesis for Program Repair;
    • Neural+Symbolic (NeuroSymbolic) Synthesis.
  • Automated Program Verification:
    • Effects and Higher-Order programs;
    • Under-approximate Reasoning; Incorrectness Logics;
    • Program Analysis
  • Functional Programming:
    • Dependent and Refinement Types, DSLs.
    • Refinement Types inference.

Teaching

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

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
    2023
  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