Quantum Computer Science

Videos from BIRS Workshop 16w5029

, Microsoft Research
- 09:30
A framework for approximating qubit unitaries
Watch video | Download video: 201604180858-Kliuchnikov.mp4 (73M)
, University of Waterloo
- 09:50
Small codes for magic state distillation
Watch video | Download video: 201604180931-Dawkins.mp4 (49M)
, Raytheon BBN Technologies
- 15:02
Software demo: QGL
Watch video | Download video: 201604181431-Johnson.mp4 (90M)
, University of Waterloo
- 15:50
Garbage collection for reversible circuit compilation
Watch video | Download video: 201604181531-Parent.mp4 (54M)
, École polytechnique fédérale de Lausanne
- 16:26
Ancilla-free reversible logic synthesis using symbolic methods
Watch video | Download video: 201604181552-Soeken.mp4 (88M)
, University of Technology Sydney
- 09:32
Toward automatic verification of quantum programs
Watch video | Download video: 201604190902-Ying.mp4 (75M)
, Institute for Quantum Computing
- 13:57
Software demo: Quantum++
Watch video | Download video: 201604191331-Gheorghiu.mp4 (75M)
, Riken Tokyo
- 14:33
Software demo: meQuanics
Watch video | Download video: 201604191358-Devitt.mp4 (226M)
, University of Waterloo
- 15:06
Software demo: ReVer
Watch video | Download video: 201604191437-Amy.mp4 (91M)
, Princeton University
- 16:03
Trees, buildings, and navigation in the unitary group
Watch video | Download video: 201604191531-Parzanchevski.mp4 (102M)
, University of Kentucky
- 16:28
Synthesis of quaternary quantum circuits using optimized gate realizations
Watch video | Download video: 201604191604-Thapliyal.mp4 (62M)
, Dalhousie University
- 17:44
Software tutorial: A tutorial on Quipper
Watch video | Download video: 201604191641-Selinger.mp4 (168M)
, IDA/CCR-Princeton
- 09:30
Circuit diagrams with < q|pic >
Watch video | Download video: 201604200900-Kutin.mp4 (84M)
, Riken Tokyo
- 10:06
Topological circuit optimization
Watch video | Download video: 201604200935-Devitt.mp4 (81M)
, Duke University
- 09:36
Scalable quantum computing architectures based on trapped ions
Watch video | Download video: 201604210905-Kim.mp4 (86M)
, University of Ottawa
- 10:18
How to verify a quantum computation
Watch video | Download video: 201604210941-Broadbent.mp4 (93M)
, Institute for Quantum Computing
- 16:36
Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
Watch video | Download video: 201604211609-Gheorghiu.mp4 (92M)
, Microsoft Research
- 17:50
The LIQUi|> simulator tutorial
Watch video | Download video: 201604211644-Roetteler.mp4 (175M)
, CentraleSupélec - LRI Univ. Paris Saclay
- 09:35
Automated, parametric gate count of quantum programs
Watch video | Download video: 201604220902-Valiron.mp4 (144M)
, University of Waterloo
- 10:08
T-count optimization and Reed-Muller codes
Watch video | Download video: 201604220938-Amy.mp4 (81M)