PLDI 2021 (series) / PLanQC 2021 (series) /
PLanQC 2021 Program
This is the PLanQC 2021 program - see the full program for PLDI 2021 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Tue 22 JunDisplayed time zone: Eastern Time (US & Canada) change
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 35mTalk | Invited Talk: From Verified Compilation to Shor’s Algorithm PLanQC File Attached | ||
09:35 20mTalk | 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 20mTalk | 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 30mCoffee break | Break PLanQC | ||
10:45 20mTalk | 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 20mTalk | Quantum and classical registers PLanQC Dominique Unruh University of Tartu File Attached | ||
11:25 20mTalk | 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 |
18:00 - 21:00 | |||
18:00 35mTalk | Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing PLanQC | ||
18:35 20mTalk | 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 20mTalk | 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 |