ESEC/FSE 2022 (series) / 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/
Twitter:https://twitter.com/tuhaoxin
GitHub:https://github.com/haoxintu
Research interests:Program analysis, software testing
Contributions
ESEC/FSE 2022 | FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ESEC/FSE 2022-profile
View general profile
View general profile