Aditya Anand

About

Hello! I am a PhD Research Scholar in Department of Computer Science and Engineering at IIT Bombay working with Dr. Manas Thakur. I work in the area of compiler optimizations and program analysis. Currently I am working to design a precise and efficient static+dynamic program analysis technique for Java’s JIT compiler.

Employment

Employment history is unavailable.

Education

• Indian Institute of Technology Bombay PhD
  2023 - Present
• Indian Institute of Technology Mandi PhD
  2020 - 2023
• Siddaganga Institute of Technology BE
  2015 - 2019

Projects & Funding

Projects & funding information is unavailable.

Publications (5)

• CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3763149
  +Save
• Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3656389
  +Save
• Partial program analysis for staged compilation systems
  Formal Methods in System Design 2024 DOI: 10.1007/s10703-024-00458-x
  +Save
• A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis
  Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity 2022 DOI: 10.1145/3563768.3563957
  +Save
• Principles of Staged Static+Dynamic Partial Analysis
  Static Analysis 2022 DOI: 10.1007/978-3-031-22308-2_4
  +Save