Qirun Zhang

Registered user since Thu 14 Aug 2014

Name:Qirun Zhang
Bio:

Qirun Zhang is an assistant professor in the School of Computer Science at Georgia Institute of Technology. His general research interests are in programming languages and software engineering, focusing on developing new static program-analysis frameworks to improve software reliability. He received his Ph.D. in Computer Science from The Chinese University of Hong Kong in 2013. He received a PLDI 2020 Distinguished Paper Award and an Amazon Research Award in Automated Reasoning.

Affiliation:Georgia Institute of Technology, USA
Research interests:Program analysis

Contributions

POPL 2022 Program Analysis via Graph Reachability: Past, Present, and Future [Part B]
Session Chair of Algorithmic Verification 1 (part of POPL)
Session Chair of Algorithmic Verification 2 (part of POPL)
Committee Member in Program Committee within the POPL-track
Efficient Algorithms for Dynamic Bidirected Dyck-Reachability
Show activities from other conferences

POPL 2022-profile
View general profile