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 | 16 | 2020 |
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 | 15 | 2019 |
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 | 14 | 2019 |
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 |
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 | 3 | 2023 |
Principles of Staged Static+ Dynamic Partial Analysis A Anand, M Thakur International Static Analysis Symposium, 44-73, 2022 | 2 | 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 |
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 | 1 | 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 | 1 | 2023 |
Partial program analysis for staged compilation systems A Anand, M Thakur Formal Methods in System Design, 1-36, 2024 | | 2024 |
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 |
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 | | 2022 |
Precise and Efficient Analysis of Java Programs M Thakur INDIAN INSTITUTE OF TECHNOLOGY MADRAS, 2019 | | 2019 |
PYE: A Framework for Precise-Yet-E icient Just-In-Time Analyses for Java Programs M THAKUR, VK NANDIVADA | | 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, ... | | |