Welcome! I'm a 4th-year undergraduate student studying Mathematics and Computer Science at the University of Illinois at Urbana-Champaign. I'm broadly interested in software verification, synthesis, and automated theorem proving.
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]
Making Formal Verification Trustworthy via Proof Generation.
Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, and Grigore Roşu. [preprint]
A Translation Validation Algorithm for LLVM Register Allocators.
Zhengyao Lin, Theodoros Kasampalis, and Vikram Adve. [preprint]
An Interactive Theorem Prover for Matching Logic with Proof Object Generation.
Zhengyao Lin, Xiaohong Chen, and Grigore Roşu. [preprint]
I am/was a course assistant at UIUC for the following courses: