skip to main content
10.1145/3549036acmconferencesBook PagePublication PagesfseConference Proceedingsconference-collections
QP4SE 2022: Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering
ACM2022 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
QP4SE '22: 1st International Workshop on Quantum Programming for Software Engineering Singapore Singapore 18 November 2022
ISBN:
978-1-4503-9458-1
Published:
09 November 2022
Sponsors:
SIGSOFT, NUS
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN

Reflects downloads up to 13 Jan 2025Bibliometrics
Skip Abstract Section
Abstract

Welcome to the first edition of the workshop on Quantum Programming for Software Engineering (QP4SE) to be held virtually, November 18th, 2022, co-located with ESEC/FSE 2022, Singapore.

Skip Table Of Content Section
SESSION: Papers
research-article
Automatic generation of test circuits for the verification of Quantum deterministic algorithms

Quantum computing will make it possible to exponentially accelerate the performance of a wide range of computational problems, such as cryptography, machine learning or chemical simulation. However, the quantum potential is not only a matter of ...

short-paper
Open Access
Towards Quantum-algorithms-as-a-service

Quantum computing is an emerging field of high interest. Many companies have started to work on developing more powerful and stable quantum computers. However, developers still struggle to master the art of programming with a quantum computer. One of ...

short-paper
Open Access
Embracing iterations in Quantum software: a vision

In today’s software engineering, iterations, affordable en masse, form an important part of just about any system. However, not all computing resources are cheap to consume. In High-Performance (HPC) and Quantum Computing (QC), executions can consume ...

short-paper
Quantum optimization for fast CAN bus intrusion detection

Modern vehicles, nowadays, come loaded with hundreds of different sensors generating a huge amount of data. This data is shared and processed among different Electronic Control Units (ECUs) through an in-vehicle network, such as the CAN bus, to ...

short-paper
QAI4ASE: Quantum artificial intelligence for automotive software engineering

Nowadays, the size and complexity of the automotive development life-cycle increase the possibility of cyber-attacks. In this context, team developers play a primary role in managing cyber security, risk assessment, and all phases of software ...

short-paper
Quantum computing for software engineering: prospects

Quantum computers (QCs) are maturing. When QCs are powerful enough, they may be able to handle problems in chemistry, physics, and finance that are not classically solvable. However, the applicability of quantum algorithms to speed up Software ...

research-article
Using Quantum computers to speed up dynamic testing of software

Software under test can be analyzed dynamically, while it is being executed, to find defects. However, as the number and possible values of input parameters increase, the cost of dynamic testing rises.

This paper examines whether quantum computers (...

research-article
Asserting the correctness of Shor implementations using metamorphic testing

Quantum computing is infused with an increased sense of anticipation and excitement. However, several obstacles need to be overcome before quantum computing can be widely adopted. One of these is determining whether or not a quantum program is ...

Contributors
  • University of Salerno
  • University of Bari Aldo Moro
  • University of Côte d’Azur

Index Terms

  1. Proceedings of the 1st International Workshop on Quantum Programming for Software Engineering

        Recommendations