Yuanbo Li -

Not registered as user yet

Name:Yuanbo Li

Country:United States

Affiliation:Georgia Institute of Technology

Contributions

POPL 2023	Author of Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming within the POPL-track
POPL 2022	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track Author of Efficient Algorithms for Dynamic Bidirected Dyck-Reachability within the POPL-track
ICSE 2021	Committee Member in Additional Reviewers within the Technical Track-track
POPL 2021	Author of On the Complexity of Bidirected Interleaved Dyck-Reachability within the POPL-track
PLDI 2020	Author of Debug Information Validation for Optimized Code within the PLDI Research Papers-track Author of Fast Graph Simplification for Interleaved Dyck-Reachability within the PLDI Research Papers-track