qKleene: Verification of Quantum RAM Made Easy (PLanQC 2021)

Write a Blog >>

Sun 20 - Sat 26 June 2021 PLDI

Who

Giulia De Santis, Roberto Giacobazzi, Margherita Zorzi

Track

PLanQC 2021

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Tue 22 Jun 2021 09:35 - 09:55 at PLanQC - Session 1: Verification, programming & control Chair(s): Matthew Amy, Ross Duncan

File attachments

Abstract (planqc2021-paper100.pdf)	565KiB

Giulia De Santis

University of Verona

Roberto Giacobazzi

University of Verona

Italy

Margherita Zorzi

University of Verona

Italy

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

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