Ashish Mishra

14 papers A 1C 1Journal 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Close is Good Enough: Component-Based Synthesis Modulo Logical Similarity.
CoRR
Ashish Mishra, Suresh Jagannathan
2025 J jnl
We've Got You Covered: Type-Guided Repair of Incomplete Input Generators.
CoRR
Patrick LaFontaine, Zhe Zhou, Ashish Mishra, Suresh Jagannathan, Benjamin Delaware
2025 J jnl
We've Got You Covered: Type-Guided Repair of Incomplete Input Generators.
Proc. ACM Program. Lang.
Patrick LaFontaine, Zhe Zhou, Ashish Mishra, Suresh Jagannathan, Benjamin Delaware
2023 J jnl
Covering All the Bases: Type-Based Verification of Test Input Generators.
CoRR
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
2023 J jnl
Covering All the Bases: Type-Based Verification of Test Input Generators.
Proc. ACM Program. Lang.
Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan
2023 A conf
Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs.
ECOOP
Ashish Mishra, Suresh Jagannathan
2023 J jnl
Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs.
CoRR
Ashish Mishra, Suresh Jagannathan
2022 J jnl
Specification-Guided Component-Based Synthesis from Effectful Libraries.
CoRR
Ashish Mishra, Suresh Jagannathan
2022 J jnl
Specification-guided component-based synthesis from effectful libraries.
Proc. ACM Program. Lang.
Ashish Mishra, Suresh Jagannathan
2022 J jnl
Stubbifier: debloating dynamic server-side JavaScript applications.
Empir. Softw. Eng.
Alexi Turcotte, Ellen Arteca, Ashish Mishra, Saba Alimadadi, Frank Tip
2021 J jnl
Stubbifier: Debloating Dynamic Server-Side JavaScript Applications.
CoRR
Alexi Turcotte, Ellen Arteca, Ashish Mishra, Saba Alimadadi, Frank Tip
2017 J jnl
Beyond-Regular Typestate.
CoRR
Ashish Mishra, Y. N. Srikant
2017 J jnl
Presburger-Definable Parameterized Typestates.
CoRR
Ashish Mishra, Deepak D'Souza, Y. N. Srikant
2016 C conf
Asynchrony-aware static analysis of Android applications.
MEMOCODE
Ashish Mishra, Aditya Kanade, Y. N. Srikant