conf.researchr.org / Jianan Yao

Registered user since Wed 15 Jun 2022

Name:Jianan Yao
Affiliation:Columbia University, USA

Contributions

PLDI 2023 Author of Gleipnir: toward practical error analysis for Quantum programs within the PLDI Research Papers-track
PLDI 2022 Author of Giallar: Push-button Verification for the Qiskit Quantum Compiler within the PLDI-track
PLDI 2021 Author of Gleipnir: Toward Practical Error Analysis for Quantum Programs within the PLDI-track
PLDI 2020 Author of Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks within the PLDI Research Papers-track