Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 PLDI

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.
You're viewing the program in a time zone which is different from your device's time zone - change time zone

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
13:30 - 16:15
Session 2: Compilation & TypesPLanQC at PLanQC
Chair(s): Ali Javadi-Abhari IBM T.J Watson Research Center, Jennifer Paykin Galois, Inc.
13:30
35m
Talk
Invited Talk: Quantum compilation using the ZX-calculus
PLanQC
I: John van de Wetering University of Oxford, Radboud Universiteit Nijmegen
14:05
20m
Talk
Quantum routing with fast reversals
PLanQC
Aniruddha Bapat University of Maryland, Andrew M. Childs University of Maryland, Alexey V. Gorshkov University of Maryland, Sam King University of Rochester, Eddie Schoute University of Maryland, Hrishee Shastri Reed College
Pre-print File Attached
14:25
20m
Talk
Reducing the CNOT count for Clifford+T circuits on NISQ architectures
PLanQC
Vlad Gheorghiu Institute for Quantum Computing, University of Waterloo, ON Canada, Sarah Li , Michele Mosca University of Waterloo, Priyanka Mukhopadhyay Institue for Quantum Computing, University of Waterloo
Pre-print File Attached
14:45
30m
Coffee break
Break
PLanQC

15:15
20m
Talk
Toward A Quantum Programming Language for Higher-Level Formal Verification
PLanQC
Finn Voichick University of Maryland, Michael Hicks University of Maryland at College Park
File Attached
15:35
20m
Talk
Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
PLanQC
Kartik Singhal University of Chicago, Sarah Marshall Microsoft Quantum, Kesha Hietala University of Maryland, Robert Rand University of Chicago
Pre-print Media Attached File Attached
15:55
20m
Talk
Extending Gottesman Types Beyond the Clifford Group
PLanQC
Robert Rand University of Chicago, Aarthi Sundaram Microsoft Quantum, Kartik Singhal University of Chicago, Brad Lackey Microsoft Quantum, University of Maryland
File Attached
18:00 - 21:00
Session 3: Reliable quantum computingPLanQC at PLanQC
Chair(s): Robert Rand University of Chicago
18:00
35m
Talk
Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
PLanQC
I: Yufei Ding University of California at Santa Barbara
18:35
20m
Talk
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
20m
Talk
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

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

Accepted Talks

Title
Addressable quantum gates
PLanQC
File Attached
Expanding the VOQC Toolkit
PLanQC
File Attached
Extending Gottesman Types Beyond the Clifford Group
PLanQC
File Attached
JKQ: JKU Tools for Quantum Computing
PLanQC
File Attached
Mitiq: a Python toolkit for quantum error mitigation
PLanQC
Pre-print File Attached
Open Quantum Assembly Language
PLanQC
File Attached
Quantum and classical registers
PLanQC
File Attached
Quantum routing with fast reversals
PLanQC
Pre-print File Attached
Reducing the CNOT count for Clifford+T circuits on NISQ architectures
PLanQC
Pre-print File Attached
Toward A Quantum Programming Language for Higher-Level Formal Verification
PLanQC
File Attached
Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
PLanQC
Pre-print Media Attached File Attached
qKleene: Verification of Quantum RAM Made Easy
PLanQC
File Attached
Questions? Use the PLanQC contact form.