Shuo Ding -

Registered user since Sat 12 Nov 2022

Name:Shuo Ding

Country:China

GitHub: https://github.com/sdingcn

Research interests:Compilers and Interpreters, Computability and Complexity

Contributions

2025

SPLASH

Author of Fast Constraint Synthesis for C++ Function Templates within the OOPSLA-track

2024

JENSFEST

Author of The Normalization Barrier Revisited within the JENSFEST 2024-track

SPLASH

Author of Automatically Reducing Privilege for Access Control Policies within the OOPSLA 2024-track

Vivek Sarkar Festschrift Symposium

Author of Retrieving Unknown SMT Formulas via Structural Mutations within the VIVEKFEST 2024-track

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track

2023

Static Analysis Symposium

Author of Mutual Refinements of Context-Free Language Reachability within the SAS 2023-track

POPL

Author of Witnessability of Undecidable Problems within the POPL-track

2022

SPLASH

Author of Taming Transitive Redundancy for Context-Free Language Reachability within the V-OOPSLA-track

2021

ICSE

Committee Member in Additional Reviewers within the Technical Track-track

2020

PLDI

Author of Debug Information Validation for Optimized Code within the PLDI Research Papers-track