Zhengyao Lin
Welcome! I'm a PhD student in Computer Science at Carnegie Mellon University advised by Professor Bryan Parno. I'm interested in formal methods. Previously I got my undergraduate degree in Mathematics and Computer Science from the University of Illinois at Urbana-Champaign.
Email: zhengyal at cmu.edu
[CV]
[dblp]
[GitHub]
Publications
FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions
Zhengyao Lin, Joshua Gancher, Bryan Parno
OOPSLA 2024
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Roşu
OOPSLA 2023
Synthesizing Axiomatizations using Logic Learning
Paul Krogmeier*, Zhengyao Lin*, Adithya Murali*, P. Madhusudan
OOPSLA 2022
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation
Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Roşu
CAV 2021
Language-Parametric Compiler Validation with Application to LLVM
Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram Adve, Grigore Roşu
ASPLOS 2021