Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI
Tue 22 Jun 2021 13:30 - 14:05 at PLanQC - Session 2: Compilation & Types Chair(s): Ali Javadi-Abhari, Jennifer Paykin

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.

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