1. IFDS-based Context Debloating for Object-Sensitive Pointer Analysis;ACM Transactions on Software Engineering and Methodology;2023-05-27
2. Context Debloating for Object-Sensitive Pointer Analysis;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11
3. Endicheck: Dynamic Analysis for Detecting Endianness Bugs;Tools and Algorithms for the Construction and Analysis of Systems;2020
4. Graspan;ACM SIGPLAN Notices;2017-05-12
5. Graspan;ACM SIGARCH Computer Architecture News;2017-05-11