Ashish Mishra
Affiliations. Postdoc@Purdue PL, Verification, Synthesis.

Office: 3154C, Dept. of Computer Science,
Purdue University,
West Lafayette, IN 47907
I am a Postdoctoral Researcher at Purdue University working with wonderful Prof Suresh Jagannathan. Before this, I worked for a year on Program Analysis for JS with Prof Frank Tip. I did my PhD dissertation on verifying behavioral properties of complex programs at Indian Institute of Science, India under the guidance of Prof. Y. N. Srikant.
I am interested in developing techniques and tools to help developers build reliable, secure and efficient Software. In this context, I am especially interested in building program analysis and verification tools, designing programming languages, and developing automated program synthesis techniques for programs with effects, dynamic features and asynchronous semantics.
Recently, I have worked on developing a component-based program synthesis tool (Cobalt) to synthesize correct programs using effectful libraries. Previously, I have worked on designing a domain-specific language (Morpheus) with support for rich refinement types to reason about the correctness of effectful Parser Combinator programs. Before that, I also developed static and dynamic program analysis techniques for Android (AsyncDroid) and Javascript programs (Stubbifier).
**I am currently in the job market, preferably in India.**My statements are as follows: (CV, Research statement, Teaching statement). Please drop me an email if you find my work interesting.
news
May 18, 2023 | The Coverage Types paper is selected for Distinguished Paper award at PLDI ‘23. |
---|---|
Apr 29, 2023 | Our paper on Morpheus, a refinement typed DSL for automated safety verification of data-dependent parser combinator programs with Suresh Jagannathan is accepted at ECOOP’ 23. |
Feb 24, 2023 | Our paper on Coverage Types, an under-approximate refinement type system with wonderful Zhe Zhou, Benjamin Delaware and Suresh Jagannathan is |
Jan 31, 2023 | The Stubbifier (EMSE) paper is also accepted at ICSE’ 23, Journal-first track. |
Dec 8, 2022 | Attending OOPSLA’ 22 in beautiful Auckland, NZ |