• Sign in
  • Sign up
conf.researchr.org / Haoxin Tu
  • ASE 2024 profile
  • ESEC/FSE 2022 profile
  • ICSE 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
Haoxin Tu

Registered user since Thu 20 Jan 2022

Name:Haoxin Tu
Bio:

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

Country:Singapore
Affiliation:Singapore Management University, Singapore
Personal website: https://haoxintu.github.io/
X (Twitter): https://x.com/tuhaoxin
GitHub: https://github.com/haoxintu
Research interests:Program analysis, software testing

Contributions

2025

ICSE

  • Committee Member in Shadow PC within the Shadow PC-track
  • Committee Member in Artifact Evaluation within the Artifact Evaluation-track

2024

ASE

  • Author of Concretely Mapped Symbolic Memory Locations for Memory Error Detection within the Journal-first Papers-track

ICSE

  • Author of Beyond a Joke: Dead Code Elimination Can Delete Live Code within the New Ideas and Emerging Results-track

KLEE

  • Presenter of Concretely Mapped Symbolic Memory Locations for Memory Error Detection within the KLEE 2024-track
  • Presenter of FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers within the KLEE 2024-track

2023

ICSE

  • Author of Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation within the DS - Doctoral Symposium-track

2022

ESEC/FSE

  • Author of FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers within the Demonstrations-track
Share
xThu 15 May 22:16
using conf.researchr.org (v1.69.0)
Support page
Sign Up