Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yide Du
conf.researchr.org general profile
ASE 2026 profile
FM 2026 profile
SPLASH/ISSTA 2026 profile
Not registered as user
Name:
Yide Du
Country:
China
Affiliation:
National University of Defense Technology
Contributions
2026
ASE
Author of IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++ within the Research Papers-track
SPLASH
Author of EUFⁿ: A Decidable Extension to the Theory of Equality with Uninterpreted Functions within the OOPSLA-track
FM
Author of EUF-based Solving Dyck-Reachability with Applications to Static Analysis within the TAP Track-track
Share
x
Wed 7 Oct 20:48