POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Wed 16 Jan 2019 16:37 - 16:59 at Sala I - Quantum Programming Chair(s): Jens Palsberg

Quantum computation is a topic of significant recent interest, with practical advances coming from both research and industry. A major challenge in quantum programming is dealing with errors (quantum noise) during execution. Because quantum resources (e.g., qubits) are scarce, classical error correction techniques applied at the level of the architecture are currently cost-prohibitive. But while this reality means that quantum programs are almost certain to have errors, there as yet exists no principled means to reason about erroneous behavior. This paper attempts to fill this gap by developing a semantics for erroneous quantum while-programs, as well as a logic for reasoning about them. This logic permits proving a property we have identified, called $\epsilon$-robustness, which characterizes possible distance'' between an ideal program and an erroneous one. We have proved the logic sound, and showed its utility on several case studies, notably: (1) analyzing the robustness of noisy versions of the quantum Bernoulli factory (QBF) and quantum walk (QW); (2) demonstrating the (in)effectiveness of different error correction schemes on single-qubit errors; and (3) analyzing the robustness of a fault-tolerant version of QBF.

#### Wed 16 Jan Times are displayed in time zone: Greenwich Mean Time : Belfast change

 16:37 - 17:43: Quantum ProgrammingResearch Papers at Sala I Chair(s): Jens PalsbergUniversity of California, Los Angeles (UCLA) 16:37 - 16:59Talk Quantitative Robustness Analysis of Quantum ProgramsResearch PapersShih-Han HungUniversity of Maryland, Kesha HietalaUniversity of Maryland, Shaopeng ZhuUniversity of Maryland, Mingsheng YingUniversity of Technology Sydney, Michael HicksUniversity of Maryland, College Park, Xiaodi WuUniversity of Oregon, USA Link to publication DOI Media Attached 16:59 - 17:21Talk Game Semantics for Quantum ProgrammingResearch PapersPierre ClairambaultCNRS & ENS Lyon, Marc De VismeENS Lyon, Glynn Winskel Link to publication DOI Media Attached 17:21 - 17:43Talk Quantum Relational Hoare LogicResearch PapersDominique UnruhUniversity of Tartu Link to publication DOI Pre-print Media Attached File Attached