conf.researchr.org / Xuhua Ding
Not registered as user yet
Name:Xuhua Ding
Affiliation:Singapore Management University
Contributions
| ESEC/FSE 2022 | Author of FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers within the Demonstrations-track |