Aditya Anand

Orcid: 0000-0003-3752-3908

Affiliations:

Indian Institute of Technology Bombay, Mumbay, India
Indian Institute of Technology Mandi, India (former)

According to our database¹, Aditya Anand authored at least 4 papers between 2022 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Partial program analysis for staged compilation systems.

[BibT_eX]

[DOI]

Aditya Anand

Manas Thakur

Formal Methods Syst. Des., April, 2025

2024

Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

2022

A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis.

[BibT_eX]

[DOI]

Aditya Anand

Proceedings of the Companion Proceedings of the 2022 ACM SIGPLAN International Conference on Systems, 2022

Principles of Staged Static+Dynamic Partial Analysis.

[BibT_eX]

[DOI]

Aditya Anand

Manas Thakur

Proceedings of the Static Analysis - 29th International Symposium, 2022

Aditya Anand

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...