Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yuanbo Li
conf.researchr.org general profile
ICSE 2021 profile
PLDI 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
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
Share
x
Thu 9 Feb 00:28