Publications

Conference Paper

• [ICSE 2024] Haoxin Tu, Lingxiao Jiang, Debin Gao, and He Jiang, “Beyond a Joke: Dead Code Elimination Can Delete Live Code”, in Proceedings of 46th IEEE ACM International Conference on Software Engineering (ICSE-NIER 2024). [PDF] [Source Code]
• [CCS 2023] Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, and Lingxiao Jiang, “KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis”, in Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS 2023). [PDF] [Source Code]
• [ICSE 2023] Haoxin Tu, “Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation”, in the Doctoral Symposium Track of IEEE/ACM International Conference on Software Engineering (ICSE 2023). [PDF] [Poster]
• [ESEC/FSE 2022] Haoxin Tu, Lingxiao Jiang, Xuhua Ding, and He Jiang, “FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers”, in the Tool Demonstrations Track of ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022). [PDF] [Source Code] [Video Demo] [Slides]
• [ISSRE 2022] Haoxin Tu, He Jiang, Xiaochen Li, Zhilei Ren, Zhide Zhou, and Lingxiao Jiang, “RemGen: Remanufacturing A Random Program Generator for Compiler Testing”, in the 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022). [PDF] [Source Code] [Slides]

Journal Paper

• [TR 2022] Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, and Lingxiao Jiang, “Detecting C++ Compiler Front-end Bugs via Grammar Mutation and Differential Testing”, in IEEE Transactions on Reliability, 2022. [IEEE Early Access] [Authors’ Draft] [Bug Reports]
• [2023] Haoxin Tu, Lingxiao Jiang, Jiaqi Hong, Xuhua Ding, and He Jiang, “Concretely Mapped Symbolic Memory Locations for Memory Error Detection”, Major Revision on IEEE TSE. To appear. [Source Code]
• [2023] Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, and Lingxiao Jiang, “LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler Bug Isolation”, Major Revision on IEEE TSE. [arXiv] [Source Code]

Ph.D. Thesis

• Dissertation submitted to DUT:
  • Research on Test Program Construction Approaches for Compiler Testing and Debugging
    • (in Chinese: 面向编译器测试与调试的程序构造方法研究) [Thesis] [Slides]
• Dissertation submitted to SMU:
  • Boosting Symbolic Execution for Software Reliability and Security (Proposed) [To appear]