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
Name:
Yuanbo Li
Country:
United States
Affiliation:
Georgia Institute of Technology
Contributions
2023
POPL
Author of Single-Source-Single-Target Interleaved-Dyck Reachability via Integer Linear Programming within the POPL-track
2022
POPL
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Author of Efficient Algorithms for Dynamic Bidirected Dyck-Reachability within the POPL-track
2021
ICSE
Committee Member in Additional Reviewers within the Technical Track-track
POPL
Author of On the Complexity of Bidirected Interleaved Dyck-Reachability within the POPL-track
2020
PLDI
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
Sun 9 Nov 16:58