Yi Zhou

According to our database, Yi Zhou authored at least 11 papers between 2021 and 2025.

Collaborative distances:

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

2025

Instability Track for SMT-COMP.

Amar Shah, Yi Zhou, Marijn Heule, Bryan Parno

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification.

Yi Zhou, Amar Shah, Zhengyao Lin, Marijn Heule, Bryan Parno

Proceedings of the Automated Deduction - CADE 30, 2025

2024

Context Pruning for More Robust SMT-based Program Verification.

Yi Zhou, Jay Bosamiya, Jessica Li, Marijn J. H. Heule, Bryan Parno

Proceedings of the Formal Methods in Computer-Aided Design, 2024

A Framework for Debugging Automated Program Verification Proofs via Proof Actions.

Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Verus: Verifying Rust Programs using Linear Ghost Types.

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

Proc. ACM Program. Lang., April, 2023

Verus: Verifying Rust Programs using Linear Ghost Types (extended version).

Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel

CoRR, 2023

Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.

Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

Mariposa: Measuring SMT Instability in Automated Program Verification.

Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno

Proceedings of the Formal Methods in Computer-Aided Design, 2023

Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares.

Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno

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

2022

Linear types for large-scale systems verification.

Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel

Proc. ACM Program. Lang., 2022

2021

A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.

Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021