1. Pointer Analysis for Programs on Hybrid DRAM-PM Memory Systems;Proceedings of the 52nd International Conference on Parallel Processing Workshops;2023-08-07
2. Ownership Guided C to Rust Translation;Computer Aided Verification;2023
3. Stable relations and abstract interpretation of higher-order programs;Proceedings of the ACM on Programming Languages;2020-08-02
4. DCNS;Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems;2019-04-04
5. Inferring frame conditions with static correlation analysis;Proceedings of the ACM on Programming Languages;2019-01-02