( en | de | ru )

 

Disambiguation of "Bao, Yuyan"

Author of the publication

copydeleteadd this publication to your clipboard
Bounded Model Checking for LLVM.

, , , , , and . FMCAD, page 214-224. IEEE, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jin Bao

Wenwen Bao

Mohammed Subhiy Husein al- Baouni

Huixin Bao

Feng Bao

 

Other publications of authors with the same name

Unifying separation logic and region logic to allow interoperability., , and . Formal Aspects Comput., 30 (3-4): 381-441 (2018)Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs., , , , and . Proc. ACM Program. Lang., 8 (POPL): 393-424 (January 2024)A Methodology for Invariants, Framing, and Subtyping in JML., and . Principled Software Development, page 19-39. Springer, (2018)HACCLE: An Ecosystem for Building Secure Multi-Party Computations., , , , , , , , , and 9 other author(s). CoRR, (2020)Bounded Model Checking for LLVM., , , , , and . FMCAD, page 214-224. IEEE, (2022)Conditional effects in fine-grained region logic., , and . FTfJP@ECOOP, page 5:1-5:6. ACM, (2015)Reachability types: tracking aliasing and separation in higher-order functional programs., , , , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-32 (2021)Modeling Reachability Types with Logical Relations., , , and . CoRR, (2023)Cache Refinement Type for Side-Channel Detection of Cryptographic Software., , , , and . CCS, page 1583-1597. ACM, (2022)Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation., , , , , and . USENIX Security Symposium, page 657-674. USENIX Association, (2019)