1. Rapid: Region-Based Pointer Disambiguation;Proceedings of the ACM on Programming Languages;2023-10-16
2. The road not taken: exploring alias analysis based optimizations missed by the compiler;Proceedings of the ACM on Programming Languages;2022-10-31
3. VICO;Proceedings of the 36th ACM International Conference on Supercomputing;2022-06-28
4. Using OpenMP to Detect and Speculate Dynamic DOALL Loops;OpenMP: Portable Multi-Level Parallelism on Modern Systems;2020
5. Shape Analysis;Foundations and Trends® in Programming Languages;2020