Publications

[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). [Pre-print]
[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]

[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]