Fingerprint
Dive into the research topics where Yuyan Bao is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
-
CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation Overhead in Automatic Deductive Verification
Bao, Y. (PI)
5/1/24 → 4/30/27
Project: Research project
-
Complete the Cycle: Reachability Types with Expressive Cyclic References
Deng, H., He, S., Jia, S., Bao, Y. & Rompf, T., Oct 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 3398-3425 28 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Link opens in a new tab Scopus citations -
Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational Theory
Bao, Y., Jia, S., Wei, G., Bračevac, O. & Rompf, T., Oct 9 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA2, p. 1837-1864 28 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Link opens in a new tab Scopus citations -
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
Wei, G., Bračevac, O., Jia, S., Bao, Y. & Rompf, T., Jan 5 2024, In: Proceedings of the ACM on Programming Languages. 8, 14.Research output: Contribution to journal › Article › peer-review
Open Access12 Link opens in a new tab Scopus citations -
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Bračevac, O., Wei, G., Jia, S., Abeysinghe, S., Jiang, Y., Bao, Y. & Rompf, T., Oct 16 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 236.Research output: Contribution to journal › Article › peer-review
Open Access9 Link opens in a new tab Scopus citations -
Cache Refinement Type for Side-Channel Detection of Cryptographic Software
Jiang, K., Bao, Y., Wang, S., Liu, Z. & Zhang, T., Nov 7 2022, CCS 2022 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1583-1597 15 p. (Proceedings of the ACM Conference on Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7 Link opens in a new tab Scopus citations