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 Witnessability of Undecidable Problems
Show activities from other conferences

Using general profile