Jianan Yao -

Registered user since Wed 15 Jun 2022

Name:Jianan Yao

Country:United States

Affiliation:Columbia University

Personal website: https://www.cs.columbia.edu/~jianan/

Contributions

2024

POPL

Author of Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions within the POPL-track

2023

PLDI

Author of Gleipnir: toward practical error analysis for Quantum programs within the PLDI Research Papers-track

2022

PLDI

Author of Giallar: Push-button Verification for the Qiskit Quantum Compiler within the PLDI-track

2021

PLDI

Author of Gleipnir: Toward Practical Error Analysis for Quantum Programs within the PLDI-track

2020

PLDI

Author of Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks within the PLDI Research Papers-track