The First International Workshop on the Art, Science, and Engineering of Quantum ProgrammingQP 2023

Classical computing is reaching its limit. Thus, there is a need to revolutionize the current form of computing. Towards this end, quantum computing is one of the promising computing paradigms. However, programming quantum computers differ significantly from classical computing due to novel features of quantum computing, such as superposition and entanglement. Thus, the Art, Science, and Engineering of Quantum Programming differ from classical programming. Therefore, there is a need to initiate the discussion on the Art, Science, and Engineering of Quantum Programming and its relation with classical programming. QP2023, thus, will provide a platform for researchers and practitioners interested in various aspects of quantum programming and its relation with classical programming to discuss research challenges, possible solutions, and future research directions. Such discussion could build the road map for the Art, Science, and Engineering of Quantum Programming.

QP2023 will feature two types of events. First, we will have a session on the presentation of papers accepted in the workshop. The rest of the workshop will be focused on a dedicated discussion of the workshop topics in a similar fashion as Dagstuhl or Shonan to draft a roadmap on the topic of the workshop. The workshop organizers will send invitations to the researchers working in this area. However, the workshop is open to anyone interested. Please consult the workshop chairs if you are interested in joining the workshop.

Accepted Papers

Call for Papers

Overview

Classical computing is reaching its limit. Thus, there is a need to revolutionize the current form of computing. Towards this end, quantum computing is one of the promising computing paradigms. However, programming quantum computers differ significantly from classical computing due to novel features of quantum computing, such as superposition and entanglement. Thus, the Art, Science, and Engineering of Quantum Programming differ from classical programming. Therefore, there is a need to initiate the discussion on the Art, Science, and Engineering of Quantum Programming and its relation with classical programming. QP2023, thus, will provide a platform for researchers and practitioners interested in various aspects of quantum programming and its relation with classical programming to discuss research challenges, possible solutions, and future research directions. Such discussion could build the road map for the Art, Science, and Engineering of Quantum Programming.

Motivation

There is a significant rise in interest in quantum computing (QC), with technical giants such as IBM, Google, and Microsoft rapidly pushing the boundaries of quantum hardware. At the same time, there is a great need to efficiently and intuitively program quantum computers since the present form of programming quantum computers stays very close to the hardware. Thus, there is a need to build novel approaches to the Art, Science (both theoretical and empirical), and engineering of quantum programming. QP2023, thus, will provide a platform for researchers to present their works on these aspects of quantum programming and discuss future research directions to build a research roadmap for researchers and practitioners. With the involvement of practitioners, we also aim to see their opinions on practical challenges associated with quantum programming.

The workshop is intended for researchers at any stage of their careers, including students. Moreover, practitioners are also a relevant audience for the workshop.

We foresee QP as a specialization of the Programming 2023 conference; thus, all the topics from Programming 2023 tailored to quantum programming are relevant for QP2023.

Submission Types

We invite submission of papers of the following types:

Regular papers (8 pages): Novel research works, experience reports

Position paper (2 pages): Describing a well-argued position.

Lighting Talks (Only Abstract, No Publication): challenges

Regular papers will be evaluated with respect to the real-world significance of the described quantum programming experience as well as their ability to forge partnerships and ultimately yield successful solutions. Position papers represent a position on any aspect of the Art, Science, and Engineering of Quantum Programming with good argumentation. Lighting talks are abstracts that describe late-breaking results, work in progress, or real-world challenges. Both position papers and lighting talks abstracts will be evaluated according to their ability to generate discussion and suggest interesting areas for future research.

Submission Instructions

Please follow the ACM acmart format v1.87 or newer and submit papers as a PDF file: https://www.acm.org/publications/proceedings-template. If using LaTeX, please use the following class configuration: \documentclass[sigconf,screen]{acmart}.

Publications for Papers

Please note that the accepted papers will be published in a post-event companion with a camera-ready deadline of May 1, 2023.

Workshop Format

QP2023 will feature two types of events. First, we will have a session on the presentation of papers accepted in the workshop. The rest of the workshop will be focused on a dedicated discussion of the workshop topics in a similar fashion as Dagstuhl or Shonan to draft a roadmap on the topic of the workshop. The workshop organizers will send invitations to the researchers working in this area. However, the workshop is open to anyone interested. Please consult the workshop chairs if you are interested in joining the workshop.

Keynote: Static Analysis for Quantum Software Correctness and Reliability by Prof. Jianjun Zhao, Kyushu University, Japan

Abstract

Software correctness and reliability have been central issues in classical computing for decades. Researchers have developed a wide range of approaches to these problems, but few have been to date for quantum computing. In this talk, I consider two different static analysis approaches to solving quantum software correctness and reliability problems: pattern-based bug detection and entanglement analysis. I will overview how these approaches work and conclude by discussing the challenges they face moving forward.

Biography

Jianjun Zhao is a Professor at the Faculty of Information Science and Electrical Engineering at Kyushu University. Before that, he worked at the Fukuoka Institute of Technology and Shanghai Jiao Tong University. He obtained his B.S. degree at Tsinghua University and his Ph.D. at Kyushu University. His research interests include software engineering and programming languages. Much of his current research focuses on techniques that make quantum software more robust, reliable, secure, and easier to specify, build, maintain, or improve.