Write a Blog >>
Sun 19 Jan 2020 11:50 - 12:10 at Maurepas - Invited Talks, Pulses, Errors and Categories Chair(s): Frank Fu

Errors will be prevalent in near-term quantum computing and need to be taken into account when designing quantum algorithms. It is thus reasonable to provide language-level support for reasoning about errors in quantum programs, in the style of existing tools for classical languages. We present a simple type-based approach to reasoning about fault tolerance in quantum programs. Our implementation extends QWIRE and is available at https://github.com/inQWIRE/QWIRE/tree/error_wires.

Slides (Error Wires Talk.pdf)926KiB

Sun 19 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

10:30 - 12:30: PLanQC - Invited Talks, Pulses, Errors and Categories at Maurepas
Chair(s): Frank Fu
planqc-2020-papers10:30 - 11:00
Bettina HeimMicrosoft
Media Attached
planqc-2020-papers11:00 - 11:30
Fred ChongUniversity of Chicago
Media Attached File Attached
planqc-2020-papers11:30 - 11:50
Thomas AlexanderIBM T.J. Watson Research Center, New York, USA, Naoki KanazawaIBM Research, Tokyo, Japan, Daniel EggerIBM Research, Zurich, Switzerland, Ali Javadi-AbhariIBM T.J. Watson Research Center, New York, USA, David C. McKayIBM T.J. Watson Research Center, New York, USA
planqc-2020-papers11:50 - 12:10
Kesha HietalaUniversity of Maryland, Robert RandUniversity of Maryland, Michael HicksUniversity of Maryland
Pre-print Media Attached File Attached
planqc-2020-papers12:10 - 12:30
Andre KornellTulane University, Bert LindenhoviusTulane University, Michael MisloveTulane