Manas Thakur

14 papers A 1B 3Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 A conf
VFlatten: Selective Value-Object Flattening using Hybrid Static and Dynamic Analysis.
CGO
Arjun H. Kumar, Bhavya Hirani, Hang Shao, Tobi Ajila, Vijay Sundaresan, Daryl Maier, Manas Thakur
2025 J jnl
CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers.
Proc. ACM Program. Lang.
Aditya Anand, Vijay Sundaresan, Daryl Maier, Manas Thakur
2025 J jnl
Partial program analysis for staged compilation systems.
Formal Methods Syst. Des.
Aditya Anand, Manas Thakur
2024 J jnl
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes.
Proc. ACM Program. Lang.
Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, Manas Thakur
2023 — conf
Debugging Dynamic Language Features in a Multi-tier Virtual Machine.
VMIL@SPLASH
Anmolpreet Singh, Aayush Sharma, Meetesh Kalpesh Mehta, Manas Thakur
2023 J jnl
Reusing Just-in-Time Compiled Code.
Proc. ACM Program. Lang.
Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, Jan Vitek
2023 — conf
Variational Study of the Impact of Call Graphs on Precision of Android Taint Analysis.
ISEC
Prakash Neupane, Manas Thakur
2022 J jnl
Can We Run in Parallel? Automating Loop Parallelization for TornadoVM.
CoRR
Rishi Sharma, Shreyansh Kulshreshtha, Manas Thakur
2022 B conf
Principles of Staged Static+Dynamic Partial Analysis.
SAS
Aditya Anand, Manas Thakur
2022 — conf
ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes.
CASCON
Rishi Sharma, Shreyansh Kulshreshtha, Manas Thakur
2020 — conf
How (not) to write Java pointer analyses after 2020.
Onward!
Manas Thakur
2020 B conf
Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity.
CC
Manas Thakur, V. Krishna Nandivada
2019 B conf
Compare less, defer more: scaling value-contexts based whole-program heap analyses.
CC
Manas Thakur, V. Krishna Nandivada
2019 J jnl
PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs.
ACM Trans. Program. Lang. Syst.
Manas Thakur, V. Krishna Nandivada