Tue 22 Jun 2021 11:05 - 11:25 at PLanQC - Session 1: Verification, programming & control Chair(s): Matthew Amy, Ross Duncan
| Abstract (planqc2021-final37.pdf) | 483KiB |
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 | ||
