Follow
Manas Thakur
Manas Thakur
Assistant Professor, IIT Bombay
Verified email at cse.iitb.ac.in - Homepage
Title
Cited by
Cited by
Year
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
162020
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
152019
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
142019
How (not) to write java pointer analyses after 2020
M Thakur
Proceedings of the 2020 acm sigplan international symposium on new ideas …, 2020
52020
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
32023
Principles of Staged Static+ Dynamic Partial Analysis
A Anand, M Thakur
International Static Analysis Symposium, 44-73, 2022
22022
Can we run in parallel? Automating loop parallelization for TornadoVM
R Sharma, S Kulshreshtha, M Thakur
arXiv preprint arXiv:2205.03590, 2022
22022
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
12024
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
12023
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, ...
The system can't perform the operation now. Try again later.
Articles 1–16