Haoxin Tu (涂浩新)

Haoxin Tu (涂浩新)

Dual-degree PhD Candidate at DUT & SMU, interested in fuzzing, compiler testing, and program analysis

About Me

I am currently a Dual-degree PhD student in Software Engineering, supervised by Prof. He Jiang , at the School of Software in Dalian University of Technology (DUT), and in Computer Science, supervised by Prof. Lingxiao Jiang and Prof. Xuhua Ding , at the School of Computing and Information Systems in Singapore Management University (SMU).

"To err is human, but to really foul things up you need a computer."

- Paul R. Ehrlich

Software systems written by humans tend to be unreliable and insecure. My research interests focus on developing practical techniques and tools that can help improve the reliability and security of software systems (mainly system software such as compilers and Linux kernels). I am quite interested in developing advanced automated approaches, based on program analysis techniques such as fuzzing and symbolic execution, to resolve labor-intensive engineering tasks, e.g., automatic bug finding and exploit generation.

Recent News

  • [Sep 2023] A co-authored paper titled “KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis” was accepted to the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS 2023), where we explored a new flavor of symbolic execution for kernel analysis!
  • [Jul 2023] We released a new paper “LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler Bug Isolation”, where we investigated the code generation capability of LLMs (e.g., ChatGPT) for the compiler bug isolation task!
  • [Mar 2023] One paper titled “Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation” has been accepted to the Doctoral Symposium Track of IEEE/ACM International Conference on Software Engineering (ICSE 2023)! See you in Melbourne!
  • [Oct 2022] I received National Scholarship for Doctoral Students from DUT! Thanks to everyone who helped me along the way!
  • [Aug 2022] Our paper titled “FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers” has been accepted to the Tool Demonstrations Track of ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022)!
  • [Jul 2022] Our paper titled “RemGen: Remanufacturing A Random Program Generator for Compiler Testing” has been accepted in the 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022)! (Highlight: We have reported 56, of which 37+ have been fixed by developers, compiler optimization bugs in GCC and LLVM.)
  • [Apr 2022] Our paper titled “Detecting C++ Compiler Front-end Bugs via Grammar Mutation and Differential Testing” has been accepted in IEEE Transactions on Reliability! (Highlight: We have reported 136, of which 67+ have already been confirmed or fixed by developers, bugs in GCC and LLVM compiler front-ends.)
  • [Dec 2020] Our paper was rejected from ICSE 2021… Hmmm, keep smiling and move on!
  • [Mar 2020] Opened my academic homepage!

[Last updated on September 2023]