Yuyan Bao

Orcid: 0000-0002-3832-3134

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.
Proc. ACM Program. Lang., January, 2024

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

2023
Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies.
Proc. ACM Program. Lang., October, 2023

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

Modeling Reachability Types with Logical Relations.
CoRR, 2023

2022
Verifying verified code.
Innov. Syst. Softw. Eng., 2022

SoK: Demystifying Binary Lifters Through the Lens of Downstream Applications.
Proceedings of the 43rd IEEE Symposium on Security and Privacy, 2022

Bounded Model Checking for LLVM.
Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Cache Refinement Type for Side-Channel Detection of Cryptographic Software.
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.
Proc. ACM Program. Lang., 2021


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

2019
Identifying Cache-Based Side Channels through Secret-Augmented Abstract Interpretation.
Proceedings of the 28th USENIX Security Symposium, 2019

2018
Unifying separation logic and region logic to allow interoperability.
Formal Aspects Comput., 2018

A Methodology for Invariants, Framing, and Subtyping in JML.
Proceedings of the Principled Software Development, 2018

2015
Conditional effects in fine-grained region logic.
Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015


  Loading...