• Sign in
  • Sign up
conf.researchr.org / Li Zhou
  • POPL 2020 profile
  • POPL 2023 profile
  • SPLASH 2020 profile

Registered user since Wed 29 Jan 2020

Name:Li Zhou
Country:Germany
Affiliation:MPI-SP; Institute of Software at Chinese Academy of Sciences

Contributions

POPL 2023 Author of CoqQ: Foundational Verification of Quantum Programs within the POPL-track
SPLASH 2020 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 2020 Author of Relational Proofs for Quantum Programs within the Research Papers-track

Share
xThu 9 Feb 00:40
using conf.researchr.org (v1.58.0)
Support page
Sign Up