Ashish Mishra

Orcid: 0000-0002-0513-3107

Affiliations:

IIT Hyderabad, India
Purdue University, West Lafayette, IN, USA (former)

According to our database¹, Ashish Mishra authored at least 8 papers between 2016 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

We've Got You Covered: Type-Guided Repair of Incomplete Input Generators.

[BibT_eX]

[DOI]

CoRR, April, 2025

2023

Covering All the Bases: Type-Based Verification of Test Input Generators.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2023

Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs.

[BibT_eX]

[DOI]

Ashish Mishra

Suresh Jagannathan

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Specification-guided component-based synthesis from effectful libraries.

[BibT_eX]

[DOI]

Ashish Mishra

Suresh Jagannathan

Proc. ACM Program. Lang., 2022

Stubbifier: debloating dynamic server-side JavaScript applications.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

2017

Presburger-Definable Parameterized Typestates.

[BibT_eX]

[DOI]

Ashish Mishra

Deepak D'Souza

Y. N. Srikant

CoRR, 2017

Beyond-Regular Typestate.

[BibT_eX]

[DOI]

Ashish Mishra

Y. N. Srikant

CoRR, 2017

2016

Asynchrony-aware static analysis of Android applications.

[BibT_eX]

[DOI]

Ashish Mishra

Aditya Kanade

Y. N. Srikant

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Ashish Mishra

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...