Ashish Mishra
Affiliations. Assistant Professor of Computer Science@IITH.
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
- Fall’24: CS5733 Program Synthesis
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. |