Haoxin Tu

According to our database, Haoxin Tu authored at least 7 papers between 2022 and 2023.

Collaborative distances:

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

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