Write a Blog >>
HOPL IV
Sun 20 - Tue 22 June 2021
co-located with PLDI 2021
PLDI 2021 (series) / HOPL IV (series) / Online /

Room information: PLanQC

VenueOnline
Room namePLanQC
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 22 Jun

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

09:00 - 11:45
Session 1: Verification, programming & controlPLanQC at PLanQC
Chair(s): Matthew Amy Dalhousie University, Ross Duncan Cambridge Quantum Computing
09:00
35m
Talk
Invited Talk: From Verified Compilation to Shor’s Algorithm
PLanQC
I: Michael Hicks University of Maryland at College Park
File Attached
09:35
20m
Talk
qKleene: Verification of Quantum RAM Made Easy
PLanQC
Giulia De Santis University of Verona, Roberto Giacobazzi University of Verona, Margherita Zorzi University of Verona
File Attached
09:55
20m
Talk
JKQ: JKU Tools for Quantum Computing
PLanQC
Wille Robert Johannes Kepler University, Linz, Stefan Hillmich Johannes Kepler University, Linz, Lukas Burgholzer Johannes Kepler University, Linz
File Attached
10:15
30m
Coffee break
Break
PLanQC

10:45
20m
Talk
Open Quantum Assembly Language
PLanQC
Andrew Cross IBM T.J Watson Research Center, Ali Javadi-Abhari IBM T.J Watson Research Center, Thomas Alexander IBM T.J Watson Research Center, Lev Bishop IBM T.J Watson Research Center, Colm A. Ryan AWS Center for Quantum Computing, Steven Heidel AWS Center for Quantum Computing, Niel de Beaudrap University of Sussex, John Smolin IBM T.J Watson Research Center, Jay M. Gambetta IBM T.J Watson Research Center, Blake R. Johnson IBM T.J Watson Research Center
File Attached
11:05
20m
Talk
Quantum and classical registers
PLanQC
Dominique Unruh University of Tartu
File Attached
11:25
20m
Talk
Addressable quantum gates
PLanQC
Pablo Arrighi Université Paris-Saclay, CNRS, LMF, Marin Costes Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Christopher Cedzich Quantum Technology Group, Heinrich Heine Universität Düsseldorf, Ulysse Remond Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Benoit Valiron Université Paris-Saclay, CNRS, CentraleSupélec, LMF
File Attached
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
18:00 - 21:00
Session 3: Reliable quantum computingPLanQC at PLanQC
Chair(s): Robert Rand University of Chicago
18:00
35m
Talk
Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
PLanQC
I: Yufei Ding University of California at Santa Barbara
18:35
20m
Talk
Mitiq: a Python toolkit for quantum error mitigation
PLanQC
Ryan LaRose Unitary Fund, Michigan State University, Andrea Mari Unitary Fund, Sarah Kaiser Unitary Fund, Peter J. Karalekas Unitary Fund, Nathan Shammah Unitary Fund, William J. Zeng Unitary Fund, Goldman Sachs
Pre-print File Attached
18:55
20m
Talk
Expanding the VOQC Toolkit
PLanQC
Kesha Hietala University of Maryland, Liyi Li University of Maryland, Akshaj Gaur Poolesville High School, Aaron Green University of Maryland, Robert Rand University of Chicago, Xiaodi Wu University of Maryland, Michael Hicks University of Maryland at College Park
File Attached

Tue 22 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:0030
PLanQC

PLanQC

Session 1: Verification, programming & control

PLanQC

Session 2: Compilation & Types

PLanQC

Session 3: Reliable quantum computing

Tue 22 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
PLanQC
PLanQC
Invited Talk: From Verified Compilation to Shor’s Algorithm
09:00 - 09:35
PLanQC
qKleene: Verification of Quantum RAM Made Easy
09:35 - 09:55
PLanQC
JKQ: JKU Tools for Quantum Computing
09:55 - 10:15
PLanQC
Break
10:15 - 10:45
PLanQC
Open Quantum Assembly Language
10:45 - 11:05
PLanQC
Quantum and classical registers
11:05 - 11:25
PLanQC
Addressable quantum gates
11:25 - 11:45
PLanQC
Invited Talk: Quantum compilation using the ZX-calculus
13:30 - 14:05
PLanQC
Quantum routing with fast reversals
14:05 - 14:25
PLanQC
Reducing the CNOT count for Clifford+T circuits on NISQ architectures
14:25 - 14:45
PLanQC
Break
14:45 - 15:15
PLanQC
Toward A Quantum Programming Language for Higher-Level Formal Verification
15:15 - 15:35
PLanQC
Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing t ...
15:35 - 15:55
PLanQC
Extending Gottesman Types Beyond the Clifford Group
15:55 - 16:15
PLanQC
Invited Talk: Theory, Design, and Implementation of Projection-based As ...
18:00 - 18:35
PLanQC
Mitiq: a Python toolkit for quantum error mitigation
18:35 - 18:55
PLanQC
Expanding the VOQC Toolkit
18:55 - 19:15