Qirun Zhang

Registered user since Thu 14 Aug 2014

Name:Qirun Zhang
Country:United States
Affiliation:Georgia Institute of Technology
Research interests:Program analysis

Contributions

POPL 2023 Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming
Witnessability of Undecidable Problems
Show activities from other conferences

Using general profile