BIRS Workshop Lecture Videos

Banff International Research Station Logo

BIRS Workshop Lecture Videos

Automated, parametric gate count of quantum programs Valiron, Benoit


In this talk, I will turn to the question of logical resource estimation for quantum programs in the quantum programming language Quipper. In the current implementation, gatecount can be obtained automatically for fixed size of circuits. I will present a static analysis tool for obtaining resource estimation parametric on the parameters fed to the program. I will discuss the conditions for this gate count to be in closed form.

Item Media

Item Citations and Data


Attribution-NonCommercial-NoDerivatives 4.0 International