Compare less, defer more: scaling value-contexts based whole-program heap analyses. - Manas Thakur; V. Krishna Nandivada (CC, 2019)

PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs. - Manas Thakur; V. Krishna Nandivada (ACM Trans. Program. Lang. Syst., 2019)

Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity. - Manas Thakur; V. Krishna Nandivada (CC, 2020)

How (not) to write Java pointer analyses after 2020. - Manas Thakur (Onward!, 2020)

ZS3: Marrying Static Analyzers and Constraint Solvers to Parallelize Loops in Managed Runtimes. - Rishi Sharma 001; Shreyansh Kulshreshtha; Manas Thakur (CASCON, 2022)

Principles of Staged Static+Dynamic Partial Analysis. - Aditya Anand 002; Manas Thakur (SAS, 2022)

Can We Run in Parallel? Automating Loop Parallelization for TornadoVM. - Rishi Sharma 001; Shreyansh Kulshreshtha; Manas Thakur (CoRR, 2022)

Variational Study of the Impact of Call Graphs on Precision of Android Taint Analysis. - Prakash Neupane; Manas Thakur (ISEC, 2023)

Debugging Dynamic Language Features in a Multi-tier Virtual Machine. - Anmolpreet Singh; Aayush Sharma; Meetesh Kalpesh Mehta; Manas Thakur (VMIL@SPLASH, 2023)

Artifact of "Reusing Just-in-Time Compiled Code". - Meetesh Kalpesh Mehta; Sebastián Krynski; Hugo Musso Gualandi; Manas Thakur; Jan Vitek (Zenodo, 2023)

Reusing Just-in-Time Compiled Code. - Meetesh Kalpesh Mehta; Sebastián Krynski; Hugo Musso Gualandi; Manas Thakur; Jan Vitek (Proc. ACM Program. Lang., 2023)

Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes. - Aditya Anand 002; Solai Adithya; Swapnil Rustagi; Priyam Seth; Vijay Sundaresan; Daryl Maier; V. Krishna Nandivada; Manas Thakur (Proc. ACM Program. Lang., 2024)

Partial program analysis for staged compilation systems. - Aditya Anand 002; Manas Thakur (Formal Methods Syst. Des., 2025)