Zhengyao Lin -

Registered user since Mon 2 Sep 2024

Name:Zhengyao Lin

Country:United States

Affiliation:Carnegie Mellon University

Personal website: https://zhengyao.page/

Contributions

2026

PLDI

Author of Let It Flow: A Formally Verified Compilation Framework for Asynchronous Dataflow within the PLDI Research Papers-track

2024

SPLASH

Author of FlowCert: Translation Validation for Asynchronous Dataflow Programs via Dynamic Fractional Permissions within the OOPSLA 2024-track

2023

SPLASH

Author of Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier within the OOPSLA-track

2022

SPLASH

Author of Synthesizing Axiomatizations using Logic Learning within the OOPSLA-track