ESEC/FSE 2023 CoLos
31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023)
Powered by
Conference Publishing Consulting

2nd International Workshop on Quantum Programming for Software Engineering (QP4SE 2023), December 4, 2023, San Francisco, CA, USA

QP4SE 2023 – Proceedings

Contents - Abstracts - Authors

2nd International Workshop on Quantum Programming for Software Engineering (QP4SE 2023)


Title Page

Welcome from the Chairs
Welcome to the second edition of the workshop on Quantum Programming for Software Engineering (QP4SE) to be held virtually, December 4th, 2023, co-located with ESEC/FSE 2023, San Francisco.

QP4SE 2023 Organization


Securing Smart Cities: Unraveling Quantum as a Service
Danilo Caivano ORCID logo, Mirko De Vincentiis ORCID logo, Anibrata Pal ORCID logo, and Azzurra Ragone ORCID logo
(University of Bari, Italy)
Smart Cities attract significant attention and investment from government and private entities, leading to their rapid development. With such growth in Smart Cities, data volume and diversity increase due to Internet of Things (IoT) sensors in devices. However, this abundance of data exposes millions of vulnerable devices to cyber threats, risking compromised security and sensitive information. To address these risks, Smart Cities utilize Intelligent Operations Centers (IOCs) equipped with Machine Learning (ML) algorithms. These algorithms continuously monitor and protect against security incidents. Although Quantum Computing (QC) has shown promise in Smart City applications, its usage as a service is still in the early stages. In this paper, we propose to investigate the utilization of Quantum as a Service (QaaS) to develop an architecture for securing a Smart City. Our approach employs Quantum Classifiers, QBoost from D-Wave Leap Quantum Cloud and Variational Quantum Classifier, and PegaSoS Quantum Support Vector Classifier from IBM Quantum Services. These provide real-time data classification and a user-friendly dashboard to display security incidents in the Smart City. Among the three quantum classifiers considered for the proposed architecture, QBoost performed the best both regarding quality and processing time.

Publisher's Version
Extending Developer Support: Quantum Artificial Intelligence for Automotive Security
Danilo Caivano ORCID logo, Mirko De Vincentiis ORCID logo, Anibrata Pal ORCID logo, and Michele Scalera ORCID logo
(University of Bari, Italy)
With the adoption of advanced technology in the automotive field, managing the risks of attack in modern vehicles becomes essential. Some research works substantially exploit Machine Learning algorithms to identify threats conducted on vehicles, particularly on the Controller Area Network (CAN) bus. Therefore, it is necessary not only to use Intrusion Detection Systems (IDSs) to identify attacks but also to help the engineers in the automotive field understand the dangerousness of the attack and help them resolve the vulnerability. With the increasing attention to Quantum Computing (QC), QC-based Artificial Intelligence algorithms have become very popular among many researchers for improving the prediction and the time performance to identify an attack. This paper proposes a methodology, SeQuADE (Secure Quantum Automotive Development and Engineering), to identify CAN attacks and to support developers by proposing associated automotive vulnerabilities and solutions obtained from National Vulnerability Database (NVD).

Publisher's Version
Quantum Computing for Learning Analytics: An Overview of Challenges and Integration Strategies
Alessandro Pagano ORCID logo, Mario Angelelli ORCID logo, Miriana Calvano ORCID logo, Antonio Curci ORCID logo, and Antonio Piccinno ORCID logo
(University of Bari, Italy; University of Salento, Italy)
Quantum computing has emerged as a promising technology with the potential to revolutionize various fields, including learning analytics. This research paper explores the applications of quantum computing in learning analytics and discusses the suitability of quantum techniques for addressing the challenges posed by large-scale educational datasets. It also investigates the integration of quantum computing with existing learning analytics pipelines, highlighting compatibility issues, data representation and transformation challenges, algorithmic complexity, and evaluation considerations. By understanding the potential benefits, limitations, and integration strategies, researchers can pave the way for the development of innovative tools and approaches to analyze educational data and provide personalized learning experiences.

Publisher's Version
On the Need of Quantum-Oriented Paradigm
Shaukat AliORCID logo and Tao Yue ORCID logo
(Simula Research Laboratory, Norway; Oslo Metropolitan University, Norway)
Since the invention of Quantum Computing (QC) in the 1980s, substantial claims about QC’s ability to solve computational problems of unparalleled complexity have emerged. However, forty years later, no significant real-world QC applications exist. Indeed, the availability of small-scale noisy quantum computers is to blame. Still, simultaneously, the programming of quantum computers is too close to quantum hardware, requiring software engineers with specialized backgrounds to build QC applications and limiting the maximum exploitation of QC’s potential. Thus, there is a need for an abstract yet intuitive quantum-oriented paradigm (QOP) for building QC applications, similar to the object-oriented paradigm established in the 1960s for classical computers that laid the foundations of modern programming and modeling languages for classical computers. Unfortunately, such a QC paradigm doesn’t exist. Thus, we foresee the need to build a novel QOP based on which future quantum programming and modeling languages shall be developed. Such QOP shall enable users with diverse backgrounds (e.g., computer scientists, software engineers, and physicists) to build QC applications cost-effectively, intuitively, and independently of low-level quantum mechanics characteristics (e.g., superposition and entanglement). This paper discusses the emerging work of QOP and presents research directions that the software engineering and programming communities can follow to build a successful QOP.

Publisher's Version

proc time: 2.4