Home
Schedule
Featured
Papers
PLDI Tracks
PLDI A
PLDI B
Colocated
Community
Sponsors
Help
#Slack
Gather
Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
Yufei Ding
Appearing at PLanQC: Programming Languages for Quantum Computing