POPL 2020 (series) / PLanQC 2020 (series) / Programming Languages for Quantum Computing /
Tracking Errors through Types in Quantum Programs
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 JanDisplayed time zone: Saskatchewan, Central America change
Sun 19 Jan
Displayed time zone: Saskatchewan, Central America change
10:30 - 12:30 | |||
10:30 30mTalk | Invited Talk: Q# - Going Beyond Quantum Circuits PLanQC Media Attached | ||
11:00 30mTalk | Invited Talk: Resource-Efficient Quantum Computing by Breaking Abstractions PLanQC Media Attached File Attached | ||
11:30 20mTalk | Tuning up entanglement through the cloud using Qiskit-OpenPulse PLanQC Thomas Alexander IBM T.J. Watson Research Center, New York, USA, Naoki Kanazawa IBM Research, Tokyo, Japan, Daniel Egger IBM Research, Zurich, Switzerland, Ali Javadi-Abhari IBM T.J. Watson Research Center, New York, USA, David C. McKay IBM T.J. Watson Research Center, New York, USA | ||
11:50 20mTalk | Tracking Errors through Types in Quantum Programs PLanQC Kesha Hietala University of Maryland, Robert Rand University of Maryland, Michael Hicks University of Maryland Pre-print Media Attached File Attached | ||
12:10 20mTalk | Quantum CPOs PLanQC |