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

Registered user since Wed 29 Jan 2020

Name: Li Zhou

Affiliation: Max Planck Institute for Security and Privacy

Contributions

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
xFri 5 Mar 05:47
using conf.researchr.org (v1.43.1)
Support page
Sign Up