Asynchrony-aware static analysis of Android applications. - Ashish Mishra 002; Aditya Kanade 001; Y. N. Srikant (MEMOCODE, 2016)

Beyond-Regular Typestate. - Ashish Mishra 002; Y. N. Srikant (CoRR, 2017)

Presburger-Definable Parameterized Typestates. - Ashish Mishra 002; Deepak D'Souza; Y. N. Srikant (CoRR, 2017)

Stubbifier: debloating dynamic server-side JavaScript applications. - Alexi Turcotte; Ellen Arteca; Ashish Mishra 002; Saba Alimadadi; Frank Tip (Empir. Softw. Eng., 2022)

Specification-guided component-based synthesis from effectful libraries. - Ashish Mishra 002; Suresh Jagannathan (Proc. ACM Program. Lang., 2022)

Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs. - Ashish Mishra 002; Suresh Jagannathan (ECOOP, 2023)

Covering All the Bases: Type-Based Verification of Test Input Generators. - Zhe Zhou; Ashish Mishra 002; Benjamin Delaware; Suresh Jagannathan (Proc. ACM Program. Lang., 2023)

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators. - Patrick LaFontaine; Zhe Zhou; Ashish Mishra 002; Suresh Jagannathan; Benjamin Delaware (CoRR, 2025)