Projects per year
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/26
Project: Research project
-
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 Access4 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 Access5 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
Open Access3 Scopus citations -
Verifying verified code
Priya, S., Zhou, X., Su, Y., Vizel, Y., Bao, Y. & Gurfinkel, A., Sep 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 335-346 12 p.Research output: Contribution to journal › Article › peer-review
3 Scopus citations -
Bounded Model Checking for LLVM
Priya, S., Su, Y., Bao, Y., Zhou, X., Vizel, Y. & Gurfinkel, A., 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 214-224 11 p. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
7 Scopus citations