1 citations · 1 across the 4 of their papers we have counts for
4 papers
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…