Ashish Mishra -

Registered user since Sat 6 Jun 2020

Name:Ashish Mishra

Country:United States

Affiliation:Purdue University

Personal website: https://aegis-iisc.github.io

Research interests:Programming languages, Program synthesis, Program verification, Type systems

Contributions

2024

ECOOP

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Committee Member in Extended Review Committee and External Reviewers within the Technical Papers-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

ISEC

Committee Member in Program Committee within the Research Papers-track

2023

SPLASH

ECOOP

Author of Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs within the Research Papers-track

PLDI

Author of Covering All the Bases: Type-Based Verification of Test Input Generators within the PLDI Research Papers-track

ICSE

Author of Stubbifier: debloating dynamic server-side JavaScript applications within the Journal-First Papers-track

2022

SPLASH

Author of Specification-Guided Component-Based Synthesis from Effectful Libraries within the OOPSLA-track