Zhengyao Lin

According to our database, Zhengyao Lin authored at least 5 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier.

Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Rosu

Proc. ACM Program. Lang., April, 2023

WaveCert: Formal Compiler Validation for Asynchronous Dataflow Programs.

Zhengyao Lin, Joshua Gancher, Bryan Parno

CoRR, 2023

2022

Synthesizing axiomatizations using logic learning.

Paul Krogmeier, Zhengyao Lin, Adithya Murali, P. Madhusudan

Proc. ACM Program. Lang., 2022

2021

Towards a Trustworthy Semantics-Based Language Framework via Proof Generation.

Xiaohong Chen, Zhengyao Lin, Minh-Thai Trinh, Grigore Rosu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Language-parametric compiler validation with application to LLVM.

Theodoros Kasampalis, Daejun Park, Zhengyao Lin, Vikram S. Adve, Grigore Rosu

Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021