Haoxin Tu

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 10

Top Topics

Test Generation

Static Analysis

Top Venues

IEEE Trans. Software Eng.

IEEE Trans. Reliab.

Publications

Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, Lingxiao Jiang
Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models. IEEE Trans. Software Eng. 50 (7) (2024)
Haoxin Tu, Lingxiao Jiang, Jiaqi Hong, Xuhua Ding, He Jiang
Concretely Mapped Symbolic Memory Locations for Memory Error Detection. IEEE Trans. Software Eng. 50 (7) (2024)
Haoxin Tu, Lingxiao Jiang, Debin Gao, He Jiang
Beyond a Joke: Dead Code Elimination Can Delete Live Code. NIER@ICSE (2024)
Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, Lingxiao Jiang
LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler Bug Isolation. CoRR (2023)
Haoxin Tu
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation. ICSE Companion (2023)
Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang
KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis. CCS (2023)
Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang
Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing. IEEE Trans. Reliab. 72 (1) (2023)
Yuxian Li, Jian Weng, Wei Wu, Ming Li, Yingjiu Li, Haoxin Tu, Yongdong Wu, Robert H. Deng
PRI: PCH-based privacy-preserving with reusability and interoperability for enhancing blockchain scalability. J. Parallel Distributed Comput. 180 (2023)
Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang
FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers. ESEC/SIGSOFT FSE (2022)
Haoxin Tu, He Jiang, Xiaochen Li, Zhilei Ren, Zhide Zhou, Lingxiao Jiang
Remgen: Remanufacturing a Random Program Generator for Compiler Testing. ISSRE (2022)