A Verified Optimizer for Quantum Circuits

Date: January, 2021

Paper presentation at POPL 2021, Virtual