Write a Blog >>

The First International Workshop on Programming Languages for Quantum Computing (PLanQC 2020) aims to bring together researchers from the fields of programming languages and quantum information sciences, 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.

Topics of particular interest include:

  • High-level quantum programming languages
  • Verification tools for quantum programs
  • Novel quantum programming abstractions
  • Quantum circuit optimizations
  • 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.

We also encourage attendees to sign up for POPL’s TutorialFest, which will feature a tutorial on Verified Quantum Computing.

All of the recorded talks are now watchable online!

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

Sun 19 Jan

Displayed time zone: Saskatchewan, Central America change

09:00 - 10:00
Introduction and Invited TalksPLanQC at Maurepas
Chair(s): Robert Rand University of Maryland
09:00
30m
Talk
Invited Talk: Quantum Computing for Programming Languages Researchers
PLanQC
I: Jennifer Paykin Galois, Inc.
Media Attached File Attached
09:30
30m
Talk
Invited Talk: Dependently Typed Quantum Programming in Proto-Quipper
PLanQC
I: Peter Selinger Dalhousie University
Media Attached
10:00 - 10:30
Sunday Morning BreakCatering at Break
10:00
30m
Coffee break
Break
Catering

10:30 - 12:30
Invited Talks, Pulses, Errors and CategoriesPLanQC at Maurepas
Chair(s): Frank Fu
10:30
30m
Talk
Invited Talk: Q# - Going Beyond Quantum Circuits
PLanQC
I: Bettina Heim Microsoft
Media Attached
11:00
30m
Talk
Invited Talk: Resource-Efficient Quantum Computing by Breaking Abstractions
PLanQC
I: Frederic T. Chong University of Chicago
Media Attached File Attached
11:30
20m
Talk
Tuning up entanglement through the cloud using Qiskit-OpenPulse
PLanQC
Thomas Alexander IBM T.J. Watson Research Center, New York, USA, Naoki Kanazawa IBM Research, Tokyo, Japan, Daniel Egger IBM Research, Zurich, Switzerland, Ali Javadi-Abhari IBM T.J. Watson Research Center, New York, USA, David C. McKay IBM T.J. Watson Research Center, New York, USA
11:50
20m
Talk
Tracking Errors through Types in Quantum Programs
PLanQC
Kesha Hietala University of Maryland, Robert Rand University of Maryland, Michael Hicks University of Maryland
Pre-print Media Attached File Attached
12:10
20m
Talk
Quantum CPOs
PLanQC
Andre Kornell Tulane University, Bert Lindenhovius Tulane University, Michael Mislove Tulane
12:30 - 14:00
Sunday LunchCatering at Lunch Room
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:05
Formal MethodsPLanQC at Maurepas
Chair(s): Dominique Unruh University of Tartu
14:00
20m
Talk
Runtime Analysis of Quantum Programs: A Formal Approach
PLanQC
Federico Olmedo University of Chile & IMFD Chile, Alejandro Díaz-Caro ICC (UBA-CONICET) & UNQ
Pre-print File Attached
14:20
20m
Talk
Qbricks: formal verification in quantum computing
PLanQC
Christopĥe Chareton CEA, LIST, France, Sébastien Bardin CEA LIST, François Bobot CEA, Valentin Perrelle CEA, LIST, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay
File Attached
14:40
25m
Talk
Merged Talk: A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages
PLanQC
Kesha Hietala University of Maryland, Kartik Singhal University of Chicago, Robert Rand University of Maryland, Shih-Han Hung University of Maryland, Xiaodi Wu University of Maryland, College Park, Michael Hicks University of Maryland
Media Attached
15:05 - 15:35
Sunday Afternoon BreakCatering at Break
15:35 - 16:35
NISQPLanQC at Maurepas
Chair(s): Will Zeng Unitary Fund
15:35
20m
Talk
Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation
PLanQC
Andrew N. Glaudell University of Maryland, Neil Julien Ross Dalhousie University, Jacob M. Taylor University of Maryland
Pre-print Media Attached File Attached
15:55
20m
Talk
Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices
PLanQC
Yu Zhang University of Science and Technology of China, Haowei Deng University of Science and Technology of China, Quanxi Li University of Science and Technology of China
Pre-print Media Attached
16:15
20m
Talk
Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
PLanQC
Xiang Fu Institute for Quantum Information & State Key Laboratory of High Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Jintao Yu State Key Laboratory of Mathematical Engineering and Advanced Computing, Zhengzhou, China, Xing Su College of Meteorology and Oceanography, National University of Defense Technology, Changsha, China, Hanru Jiang Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Hua Wu Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China, Dong Chen Department of Computing Science, College of Computer, National University of Defense Technology, Changsha, China, Fucheng Cheng Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Xi Deng Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Jinrong Zhang Center for Quantum Computing, Peng Cheng Laboratory, Shenzhen, China, Lei Jin School of Information Engineering, Zhengzhou University, Zhengzhou, China, Yihang Yang School of Information Engineering, Zhengzhou University, Zhengzhou, China, Le Xu School of Information Engineering, Zhengzhou University, Zhengzhou, China, Chunchao Hu School of Information Engineering, Zhengzhou University, Zhengzhou, China, Anqi Huang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Guangyao Huang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Xiaogang Qiang Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Mingtang Deng Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Ping Xu Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Wanwei Liu National University of Defense Technology, Yuxin Deng East China Normal University, Junjie Wu Institute for Quantum Information & State Key Laboratory of High-Performance Computing, College of Computer, National University of Defense Technology, Changsha, China, Yuan Feng Centre for Quantum Software and Information, University of Technology Sydney, Australia
File Attached
16:50 - 17:50
Quantum-Classical CommunicationPLanQC at Maurepas
Chair(s): Michael Hicks University of Maryland
16:50
20m
Talk
Extending Modern C++ for Heterogeneous Quantum-Classical Computing
PLanQC
Alexander McCaskey Oak Ridge National Laboratory, Tiffany Mintz Oak Ridge National Laboratory, Eugene Dumitrescu Oak Ridge National Laboratory, Sarah Powers Oak Ridge National Laboratory, Shirley Moore Oak Ridge National Laboratory, Pavel Lougovski Oak Ridge National Laboratory
17:10
20m
Talk
Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control
PLanQC
Dongho LEE LRI / CEA LIST, Univ Paris Saclay, Sébastien Bardin CEA LIST, Valentin Perrelle CEA, LIST, France, Benoit Valiron LRI, CentraleSupelec, Univ. Paris Saclay
File Attached
17:30
20m
Talk
Automated distribution of quantum circuits via hypergraph partitioning
PLanQC
Pablo Andres-Martinez University of Edinburgh, Chris Heunen University of Edinburgh
Link to publication DOI Pre-print Media Attached File Attached

