RSS icon
Twitter icon
Facebook icon
Vimeo icon
YouTube icon

Qwire: A Core Language for Quantum Circuits

October 7, 2016 - 3:00pm
Jennifer Paykin
U. Penn

The QRAM model of quantum computing describes how a (hypothetical) quantum computer and a classical computer work together to produce sophisticated quantum algorithms. The classical computer handles the bulk of the computation and sends circuits to the quantum computer for execution. In this talk I will introduce the Qwire circuit language, which encodes circuits in a classical programming language of our choice and facilitates communication with an attached quantum computer. Qwire uses linear types to ensure that circuits are well-formed and has a sound operational semantics that reduces circuits to a small set of normal forms. In addition, the language is highly modular as it can be embedded into an arbitrary host language that treats circuits as first-class data.

CSS 3100A

Subscribe to A Quantum Bit 

Quantum physics began with revolutionary discoveries in the early twentieth century and continues to be central in today’s physics research. Learn about quantum physics, bit by bit. From definitions to the latest research, this is your portal. Subscribe to receive regular emails from the quantum world. Previous Issues...

Sign Up Now

Sign up to receive A Quantum Bit in your email!

 Have an idea for A Quantum Bit? Submit your suggestions to