Title	Automated, parametric gate count of quantum programs
Creator	Valiron, Benoit
Publisher	Banff International Research Station for Mathematical Innovation and Discovery
Date Issued	2016-04-22T09:02
Description	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.
Extent	33 minutes
Subject	Mathematics; Quantum theory; Information and communication, circuits; Theoretical computer science
Type	Moving Image
File Format	video/mp4
Language	eng
Notes	Author affiliation: CentraleSupélec - LRI Univ. Paris Saclay
Series	BIRS Workshop Lecture Videos (Banff, Alta)
Date Available	2016-10-25
Provider	Vancouver : University of British Columbia Library
Rights	Attribution-NonCommercial-NoDerivatives 4.0 International
DOI	10.14288/1.0319340
URI	http://hdl.handle.net/2429/59562
Affiliation	Non UBC
Peer Review Status	Unreviewed
Scholarly Level	Faculty
Rights URI	http://creativecommons.org/licenses/by-nc-nd/4.0/
Aggregated Source Repository	DSpace

Open Collections

BIRS Workshop Lecture Videos