Get started
Author

Shuo Ding

Observed name: Ding, Shuo
ORCID: 0000-0003-0843-0729
Observed ORCID: 0000-0003-0843-0729
OpenAlex ID: A5084788593
Debug information validation for optimized code
2020 · Yuanbo Li, Shuo Ding, et al. · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation · 30
Taming transitive redundancy for context-free language reachability
2022 · Yuxiang Lei, Yulei Sui, et al. · Proceedings of the ACM on Programming Languages · 16
PDF
Automatically Reducing Privilege for Access Control Policies
2024 · Loris D’Antoni, Shuo Ding, et al. · Proceedings of the ACM on Programming Languages · 13
Mutual Refinements of Context-Free Language Reachability
2023 · Shuo Ding, Qirun Zhang · Lecture notes in computer science · 12
Fast Constraint Synthesis for C++ Function Templates
2025 · Shuo Ding, Qirun Zhang · Proceedings of the ACM on Programming Languages
PDF
Retrieving Unknown SMT Formulas via Structural Mutations
2025 · Shuo Ding, Qirun Zhang · Lecture notes in computer science
The Normalization Barrier Revisited
2024 · Shuo Ding, Qirun Zhang
Sandstone Layer Connectivity and Its Control on Coalbed Methane (CBM) Accumulation Based on Sequence Stratigraphic Analysis: A Case Study of the Lower Shihezi Formation in Qinan Coal Mine, Xuzhou–Suzhou Region, China
2024 · Kebin Wei, Zhenghui Qu, et al. · Energies
PDF
Witnessability of Undecidable Problems
2023 · Shuo Ding, Qirun Zhang · Proceedings of the ACM on Programming Languages
PDF
Works count: 11
Citation count: 74
H-index: 4
I10-index: 4
Year
Topic
Type