Stubbifier: debloating dynamic server-side javascript applications A Turcotte, E Arteca, A Mishra, S Alimadadi, F Tip Empirical Software Engineering 27 (7), 161, 2022 | 11 | 2022 |
Asynchrony-aware static analysis of android applications A Mishra, A Kanade, YN Srikant 2016 ACM/IEEE International Conference on Formal Methods and Models for …, 2016 | 7 | 2016 |
Specification-guided component-based synthesis from effectful libraries A Mishra, S Jagannathan Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 616-645, 2022 | 3 | 2022 |
Morpheus: Automated Safety Verification of Data-Dependent Parser Combinator Programs A Mishra, S Jagannathan 37th European Conference on Object-Oriented Programming (ECOOP 2023) 263, 20 …, 2023 | 2 | 2023 |
Covering All the Bases: Type-Based Verification of Test Input Generators Z Zhou, A Mishra, B Delaware, S Jagannathan Proceedings of the ACM on Programming Languages 7 (PLDI), 1244-1267, 2023 | 1 | 2023 |
Presburger-Definable Parameterized Typestates A Mishra, D Dsouza, YN Srikant arXiv preprint arXiv:1712.08753, 2017 | 1* | 2017 |
Linear and Nonlinear Simulations of Magnetorotational Instability for the Upcoming DRESDYN-MRI Experiment A Mishra, G Mamatsashvili, F Stefani Conference on Fluid Mechanics and Fluid Power, 1-9, 2022 | | 2022 |
Typestates and Beyond: Verifying Rich Behavioral Properties Over Complex Programs A Mishra Indian Institute of Science Bangalore, 2018 | | 2018 |
1 Program analysis and transformation for dynamic languages A Mishra | | |
Language Based Security for Smartphones A Mishra, YN Srikant, A Kanade | | |
Typestate Analysis for Android Applications A Mishra, YN Srikant, A Kanade | | |