Not scheduled yet

Not scheduled yet
Talk
A Verified Optimizer for Quantum Circuits
PLanQC
Kesha Hietala University of Maryland, Robert Rand University of Maryland, Shih-Han Hung University of Maryland, Xiaodi Wu University of Maryland, College Park, Michael Hicks University of Maryland
Pre-print Media Attached File Attached
Not scheduled yet
Talk
Verified translation between low-level quantum languages
PLanQC
Kartik Singhal University of Chicago, Robert Rand University of Maryland, Michael Hicks University of Maryland
Media Attached

Call for Submissions

We invite members of the programming languages (PL) and quantum computing (QC) communities to submit talk proposals for the First International Workshop on Programming Languages for Quantum Computing (PLanQC 2020), co-located with POPL 2020 in New Orleans this January.

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-4 page abstracts (single-column, not counting 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.

Invited speakers:

  • Jennifer Paykin, Galois Inc — Quantum Computing for PL Researchers
  • Peter Selinger, Dalhousie University — Quantum Programming Languages
  • Fred Chong, University of Chicago — Quantum Compilation
  • Bettina Heim, Microsoft Research — The Q# Language

Workshop topics include (but are not limited to):

  • High-level quantum programming languages
  • Verification tools for quantum programs
  • Novel quantum programming abstractions
  • Quantum circuit optimizations
  • 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 (anywhere on earth):

Abstract submission deadline Mon 28 Oct 2019
Notification Thu 21 Nov 2019
Workshop Sun 19 Jan 2020

Accepted Talks

Title
A Verified Optimizer for Quantum Circuits
PLanQC
Pre-print Media Attached File Attached
Automated distribution of quantum circuits via hypergraph partitioning
PLanQC
Link to publication DOI Pre-print Media Attached File Attached
Context-Sensitive and Duration-Aware Qubit Mapping for Various NISQ Devices
PLanQC
Pre-print Media Attached
Extending Modern C++ for Heterogeneous Quantum-Classical Computing
PLanQC
Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control
PLanQC
File Attached
Optimal Two-Qubit Circuits for Universal Fault-Tolerant Quantum Computation
PLanQC
Pre-print Media Attached File Attached
Qbricks: formal verification in quantum computing
PLanQC
File Attached
Quantum CPOs
PLanQC
Quingo: A Domain Specific Language for Quantum Computing with NISQ Features
PLanQC
File Attached
Runtime Analysis of Quantum Programs: A Formal Approach
PLanQC
Pre-print File Attached
Tracking Errors through Types in Quantum Programs
PLanQC
Pre-print Media Attached File Attached
Tuning up entanglement through the cloud using Qiskit-OpenPulse
PLanQC
Verified translation between low-level quantum languages
PLanQC
Media Attached

Thanks to the generosity of our sponsors, we can provide travel funding to a limited number of students interested in attending PLanQC!

To apply for travel funding, please fill out the form below:

https://forms.gle/1AC4t3JtpjpGywCu8

This form will be open until November 29th and responses will be sent out by December 3rd.

Other sources of funding for students interested in attending all of POPL (particularly those interested in volunteering) are also available:

https://popl20.sigplan.org/attending/students

Questions? Use the PLanQC contact form.