Aditya Anand

Orcid: 0000-0003-3752-3908

Affiliations:
  • Indian Institute of Technology Bombay, Mumbai, India
  • Indian Institute of Technology Mandi, India (former)


According to our database1, Aditya Anand authored at least 5 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Partial program analysis for staged compilation systems.
Formal Methods Syst. Des., April, 2025

CoSSJIT: Combining Static Analysis and Speculation in JIT Compilers.
Proc. ACM Program. Lang., 2025

2024
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes.
Proc. ACM Program. Lang., 2024

2022
A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis.
Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Principles of Staged Static+Dynamic Partial Analysis.
Proceedings of the Static Analysis - 29th International Symposium, 2022


  Loading...