Ashish Mishra
Affiliations. Assistant Professor of Computer Science@IITH.
Office: C-214/G, Dept. of Computer Science,
IIT Hyderabad,
Kandi, Telangana 502284
email: mishraashish@cse.iith.ac.inAbout
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)
- Fall’24: TBA: Program Synthesis
Blog
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.
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. |