[J3]: OOPSLA 2025 Aditya Anand, Vijay Sundaresan, Daryl Maier and Manas Thakur. “CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers”. (To appear) In Proceedings of the ACM on Programming Languages (OOPSLA), Singapore, October 16-18, 2025.
[ URL ] [ Preprint ]

[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 ]

[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 ] [ Video ] “Selected for Special Issue of Formal Methods in System Design (FMSD).”

[P3]: OOPSLA 2025 Aditya Anand et. al. “CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers (To appear)”. Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) co-located with SPLASH 2025, Singapore, October 16-18, 2025..

[P2]: ACM ARCS Aditya Anand et. al. “Optimistic Stack Allocation and Dynamic Heapification for Manged Runtimes”. Academic Research and Careers for Students (ARCS), ACM India, Coimbatore, India Feburary 27th-28th, 2025..
[ Poster ]

[P1]: 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 ]

[W4]: Innovations In Compiler Technology 2025: Aditya Anand (with Manas Thakur). “Combining Static Analysis and Speculations in JIT Compilers”. Innovations In Compiler Technology 2025 September 27th-28th, 2025.
[ Slides ]

[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 ] [ Video ]

[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 ]