Yi Zhou

11 papers A* 3A 1B 2Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A conf
Cazamariposas: Automated Instability Debugging in SMT-Based Program Verification.
CADE
Yi Zhou, Amar Shah, Zhengyao Lin, Marijn Heule, Bryan Parno
2024 — conf
A Framework for Debugging Automated Program Verification Proofs via Proof Actions.
CAV (1)
Chanhee Cho, Yi Zhou, Jay Bosamiya, Bryan Parno
2024 B conf
Context Pruning for More Robust SMT-based Program Verification.
FMCAD
Yi Zhou, Jay Bosamiya, Jessica Li, Marijn J. H. Heule, Bryan Parno
2023 A* conf
Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares.
CCS
Yi Zhou, Sydney Gibson, Sarah Cai, Menucha Winchell, Bryan Parno
2023 B conf
Mariposa: Measuring SMT Instability in Automated Program Verification.
FMCAD
Yi Zhou, Jay Bosamiya, Yoshiki Takashima, Jessica Li, Marijn Heule, Bryan Parno
2023 A* conf
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems.
OSDI
Travis Hance, Yi Zhou, Andrea Lattuada, Reto Achermann, Alex Conway, Ryan Stutsman, Gerd Zellweger, Chris Hawblitzel, Jon Howell, Bryan Parno
2023 J jnl
Verus: Verifying Rust Programs using Linear Ghost Types (extended version).
CoRR
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
2023 J jnl
Verus: Verifying Rust Programs using Linear Ghost Types.
Proc. ACM Program. Lang.
Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, Chris Hawblitzel
2022 J jnl
Linear types for large-scale systems verification.
Proc. ACM Program. Lang.
Jialin Li, Andrea Lattuada, Yi Zhou, Jonathan Cameron, Jon Howell, Bryan Parno, Chris Hawblitzel
2021 A* conf
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
SP
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou
2020 J jnl
A Security Model and Fully Verified Implementation for the IETF QUIC Record Layer.
IACR Cryptol. ePrint Arch.
Antoine Delignat-Lavaud, Cédric Fournet, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Jay Bosamiya, Joseph Lallemand, Itsaka Rakotonirina, Yi Zhou