Yuyan Bao

According to our database, Yuyan Bao authored at least 16 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.

Guannan Wei, Oliver Bracevac, Songlin Jia, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., January, 2024

Escape with Your Self: Expressive Reachability Types with Sound and Decidable Bidirectional Type Checking.

Songlin Jia, Guannan Wei, Siyuan He, Yueyang Tang, Yuyan Bao, Tiark Rompf

CoRR, 2024

2023

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

Proc. ACM Program. Lang., October, 2023

Graph IRs for Impure Higher-Order Languages (Technical Report).

Oliver Bracevac, Guannan Wei, Songlin Jia, Supun Abeysinghe, Yuxuan Jiang, Yuyan Bao, Tiark Rompf

CoRR, 2023

Modeling Reachability Types with Logical Relations.

Yuyan Bao, Guannan Wei, Oliver Bracevac, Tiark Rompf

CoRR, 2023

2022

Verifying verified code.

Siddharth Priya, Xiang Zhou, Yusen Su, Yakir Vizel, Yuyan Bao, Arie Gurfinkel

Innov. Syst. Softw. Eng., 2022

SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications.

Zhibo Liu, Yuanyuan Yuan, Shuai Wang, Yuyan Bao

Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Bounded Model Checking for LLVM.

Siddharth Priya, Yusen Su, Yuyan Bao, Xiang Zhou, Yakir Vizel, Arie Gurfinkel

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Cache Refinement Type for Side-Channel Detection of Cryptographic Software.

Ke Jiang, Yuyan Bao, Shuai Wang, Zhibo Liu, Tianwei Zhang

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

2021

Reachability types: tracking aliasing and separation in higher-order functional programs.

Yuyan Bao, Guannan Wei, Oliver Bracevac, Yuxuan Jiang, Qiyang He, Tiark Rompf

Proc. ACM Program. Lang., 2021

HACCLE: metaprogramming for secure multi-party computation.

Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Nouraldin Jaber, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

2020

HACCLE: An Ecosystem for Building Secure Multi-Party Computations.

Yuyan Bao, Kirshanthan Sundararajah, Raghav Malik, Qianchuan Ye, Christopher Wagner, Fei Wang, Mohammad Hassan Ameri, Donghang Lu, Alexander Seto, Benjamin Delaware, Roopsha Samanta, Aniket Kate, Christina Garman, Jeremiah Blocki, Pierre-David Letourneau, Benoît Meister, Jonathan Springer, Tiark Rompf, Milind Kulkarni

CoRR, 2020

2019

Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation.

Shuai Wang, Yuyan Bao, Xiao Liu, Pei Wang, Danfeng Zhang, Dinghao Wu

Proceedings of the 28th USENIX Security Symposium, 2019

2018

Unifying separation logic and region logic to allow interoperability.

Yuyan Bao, Gary T. Leavens, Gidon Ernst

Formal Aspects Comput., 2018

A Methodology for Invariants, Framing, and Subtyping in JML.

Yuyan Bao, Gary T. Leavens

Proceedings of the Principled Software Development, 2018

2015

Conditional effects in fine-grained region logic.

Yuyan Bao, Gary T. Leavens, Gidon Ernst

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015