conf.researchr.org / Yuyan Bao
Registered user since Fri 16 Apr 2021
Name:Yuyan Bao
Country:United States
Affiliation:Augusta University
Personal website: https://yuyanbao.github.io/
Research interests:Specification and Verification Languages, Programming Languages, Software Security
Contributions
2026
SPLASH
- Author of When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking within the OOPSLA-track
- Committee Member in OOPSLA Review Committee within the OOPSLA-track
- Author of Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness within the OOPSLA-track
PLDI
- Author of Typestate via Revocable Capabilities within the PLDI Research Papers-track
- Author of [SIGPLAN OOPSLA’25] Complete the Cycle: Reachability Types with Expressive Cyclic References within the PLDI Research Papers-track
- Author of Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types within the PLDI Research Papers-track