Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yunong Shi
conf.researchr.org general profile
PLDI 2021 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI 2024 profile
POPL 2025 profile
Not registered as user
Name:
Yunong Shi
Country:
United States
Affiliation:
AWS Quantum Technologies
Contributions
2025
PLanQC
Author of AutoQASM: Imperative quantum programming in Python within the PLanQC 2025-track
2024
WQS
Committee Member in Program Committee within the WQS-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
Share
x
Sun 22 Dec 13:34