1 citations · 2 across the 6 of their papers we have counts for
6 papers
Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Ashish Mishra, Suresh Jagannathan
Parser combinators are a well-known mechanism used for the compositional construction of parsers, and have shown to be particularly useful in writing parsers for rich grammars with…
Polymorphic Coverage Types
Zhe Zhou, Ashish Mishra, Benjamin Delaware +1
Test input generators are an important part of property-based testing (PBT) frameworks, and a key expectation is that they be capable of producing all acceptable elements that sati…
Specification-Guided Component-Based Synthesis from Effectful Libraries
Ashish Mishra, Suresh Jagannathan
Component-based synthesis seeks to build programs using the APIs provided by a set of libraries. Oftentimes, these APIs have effects, which make it challenging to reason about the…
Stubbifier: Debloating Dynamic Server-Side JavaScript Applications
Alexi Turcotte, Ellen Arteca, Ashish Mishra +2
JavaScript is an increasingly popular language for server-side development, thanks in part to the Node.js runtime environment and its vast ecosystem of modules. With the Node.js pa…
Presburger-Definable Parameterized Typestates
Ashish Mishra, Deepak Dsouza, Y. N. Srikant
Typestates are good at capturing dynamic states of a program as compared to normal types that can capture static structural properties of data and program. Although useful, typesta…
Beyond-Regular Typestate
Ashish Mishra, Y. N. Srikant
We present an extension for regular typestates, called Beyond- Regular Typestate(BR-Typestate), which is expressive enough to model non-regular properties of programs and protocols…