| 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 |
| Nonlinear evolution of magnetorotational instability in a magnetized Taylor-Couette flow: Scaling properties and relation to upcoming DRESDYN-MRI experiment A Mishra, G Mamatsashvili, F Stefani Physical Review Fluids 8 (8), 083902, 2023 | 5 | 2023 |
| 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 |
| Non-axisymmetric standard magnetorotational instability in the upcoming DRESDYN-MRI experiments--linear and nonlinear dynamics A Mishra, G Mamatsashvili, F Stefani arXiv preprint arXiv:2307.16295, 2023 | 2 | 2023 |
| 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 |
| Nonaxisymmetric modes of magnetorotational and possible hydrodynamical instabilities in the upcoming DRESDYN-MRI experiments: Linear and nonlinear dynamics A Mishra, G Mamatsashvili, F Stefani Physical Review Fluids 9 (3), 033904, 2024 | | 2024 |
| One-winged butterflies: mode selection for azimuthal magnetorotational instability by thermal convection A Mishra, G Mamatsashvili, M Seilmayer, F Stefani arXiv preprint arXiv:2403.09764, 2024 | | 2024 |
| 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 | | |
Suresh JagannathanSamuel D. Conte Professor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
