conf.researchr.org / Shuo Ding

Registered user since Sat 12 Nov 2022

Name:Shuo Ding
Country:United States
Affiliation:Georgia Institute of Technology
Research interests:Program Analysis, Theory of Computation

Contributions

POPL 2023 Author of Witnessability of Undecidable Problems within the POPL-track
SPLASH 2022 Author of Taming Transitive Redundancy for Context-Free Language Reachability within the V-OOPSLA-track
ICSE 2021 Committee Member in Additional Reviewers within the Technical Track-track
PLDI 2020 Author of Debug Information Validation for Optimized Code within the PLDI Research Papers-track