Haoxin Tu

According to our database, Haoxin Tu authored at least 11 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models.

Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, Lingxiao Jiang

IEEE Trans. Software Eng., July, 2024

Concretely Mapped Symbolic Memory Locations for Memory Error Detection.

Haoxin Tu, Lingxiao Jiang, Jiaqi Hong, Xuhua Ding, He Jiang

IEEE Trans. Software Eng., July, 2024

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search.

Haoxin Tu, Lingxiao Jiang, Marcel Böhme

CoRR, 2024

Beyond a Joke: Dead Code Elimination Can Delete Live Code.

Haoxin Tu, Lingxiao Jiang, Debin Gao, He Jiang

Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results, 2024

2023

Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing.

Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang

IEEE Trans. Reliab., March, 2023

PRI: PCH-based privacy-preserving with reusability and interoperability for enhancing blockchain scalability.

Yuxian Li, Jian Weng, Wei Wu, Ming Li, Yingjiu Li, Haoxin Tu, Yongdong Wu, Robert H. Deng

J. Parallel Distributed Comput., 2023

LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler Bug Isolation.

Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, Lingxiao Jiang

CoRR, 2023

Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation.

Haoxin Tu

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.

Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers.

Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Remgen: Remanufacturing a Random Program Generator for Compiler Testing.

Haoxin Tu, He Jiang, Xiaochen Li, Zhilei Ren, Zhide Zhou, Lingxiao Jiang

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022