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
POPL 2020 profile
POPL 2023 profile
POPL 2025 profile
SPLASH 2020 profile
Registered user since Wed 29 Jan 2020
Name:
Li Zhou
Country:
China
Affiliation:
Institute of Software, Chinese Academy of Sciences
Contributions
2025
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
Sun 16 Feb 13:07