Haoxin Tu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation. | Haoxin Tu, Seongmin Lee, Yuxian Li, Peng Chen, Lingxiao Jiang, Marcel Bhme |
| 2024 | ICSE | Beyond a Joke: Dead Code Elimination Can Delete Live Code. | Haoxin Tu, Lingxiao Jiang, Debin Gao, He Jiang |
| 2023 | CCS | KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis. | Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang |
| 2023 | ICSE | Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation. | Haoxin Tu |
| 2022 | ISSRE | Remgen: Remanufacturing a Random Program Generator for Compiler Testing. | Haoxin Tu, He Jiang, Xiaochen Li, Zhilei Ren, Zhide Zhou, Lingxiao Jiang |