Zhengyao Lin

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 5

Top Topics

Programs Written

Top Venues

Proc. ACM Program. Lang.

Publications

Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu
Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Zhengyao Lin, Joshua Gancher, Bryan Parno
WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs. CoRR (2023)
Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan
Synthesizing axiomatizations using logic learning. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu
Language-parametric compiler validation with application to LLVM. ASPLOS (2021)
Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu
Towards a Trustworthy Semantics-Based Language Framework via Proof Generation. CAV (2) (2021)