Publications

Conference Papers

• [IEEE S&P’26] Haoxin Tu, Seongmin Lee, Yuxian Li, Peng Chen, Lingxiao Jiang, and Marcel Böhme, “Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation”, to appear at IEEE Symposium on Security and Privacy (S&P 2026). [PDF] [Extended Appendix] [Code] (to be released soon).
• [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] [Code] [Slides]
• [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] [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] [Code] [Slides]

Journal Papers

• [TSE 2024] Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, and Lingxiao Jiang, “Isolating Compiler Bugs by Generating Effective Witness Programs with Large Language Models”, in IEEE Transactions on Software Engineering, 2024. [PDF] [Code]
• [TSE 2024] Haoxin Tu, Lingxiao Jiang, Jiaqi Hong, Xuhua Ding, and He Jiang, “Concretely Mapped Symbolic Memory Locations for Memory Error Detection”, in IEEE Transactions on Software Engineering, 2024. [PDF] [Code]
  • Also presented within Journal first Paper Track of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Sacramento, California, United States.
• [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]

Under Review

• [TOSEM’25] Haoxin Tu, Lingxiao Jiang, and Marcel Böhme, “Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search”, Under Major Revision, 2025. [PDF]
• [Conference’26] Haoxin Tu, Lingxiao Jiang, and Debin Gao, “When Dead Code Elimination Goes Wrong: Directed Test Case Generation for Detecting Erroneous Live Code Deletion”, Under Review, 2025.

Ph.D. Thesis

• Dissertation submitted to DUT (Defended on Dec 2023):
  • Research on Test Program Construction Approaches for Compiler Testing and Debugging
    • (in Chinese: 面向编译器测试与调试的程序构造方法研究) [Thesis] [Slides]
• Dissertation submitted to SMU (Defended on May 2025):
  • Boosting Symbolic Execution for Vulnerablity Detection [Thesis] [Slides]