Invited Talk: Quantum compilation using the ZX-calculus (PLanQC 2021)

Write a Blog >>

Sun 20 - Sat 26 June 2021 PLDI

Track

PLanQC 2021

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 22 Jun 2021 13:30 - 14:05 at PLanQC - Session 2: Compilation & Types Chair(s): Ali Javadi-Abhari, Jennifer Paykin

Abstract

The ZX-calculus is a graphical language for reasoning about quantum computation. In this talk I will show how it can be used to optimise quantum circuits, verify equality of circuits and do classical circuit simulation.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Tue 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

13:30 - 16:15	Session 2: Compilation & TypesPLanQC at PLanQC Chair(s): Ali Javadi-Abhari IBM T.J Watson Research Center, Jennifer Paykin Galois, Inc.

13:30 35m Talk		Invited Talk: Quantum compilation using the ZX-calculus PLanQC I: John van de Wetering University of Oxford, Radboud Universiteit Nijmegen
14:05 20m Talk		Quantum routing with fast reversals PLanQC Aniruddha Bapat University of Maryland, Andrew M. Childs University of Maryland, Alexey V. Gorshkov University of Maryland, Sam King University of Rochester, Eddie Schoute University of Maryland, Hrishee Shastri Reed College Pre-print File Attached
14:25 20m Talk		Reducing the CNOT count for Clifford+T circuits on NISQ architectures PLanQC Vlad Gheorghiu Institute for Quantum Computing, University of Waterloo, ON Canada, Sarah Li , Michele Mosca University of Waterloo, Priyanka Mukhopadhyay Institue for Quantum Computing, University of Waterloo Pre-print File Attached
14:45 30m Coffee break		Break PLanQC
15:15 20m Talk		Toward A Quantum Programming Language for Higher-Level Formal Verification PLanQC Finn Voichick University of Maryland, Michael Hicks University of Maryland at College Park File Attached
15:35 20m Talk		Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem PLanQC Kartik Singhal University of Chicago, Sarah Marshall Microsoft Quantum, Kesha Hietala University of Maryland, Robert Rand University of Chicago Pre-print Media Attached File Attached
15:55 20m Talk		Extending Gottesman Types Beyond the Clifford Group PLanQC Robert Rand University of Chicago, Aarthi Sundaram Microsoft Quantum, Kartik Singhal University of Chicago, Brad Lackey Microsoft Quantum, University of Maryland File Attached

Invited Talk: Quantum compilation using the ZX-calculus

Tue 22 Jun
Displayed time zone: Eastern Time (US & Canada) change

John van de WeteringInvited Speaker

University of Oxford, Radboud Universiteit Nijmegen

Tracks

Co-hosted Conferences

Workshops

Invited Talk: Quantum compilation using the ZX-calculus

Program Display Configuration

Program Display Configuration

Tue 22 JunDisplayed time zone: Eastern Time (US & Canada) change

John van de WeteringInvited Speaker

University of Oxford, Radboud Universiteit Nijmegen

Tue 22 Jun
Displayed time zone: Eastern Time (US & Canada) change