Ashish Mishra

Employment

• Purdue University West Lafayette

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (11)

• Polymorphic coverage types
  Journal of Functional Programming 2026 DOI: 10.46298/jfp.17755
  +Save
• We’ve Got You Covered: Type-Guided Repair of Incomplete Input Generators
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3763158
  +Save
• We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
  OOPSLA 25 2025 DOI: 10.48550/ARXIV.2504.06421
  +Save
• Covering All the Bases: Type-Based Verification of Test Input Generators
  Proceedings of the ACM on Programming Languages 2023 DOI: 10.1145/3591271
  +Save
• Specification-Guided Component-Based Synthesis from Effectful Libraries
  Proc. ACM Program. Lang. 2022 DOI: 10.1145/3563310
  +Save
• Stubbifier: Debloating Dynamic Server-Side JavaScript Applications
  Empirical Softw. Engg. 2022 DOI: 10.1007/s10664-022-10195-6
  +Save
• Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Program
  Under Submission, Arxiv 2021
  +Save
• Typestates and Beyond: Verifying Rich Behavioral Properties Over Complex Programs
  Dissertation, IISc 2018
  +Save
• Analysis and verification of rich typestate properties for complex programs
  2017
  +Save
• Presburger-Definable Parameterized Typestates
  CoRR 2017
  +Save