Research interests

• Compilers and interpreters
• Theory of computation

Occupations

• Software Engineer Intern, Meta (USA), May 2024 - Aug 2024
• PhD in CS, Georgia Institute of Technology (USA), Aug 2020 - present
• Applied Scientist Intern, Amazon Web Services (USA), May 2022 - Aug 2022
• Research Assistant, Georgia Institute of Technology (USA), Feb 2020 - Aug 2020
• MS in CS, Georgia Institute of Technology (USA), Aug 2018 - Dec 2019
• BS in Math, Xi'an Jiaotong University (China), Aug 2014 - Jun 2018

Writings

• Shuo Ding, Qirun Zhang. Mutual Refinements of Context-Free Language Reachability. SAS 2023.
• Shuo Ding, Qirun Zhang. Witnessability of Undecidable Problems. POPL 2023.
• Yuxiang Lei, Yulei Sui, Shuo Ding, Qirun Zhang. Taming Transitive Redundancy for Context-Free Langauge Reachability. OOPSLA 2022.
• Yuanbo Li, Shuo Ding, Qirun Zhang, Davide Italiano. Debug Information Validation for Optimized Code. PLDI 2020.

Services

• Artifact Evaluation Committe Member, CAV 2024
• Artifact Evaluation Committe Member, SAS 2024

Last update: Jul 2024
The source of this page doesn't contain any trackers/counters.