Ashish Mishra

Affiliations. Postdoc@Purdue PL, Verification, Synthesis.

dp.jpg

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 conditionally accepted at PLDI’ 23.
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

selected publications

  1. 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
  2. ECOOP’ 23
    Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Program
    Ashish Mishra, and Suresh Jagannathan
    In Accepted, ECOOP’ 23, 2023
  3. OOPSLA’ 22
    Specification-Guided Component-Based Synthesis from Effectful Libraries
    A Mishra, and Suresh Jagannathan
    Proc. ACM Program. Lang., Oct 2022
  4. 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