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

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.

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Tue 22 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change

09:00 - 11:45
Session 1: Verification, programming & controlPLanQC at PLanQC
09:00
35m
Talk
Invited Talk: From Verified Compilation to Shor’s Algorithm
PLanQC
I: Michael HicksUniversity of Maryland at College Park
09:35
20m
Talk
qKleene: Verification of Quantum RAM Made Easy
PLanQC
Giulia De SantisUniversity of Verona, Roberto GiacobazziUniversity of Verona, Margherita ZorziUniversity of Verona
09:55
20m
Talk
JKQ: JKU Tools for Quantum Computing
PLanQC
Wille RobertJohannes Kepler University, Linz, Stefan HillmichJohannes Kepler University, Linz, Lukas BurgholzerJohannes Kepler University, Linz
10:15
30m
Coffee break
Break
PLanQC
10:45
20m
Talk
Open Quantum Assembly Language
PLanQC
Andrew CrossIBM T.J Watson Research Center, Ali Javadi-AbhariIBM T.J Watson Research Center, Thomas AlexanderIBM T.J Watson Research Center, Lev BishopIBM T.J Watson Research Center, Colm A. RyanAWS Center for Quantum Computing, Steven HeidelAWS Center for Quantum Computing, Niel de BeaudrapUniversity of Sussex, John SmolinIBM T.J Watson Research Center, Jay M. GambettaIBM T.J Watson Research Center, Blake R. JohnsonIBM T.J Watson Research Center
11:05
20m
Talk
Quantum and classical registers
PLanQC
Dominique UnruhUniversity of Tartu
11:25
20m
Talk
Addressable quantum gates
PLanQC
Pablo ArrighiUniversité Paris-Saclay, CNRS, LMF, Marin CostesUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Christopher CedzichQuantum Technology Group, Heinrich Heine Universität Düsseldorf, Ulysse RemondUniversité Paris-Saclay, CNRS, ENS Paris-Saclay, LMF, Benoit ValironUniversité Paris-Saclay, CNRS, CentraleSupélec, LMF
13:30 - 16:15
Session 2: Compilation & TypesPLanQC at PLanQC
13:30
35m
Talk
Invited Talk: Quantum compilation using the ZX-calculus
PLanQC
I: John van de WeteringUniversity of Oxford, Radboud Universiteit Nijmegen
14:05
20m
Talk
Quantum routing with fast reversals
PLanQC
Aniruddha BapatUniversity of Maryland, Andrew M. ChildsUniversity of Maryland, Alexey V. GorshkovUniversity of Maryland, Sam KingUniversity of Rochester, Eddie SchouteUniversity of Maryland, Hrishee ShastriReed College
Pre-print
14:25
20m
Talk
Reducing the CNOT count for Clifford+T circuits on NISQ architectures
PLanQC
Vlad GheorghiuInstitute for Quantum Computing, University of Waterloo, ON Canada, Sarah Li, Michele MoscaUniversity of Waterloo, Priyanka MukhopadhyayInstitue for Quantum Computing, University of Waterloo
Pre-print
14:45
30m
Coffee break
Break
PLanQC
15:15
20m
Talk
Toward A Quantum Programming Language for Higher-Level Formal Verification
PLanQC
Finn VoichickUniversity of Maryland, Michael HicksUniversity of Maryland at College Park
15:35
20m
Talk
Toward a Type-Theoretic Interpretation of Q# and Statically Enforcing the No-Cloning Theorem
PLanQC
Kartik SinghalUniversity of Chicago, Sarah MarshallMicrosoft Quantum, Kesha HietalaUniversity of Maryland, Robert RandUniversity of Chicago
Pre-print
15:55
20m
Talk
Extending Gottesman Types Beyond the Clifford Group
PLanQC
Robert RandUniversity of Chicago, Aarthi SundaramMicrosoft Quantum, Kartik SinghalUniversity of Chicago, Brad LackeyMicrosoft Quantum, University of Maryland
18:00 - 21:00
Session 3: Reliable quantum computingPLanQC at PLanQC
18:00
35m
Talk
Invited Talk: Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging and Testing
PLanQC
I: Yufei DingUniversity of California at Santa Barbara
18:35
20m
Talk
Mitiq: a Python toolkit for quantum error mitigation
PLanQC
Ryan LaRoseUnitary Fund, Michigan State University, Andrea MariUnitary Fund, Sarah KaiserUnitary Fund, Peter J. KaralekasUnitary Fund, Nathan ShammahUnitary Fund, William J. ZengUnitary Fund, Goldman Sachs
Pre-print
18:55
20m
Talk
Expanding the VOQC Toolkit
PLanQC
Kesha HietalaUniversity of Maryland, Liyi LiUniversity of Maryland, Akshaj GaurPoolesville High School, Aaron GreenUniversity of Maryland, Robert RandUniversity of Chicago, Xiaodi WuUniversity of Maryland, Michael HicksUniversity of Maryland at College Park

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