Statistics
Publications
2
Citations
39
H-Index
2
Active since
2020
Affiliations
Georgia Institute of Technology(Current)
Shuo Ding is an author at Georgia Institute of Technology specializing in computer engineering, formal methods, and formal verification.
Publications per year
2020–2022
2
2
Debug information validation for optimized code
Yuanbo Li, Shuo Ding, Qirun Zhang et al. · 2020 · 25 citations
1–2 of 2