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