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

A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis. - Aditya Anand 002 (SPLASH Companion, 2022)

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)