POPL 2017
Sun 15 - Sat 21 January 2017
Fri 20 Jan 2017 17:20 - 17:45 at Amphitheater 44 - Quantum Chair(s): Michele Pagani

This paper introduces QWire, a language for defining quantum circuits and an interface for manipulating them inside of an arbitrary classical host language. QWire is designed to be minimal—it contains only a few primitives—and sound with respect to the physical properties entailed by quantum mechanics. At the same time, QWire is expressive and highly modular due to its relationship with the host language, which mirrors the QRAM model of computation that places a quantum computer (controlled by circuits) alongside a classical computer (controlled by the host language).

We present QWire along with its type system and operational semantics, which we prove is safe and strongly normalizing whenever the host language is. We give circuits a denotational semantics in terms of density matrices. Throughout, we investigate examples that demonstrate the expressive power of QWire, including extensions to the host language that (1) expose a general analysis framework for circuits, and (2) provide dependent types.

Fri 20 Jan
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:30 - 17:45: QuantumPOPL at Amphitheater 44
Chair(s): Michele PaganiIRIF, Université Paris Diderot
16:30 - 16:55
Mingsheng YingUniversity of Technology Sydney, Australia, Shenggang YingUniversity of Technology Sydney, Australia, Xiaodi WuUniversity of Oregon, USA
16:55 - 17:20
Ugo Dal LagoUniversity of Bologna, France, Claudia Faggian, Benoit ValironLRI, CentraleSupelec, Univ. Paris Saclay, Akira YoshimizuUniv.Tokyo
17:20 - 17:45
Jennifer Paykin, Robert RandUniversity of Pennsylvania, Steve ZdancewicUniversity of Pennsylvania