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
Research interests:Program analysis, software testing

Contributions

ESEC/FSE 2022 Author of FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers within the Demonstrations-track