Zhengyao Lin

Welcome! I'm a PhD student in Computer Science at Carnegie Mellon University. I'm interested in automated and interactive ways to verify software.

Previously I got my undegraduate degree in Mathematics and Computer Science at the University of Illinois at Urbana-Champaign, where I had an incredible time working with professors Vikram Adve, Grigore Rosu, and Madhusudan Parthasarathy.

zhengyao

Contact

Email: zhengyal at cs.cmu.edu
[CV] [DBLP] [Google Scholar] [GitHub]

Publications

Synthesizing Axiomatizations using Logic Learning.
Paul Krogmeier*, Zhengyao Lin*, Adithya Murali*, and P. Madhusudan.
To appear in Proceedings of the ACM on Programming Languages (OOPSLA 2022), December 2022.
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.
Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, and Grigore Roşu.
Proceedings of the 33rd International Conference on Computer-Aided Verication (CAV 2021), July 2021. [pdf]
Language-Parametric Compiler Validation with Application to LLVM.
Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram Adve, and Grigore Roşu.
Proceedings of the 26th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2021), April 2021. [pdf]
Pecan: An Automated Theorem Prover (poster).
Reed Oei, Dun Ma, Zhengyao Lin, Yikai Teng, and Pavle Vuksanovic.
MAA Student Poster Session, Joint Mathematics Meetings (JMM 2021), Jan 2021. [pdf]

Teaching

I was a teaching assistant for the following courses:

CS 426 Compiler Construction at UIUC [FA21]
CS 473 Algorithms at UIUC [SP20]
CS 241 System Programming at UIUC [SP19 - SP20]