Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Li Zhou
conf.researchr.org general profile
ICSE 2025 profile
PLDI 2024 profile
PLDI 2025 profile
PLDI 2026 profile
POPL 2020 profile
POPL 2023 profile
POPL 2025 profile
POPL 2026 profile
SPLASH 2020 profile
Registered user since Wed 29 Jan 2020
Name:
Li Zhou
Country:
China
Affiliation:
Institute of Software at Chinese Academy of Sciences
Contributions
2026
PLanQC
Author of VC-Qiskit: Automated–Interactive Verification of Qiskit Passes with Minimal Intrusion within the PLanQC 2026-track
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
POPL
Author of An Expressive Assertion Language for Quantum Programs within the POPL-track
VMCAI
Committee Member in Program Committee within the VMCAI 2026-track
2025
PLDI
Author of Efficient Formal Verification of Quantum Error Correcting Programs within the PLDI Research Papers-track
WQS
Committee Member in Program Committee within the WQS 2025-track
Q-SE
PC Member in Program Committee within the Quantum SE-track
POPL
Author of Automating equational proofs in Dirac notation within the POPL-track
2024
WQS
Committee Member in Program Committee within the WQS-track
Author of Efficient Formal Verification of Quantum Error Correcting Programs within the WQS-track
2023
POPL
Author of CoqQ: Foundational Verification of Quantum Programs within the POPL-track
2020
SPLASH
Author of Projection-based Runtime Assertions for Testing and Debugging Quantum Programs within the OOPSLA Artifacts-track
Author of Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs within the OOPSLA-track
POPL
Author of Relational Proofs for Quantum Programs within the Research Papers-track
Share
x
Thu 15 Jan 06:37