Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xuhua Ding
conf.researchr.org general profile
ASE 2024 profile
ESEC/FSE 2022 profile
ICSE 2024 profile
Not registered as user yet
Name:
Xuhua Ding
Affiliation:
Singapore Management University
Contributions
2024
ASE
Author of Concretely Mapped Symbolic Memory Locations for Memory Error Detection within the Journal-first Papers-track
KLEE
Author of FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-safe Pointers within the KLEE 2024-track
Author of Concretely Mapped Symbolic Memory Locations for Memory Error Detection within the KLEE 2024-track
2022
ESEC/FSE
Author of FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers within the Demonstrations-track
Share
x
Wed 13 Nov 08:06