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

WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs
Zhengyao Lin, Joshua Gancher, Bryan Parno
In submission

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