1. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
2. Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
4. StaticPersist: Compiler Support for PMEM Programming;Lecture Notes in Computer Science;2023
5. How to Make Taint Analysis Precise;Intelligent Systems Reference Library;2023