The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021) aims to bring together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, both those that exist today and those likely to exist in the near to far future.
Workshop topics include (but are not limited to):
- High-level quantum programming languages
- Verification tools for quantum programs
- Novel quantum programming abstractions
- Quantum circuit and program optimization
- Hardware-aware circuit compilation and routing
- Error handling, mitigation, and correction
- Instruction sets for quantum hardware
- Other techniques from traditional programming languages (e.g., types, compilation/optimization, foreign function interfaces) applied to the domain of quantum computation.
Tue 22 JunDisplayed 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 | ||
Accepted Talks
Call for Submissions
We invite members of the programming languages (PL) and quantum computing (QC) communities to submit talk proposals for the Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021), co-located with PLDI 2021 virtually this June.
PLanQC aims to bring together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, as they exist today and as they are likely to exist in the near to distant future.
Submissions to PLanQC should take the form of 2-5 page abstracts (single-column, 11pt acmsmall style, not including references), with links to larger preprints when appropriate (work-in-progress is welcome). We hope to make PLanQC maximally accessible to the programming languages community. Thus, abstracts should cover cutting edge ideas and results, but not be opaque to new, potential entrants to QC coming from PL. Abstracts will be reviewed for quality and relevance to the workshop, and accepted authors will be invited to give talks or poster presentations. We will not be publishing formal proceedings, but the extended abstracts, along with links (where available) to full papers will be posted to the workshop’s website.
Workshop topics
Workshop topics include, but aren’t limit to,
- High-level quantum programming languages
- Verification tools for quantum programs
- Novel quantum programming abstractions
- Quantum circuit and program optimization
- Hardware-aware circuit compilation and routing
- Error handling, mitigation, and correction
- Instruction sets for quantum hardware
- Other techniques from traditional programming languages (e.g., types, compilation/optimization, foreign function interfaces) applied to the domain of quantum computation.
Important dates
Abstract submission: April 9th, 2021
Author notification: May 5th, 2021
Workshop date: June 22nd, 2021
| Tue 22 Jun 2021 Workshop |
| Wed 5 May 2021 Author notification |
| Fri 9 Apr 2021 Submission Deadline |
Matthew Amy
Dalhousie University
Canada
Ross Duncan
Cambridge Quantum Computing
Chris Granade
Microsoft
Yipeng Huang
Rutgers University
United States
Ali Javadi-Abhari
IBM T.J Watson Research Center
Giulia Meuli
EPFL
Jennifer Paykin
Galois, Inc.
United States
Robert Rand
University of Chicago
United States
Mathys Rennela
INRIA Paris
France
Peter Selinger
Dalhousie University
Dominique Unruh
University of Tartu
Xiaodi Wu
University of Maryland
Nengkun Yu
UTS
n.n.
Vladimir Zamdzhiev
Inria Nancy
France
Will Zeng
Unitary Fund
United States
Margherita Zorzi
University of Verona
Italy