Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jianan Yao
conf.researchr.org general profile
PLDI 2020 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
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
Share
x
Tue 30 May 13:13