Quantum Computer Science
Videos from BIRS Workshop
Vadym Kliuchnikov, Microsoft
Monday Apr 18, 2016 08:58 - 09:30
A framework for approximating qubit unitaries
Hillary Dawkins, University of Waterloo
Monday Apr 18, 2016 09:31 - 09:50
Small codes for magic state distillation
Blake Johnson, Raytheon BBN Technologies
Monday Apr 18, 2016 14:31 - 15:02
Software demo: QGL
Alex Parent, University of Waterloo
Monday Apr 18, 2016 15:31 - 15:50
Garbage collection for reversible circuit compilation
Mathias Soeken, École polytechnique fédérale de Lausanne
Monday Apr 18, 2016 15:52 - 16:26
Ancilla-free reversible logic synthesis using symbolic methods
Mingsheng Ying, University of Technology Sydney
Tuesday Apr 19, 2016 09:02 - 09:32
Toward automatic verification of quantum programs
Vlad Gheorghiu, Institute for Quantum Computing/softwareQ Inc.
Tuesday Apr 19, 2016 13:31 - 13:57
Software demo: Quantum++
Simon Devitt, Riken Tokyo
Tuesday Apr 19, 2016 13:58 - 14:33
Software demo: meQuanics
Matthew Amy, Simon Fraser University
Tuesday Apr 19, 2016 14:37 - 15:06
Software demo: ReVer
Ori Parzanchevski, Princeton University
Tuesday Apr 19, 2016 15:31 - 16:03
Trees, buildings, and navigation in the unitary group
Himanshu Thapliyal, University of Kentucky
Tuesday Apr 19, 2016 16:04 - 16:28
Synthesis of quaternary quantum circuits using optimized gate realizations
Peter Selinger, Dalhousie University
Tuesday Apr 19, 2016 16:41 - 17:44
Software tutorial: A tutorial on Quipper
Samuel Kutin, IDA/CCR-Princeton
Wednesday Apr 20, 2016 09:00 - 09:30
Circuit diagrams with < q|pic >
Simon Devitt, Riken Tokyo
Wednesday Apr 20, 2016 09:35 - 10:06
Topological circuit optimization
Jungsang Kim, Duke University
Thursday Apr 21, 2016 09:05 - 09:36
Scalable quantum computing architectures based on trapped ions
Anne Broadbent, University ot Ottawa
Thursday Apr 21, 2016 09:41 - 10:18
How to verify a quantum computation
Vlad Gheorghiu, Institute for Quantum Computing/softwareQ Inc.
Thursday Apr 21, 2016 16:09 - 16:36
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
Martin Roetteler, Microsoft Research
Thursday Apr 21, 2016 16:44 - 17:50
The LIQUi|> simulator tutorial
Benoit Valiron, CentraleSupélec - LRI Univ. Paris Saclay
Friday Apr 22, 2016 09:02 - 09:35
Automated, parametric gate count of quantum programs
Matthew Amy, Simon Fraser University
Friday Apr 22, 2016 09:38 - 10:08
T-count optimization and Reed-Muller codes
