Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference
VenueOnline
Room namePLanQC
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Conference Day
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 AmyDalhousie University, Ross DuncanCambridge Quantum Computing
09:00
35m
Talk
Invited Talk: From Verified Compilation to Shor’s Algorithm
PLanQC
I: Michael HicksUniversity of Maryland at College Park
09:35
20m
Talk
qKleene: Verification of Quantum RAM Made Easy
PLanQC
Giulia De SantisUniversity of Verona, Roberto GiacobazziUniversity of Verona, Margherita ZorziUniversity of Verona
09:55
20m
Talk
JKQ: JKU Tools for Quantum Computing
PLanQC
Wille RobertJohannes Kepler University, Linz, Stefan HillmichJohannes Kepler University, Linz, Lukas BurgholzerJohannes Kepler University, Linz
10:15
30m
Coffee break
Break
PLanQC

10:45
20m
Talk
Open Quantum Assembly Language
PLanQC
Andrew CrossIBM T.J Watson Research Center, Ali Javadi-AbhariIBM T.J Watson Research Center, Thomas AlexanderIBM T.J Watson Research Center, Lev BishopIBM T.J Watson Research Center, Colm A. RyanAWS Center for Quantum Computing, Steven HeidelAWS Center for Quantum Computing, Niel de BeaudrapUniversity of Sussex, John SmolinIBM T.J Watson Research Center, Jay M. GambettaIBM T.J Watson Research Center, Blake R. JohnsonIBM T.J Watson Research Center
11:05
20m
Talk
Quantum and classical registers
PLanQC
Dominique UnruhUniversity of Tartu
11:25
20m
Talk
Addressable quantum gates
PLanQC
Pablo ArrighiUniversité Paris-Saclay, CNRS, LMF, Marin CostesUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Christopher CedzichQuantum Technology Group, Heinrich Heine Universität Düsseldorf, Ulysse RemondUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Benoit ValironUniversité Paris-Saclay, CNRS, CentraleSupélec, LMF
13:30 - 16:15
Session 2: Compilation & TypesPLanQC at PLanQC
Chair(s): Jennifer PaykinGalois, Inc., Ali Javadi-AbhariIBM T.J Watson Research Center
13:30
35m
Talk
Invited Talk: Quantum compilation using the ZX-calculus
PLanQC
I: John van de WeteringUniversity of Oxford, Radboud Universiteit Nijmegen
14:05
20m
Talk
Quantum routing with fast reversals
PLanQC
Aniruddha BapatUniversity of Maryland, Andrew M. ChildsUniversity of Maryland, Alexey V. GorshkovUniversity of Maryland, Sam KingUniversity of Rochester, Eddie SchouteUniversity of Maryland, Hrishee ShastriReed College
Pre-print
14:25
20m
Talk
Reducing the CNOT count for Clifford+T circuits on NISQ architectures
PLanQC
Vlad GheorghiuInstitute for Quantum Computing, University of Waterloo, ON Canada, Sarah Li, Michele MoscaUniversity of Waterloo, Priyanka MukhopadhyayInstitue for Quantum Computing, University of Waterloo
Pre-print
14:45
30m
Coffee break
Break
PLanQC

15:15
20m
Talk
Toward A Quantum Programming Language for Higher-Level Formal Verification
PLanQC
Finn VoichickUniversity of Maryland, Michael HicksUniversity of Maryland at College Park
15:35
20m
Talk
Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
PLanQC
Kartik SinghalUniversity of Chicago, Sarah MarshallMicrosoft Quantum, Kesha HietalaUniversity of Maryland, Robert RandUniversity of Chicago
Pre-print
15:55
20m
Talk
Extending Gottesman Types Beyond the Clifford Group
PLanQC
Robert RandUniversity of Chicago, Aarthi SundaramMicrosoft Quantum, Kartik SinghalUniversity of Chicago, Brad LackeyMicrosoft Quantum, University of Maryland
18:00 - 21:00
Session 3: Reliable quantum computingPLanQC at PLanQC
Chair(s): Robert RandUniversity of Chicago
18:00
35m
Talk
Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
PLanQC
I: Yufei DingUniversity of California at Santa Barbara
18:35
20m
Talk
Mitiq: a Python toolkit for quantum error mitigation
PLanQC
Ryan LaRoseUnitary Fund, Michigan State University, Andrea MariUnitary Fund, Sarah KaiserUnitary Fund, Peter J. KaralekasUnitary Fund, Nathan ShammahUnitary Fund, William J. ZengUnitary Fund, Goldman Sachs
Pre-print
18:55
20m
Talk
Expanding the VOQC Toolkit
PLanQC
Kesha HietalaUniversity of Maryland, Liyi LiUniversity of Maryland, Akshaj GaurPoolesville High School, Aaron GreenUniversity of Maryland, Robert RandUniversity of Chicago, Xiaodi WuUniversity of Maryland, Michael HicksUniversity of Maryland at College Park

Conference Day
Tue 22 Jun

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