Follow
Aditya Anand
Title
Cited by
Cited by
Year
Principles of Staged Static+ Dynamic Partial Analysis
A Anand, M Thakur
International Static Analysis Symposium, 44-73, 2022
22022
A study of the impact of callbacks in staged static+ dynamic partial analysis
A Anand
Companion Proceedings of the 2022 ACM SIGPLAN International Conference on …, 2022
12022
Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
A Anand, S Adithya, S Rustagi, P Seth, V Sundaresan, D Maier, ...
Proceedings of the ACM on Programming Languages 8 (PLDI), 296-319, 2024
2024
Partial program analysis for staged compilation systems
A Anand, M Thakur
Formal Methods in System Design, 1-36, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–4