Zhengyao Lin

According to our database, Zhengyao Lin authored at least 13 papers between 2021 and 2024.

Collaborative distances:

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

2024

FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions.

Zhengyao Lin, Joshua Gancher, Bryan Parno

Proc. ACM Program. Lang., 2024

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

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

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

Dataset, December, 2022

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

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

Dataset, December, 2022

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

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

Dataset, December, 2022

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

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

Dataset, December, 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

Dataset, April, 2021

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

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

Dataset, April, 2021

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

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

Dataset, April, 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