publications

2023

  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

2022

  1. OOPSLA’ 22
    Specification-Guided Component-Based Synthesis from Effectful Libraries
    A Mishra, and Suresh Jagannathan
    Proc. ACM Program. Lang., Oct 2022
  2. 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

2021

    2018

    1. Thesis
      Typestates and Beyond: Verifying Rich Behavioral Properties Over Complex Programs
      Ashish Mishra
      2018
      Dissertation, IISc

    2017

    1. ArXiv
      Presburger-Definable Parameterized Typestates
      Ashish Mishra, Deepak D’Souza, and Y. N. Srikant
      CoRR, 2017
    2. ECOOP 17, DS
      Analysis and verification of rich typestate properties for complex programs
      Ashish Mishra, and Y. N. Srikant
      2017
      ECOOP’ 2017 Doctoral Symposium

    2016

    1. MEMOCODE ’16
      Asynchrony-aware static analysis of Android applications
      Ashish Mishra, Aditya Kanade, and Y. N. Srikant
      In 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2016