Hi! I'm Yi, a first-year Ph.D. student in Computer Science at the University of Maryland, College Park . I am a member of PLUM@UMD and currently advised by Prof. Milijana Surbatovich . I am broadly interested in the theory and practice of programming languages, especially type systems, logics, formal methods, and their application in various computing systems and architectures. Previously, I received my M.S. in Electrical and Computer Engineering from Carnegie Mellon University , where I worked at CyLab with Prof. Bryan Parno and Prof. Limin Jia on Rust and formal verification.
Recent Publications
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
USENIX Security 2025Formal VerificationRustBinary FormatParserSerializer
@inproceedings{vest,
title = {Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust},
author = {Cai, Yi and Singh, Pratap and Lin, Zhengyao and Bosamiya, Jay and Gancher, Joshua and Surbatovich, Milijana and Parno, Bryan},
booktitle = {Proceedings of the USENIX Security Symposium},
month = {August},
year = {2025}
}
