| Mix your contexts well: Opportunities unleashed by recent advances in scaling context-sensitivity M Thakur, VK Nandivada Proceedings of the 29th International Conference on Compiler Construction, 27-38, 2020 | 20 | 2020 |
| PYE: a framework for precise-yet-efficient just-in-time analyses for Java programs M Thakur, VK Nandivada ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (3), 1-37, 2019 | 19 | 2019 |
| Compare less, defer more: Scaling value-contexts based whole-program heap analyses M Thakur, VK Nandivada Proceedings of the 28th International Conference on Compiler Construction …, 2019 | 16 | 2019 |
| Reusing just-in-time compiled code MK Mehta, S Krynski, HM Gualandi, M Thakur, J Vitek Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1176-1197, 2023 | 11 | 2023 |
| How (not) to write java pointer analyses after 2020 M Thakur Proceedings of the 2020 acm sigplan international symposium on new ideas …, 2020 | 5 | 2020 |
| Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes A Anand, S Adithya, S Rustagi, P Seth, V Sundaresan, D Maier, ... Proceedings of the ACM on Programming Languages 8 (PLDI), 296-319, 2024 | 4 | 2024 |
| Variational study of the impact of call graphs on precision of android taint analysis P Neupane, M Thakur Proceedings of the 16th Innovations in Software Engineering Conference, 1-5, 2023 | 4 | 2023 |
| Principles of staged static+ dynamic partial analysis A Anand, M Thakur International Static Analysis Symposium, 44-73, 2022 | 4 | 2022 |
| Can we run in parallel? Automating loop parallelization for TornadoVM R Sharma, S Kulshreshtha, M Thakur arXiv preprint arXiv:2205.03590, 2022 | 2 | 2022 |
| ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes R Sharma, S Kulshreshtha, M Thakur Proceedings of the 32nd Annual International Conference on Computer Science …, 2022 | 1 | 2022 |
| PYE: A Framework for Precise-Yet-E icient Just-In-Time Analyses for Java Programs M THAKUR, VK NANDIVADA | 1 | 2019 |
| VFlatten: Selective Value-Object Flattening using Hybrid Static and Dynamic Analysis AH Kumar, B Hirani, H Shao, T Ajila, V Sundaresan, D Maier, M Thakur | | 2026 |
| CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers A Anand, V Sundaresan, D Maier, M Thakur Proceedings of the ACM on Programming Languages 9 (OOPSLA2), 2759-2785, 2025 | | 2025 |
| Partial program analysis for staged compilation systems A Anand, M Thakur Formal Methods in System Design 65 (1), 195-230, 2025 | | 2025 |
| Split-scalarization of thread-local objects in optimized object code V Sundaresan, DJ Maier, KN Venkata, M THAKUR US Patent App. 18/464,636, 2025 | | 2025 |
| Debugging Dynamic Language Features in a Multi-tier Virtual Machine A Singh, A Sharma, MK Mehta, M Thakur Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual …, 2023 | | 2023 |
| Angiographic Prevalence And Pattern Of Myocardial Bridge In Patients Undergoing Coronary Angiography At Tertiary Care Centre In Rajasthan RP Sinha, M Thakur, H Wardhan | | 2023 |
| Precise and Efficient Analysis of Java Programs M THAKUR INDIAN INSTITUTE OF TECHNOLOGY MADRAS, 2019 | | 2019 |
| ValFinder: Finding Hidden Value-Type Classes AH Kumar, M Thakur | | |
| Improving Stack Allocation on Eclipse OpenJ9 using Precise Static Analysis TR Nikhil, S Rustagi, A Bharat, V Sundaresan, A Craik, D Maier, M Thakur, ... | | |
V Krishna NandivadaIIT MadrasVerified email at cse.iitm.ac.in
