[J2]: FMSD 2024 Aditya Anand and Manas Thakur. “Partial Program Analysis for Staged Compilation Systems”. Formal Methods in System Design (FMSD) Springer, 2024.
[ URL ] [ Preprint ]

[J1]: PLDI 2024 Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur. “Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes”. In Proceedings of the ACM on Programming Languages (PLDI), Copenhagen, Denmark, June 24-28, 2024.
[ URL ] [ Preprint ] [ Slides ] [ Video ]

[C2]: SPLASH SRC 2022 Aditya Anand (with Manas Thakur). “A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis”. In Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion), Auckland, New Zealand, December 5th-10th, 2022..
[ URL ] [ Poster ] [ Preprint ]

[C1]: SAS 2022 Aditya Anand and Manas Thakur. “Principles of Staged Static+Dynamic Partial Analysis”.In Proceedings of the 29th Static Analysis Symposium (SAS), Auckland, New Zealand, December 5th-10th, 2022.
[ URL ] [ Slides ] [ Preprint ] “Selected for Special Issue of Formal Methods in System Design (FMSD).”

[W3]: Innovations In Compiler Technology 2024: Aditya Anand (with Manas Thakur). “Program Analysis for Managed Runtimes in Presence of Dynamic Features”. Innovations In Compiler Technology 2024 September 28th-29th, 2024.
[ Slides ]

[W2]: SERI 2024 Aditya Anand (with Manas Thakur). “Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes”. Software Engineering Research in India (SERI), Amrita Vishwa Vidyapeetham, Coimbatore, India, July 19th-20th, 2024.
[ Slides ]

[W1]: SERI 2023 Aditya Anand (with Manas Thakur). “Staged Static+Dynamic Partial Analysis for Java-like Languages”. Software Engineering Research in India (SERI), Goa University, India, June 2nd-3rd, 2023.
[ Slides ]