Li Zhou -

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