FSE 2024 CoLos
32nd ACM International Conference on the Foundations of Software Engineering (FSE 2024)
Powered by
Conference Publishing Consulting

1st ACM International Workshop on Quantum Software Engineering: The Next Evolution (QSE-NE 2024), July 16, 2024, Porto de Galinhas, Brazil

QSE-NE 2024 – Preliminary Table of Contents

Contents - Abstracts - Authors
Twitter: https://twitter.com/esecfse

1st ACM International Workshop on Quantum Software Engineering: The Next Evolution (QSE-NE 2024)

Frontmatter

Title Page


Message from the Chairs


Committees


Papers

Quantum Software Engineering: A New Genre of Computing
Muhammad Azeem Akbar ORCID logo, Arif Ali Khan ORCID logo, Sajjad Mahmood ORCID logo, and Saima Rafi ORCID logo
(LUT University, Finland; University of Oulu, Finland; King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia; Edinburgh Napier University, United Kingdom)
The quantum computing (QC) field is rapidly moving beyond the realm of pure science to become a commercially viable technology that may be able to overcome the drawbacks of traditional computing. Major technology tycoons have spent in building coding frameworks and hardware to create applications specifically designed for quantum computing over the last few years. The development of QC hardware is accelerating, however, the requirement for software-intensive methodology, approaches, procedures, instruments, roles and responsibilities for creating industrial-focused quantum software applications arises from operationalizing the QC. This paper outlines the concept of quantum software engineering (QSE) life cycle, which entails the engineering of quantum requirements, design, implementation, testing and maintenance of quantum software. This paper notably advocates for collaborative efforts between the industrial community and software engineering research to propose practical solutions to support the complete activities for the development of quantum software. The proposed vision makes it easier for researchers and practitioners to suggest new procedures, reference designs, cutting-edge equipment, and methods for utilizing quantum computers and creating the newest and most advanced quantum software.

Article Search
QCSHQD: Quantum Computing as a Service for Hybrid Classical-Quantum Software Development: A Vision
Maryam Tavassoli Sabzevari ORCID logo, Matteo Esposito ORCID logo, Davide Taibi ORCID logo, and Arif Ali Khan ORCID logo
(University of Oulu, Finland; University of Rome Tor Vergata, Italy)
Quantum Computing (QC) is transitioning from theoretical frameworks to an indispensable powerhouse of computational capability, resulting in extensive adoption across both industrial and academic domains. QC presents exceptional advantages, including unparalleled processing speed and the potential to solve complex problems beyond the capabilities of classical computers. Nevertheless, academic researchers and industry practitioners encounter various challenges in harnessing the benefits of this technology. The limited accessibility of QC resources for classical developers, and a general lack of domain knowledge and expertise, represent insurmountable barrier, hence to address these challenges, we introduce a framework- Quantum Computing as a Service for Hybrid Classical-Quantum Software Development (QCSHQD), which leverages service-oriented strategies. Our framework comprises three principal components: an Integrated Development Environment (IDE) for user interaction, an abstraction layer dedicated to orchestrating quantum services, and a service provider responsible for executing services on quantum computer. This study presents a blueprint for QCSHQD, designed to democratize access to QC resources for classical developers who want to seamless harness QC power. The vision of QCSHQD paves the way for groundbreaking innovations by addressing key challenges of hybridization between classical and quantum computers.

Article Search
Bridging Realms: From Classical to Quantum Computing
Matteo Esposito ORCID logo, Maryam Tavassoli Sabzevari ORCID logo, Boshuai Ye ORCID logo, Davide Falessi ORCID logo, Arif Ali Khan ORCID logo, and Davide Taibi ORCID logo
(University of Rome Tor Vergata, Italy; University of Oulu, Finland; Aalto University, Finland)
Quantum computing, albeit readily available as hardware or emulated on the cloud, is still far from being available in general regarding complex programming paradigms and learning curves. This vision paper introduces Classi|Q⟩, a translation framework idea to bridge Classical and Quantum Computing by translating high-level programming languages, e.g., Python or C++, into a low-level language, e.g., Quantum Assembly. Our idea paper serves as a blueprint for ongoing efforts in quantum software engineering, offering a roadmap for further Classi|Q⟩ development to meet the diverse needs of researchers and practitioners. Classi|Q⟩ is designed to empower researchers and practitioners with no prior quantum experience to harness the potential of hybrid quantum computation. We also discuss future enhancements to Classi|Q⟩, including support for additional quantum languages, improved optimization strategies, and integration with emerging quantum computing platforms.

Article Search
Gate Branch Coverage: A Metric for Quantum Software Testing
Daniel Fortunato ORCID logo, José Campos ORCID logo, and Rui AbreuORCID logo
(University of Porto, Portugal; INESC-ID, Portugal; University of Lisbon, Portugal)
The inherent lack of technologies and knowledge from software developers about the intricacies of quantum physics constitutes a heavy hindrance in the development of correct quantum software. Therefore, quantum computing testing techniques are currently under heavy research. This paper proposes a new testing metric, Gate Branch Coverage. This metric aims to provide insight into the verification process status of quantum programs and enhance the quantum testing process overall. Gate Branch Coverage explores the properties of quantum controlled-type gates, measuring their number of exercised branches during the execution of quantum programs.

Article Search
A Conceptual Framework for Quantum Integration Challenges in 6G Technology
Saima Rafi ORCID logo, Muhammad Azeem Akbar ORCID logo, and Sajjad Mahmood ORCID logo
(Edinburgh Napier University, United Kingdom; LUT University, Finland; King Fahd University of Petroleum and Minerals, Dhahran, Saudi Arabia)
This study investigates the challenges associated with the implementation of quantum computing (QC) in the context of 6G technology. It builds upon prior research to explore the pivotal role QC plays in shaping the future landscape of telecommunications. Through an in-depth analysis, we identify and examine key application areas of QC within the realm of 6G, drawing insights from existing literature. By dissecting these challenges, our research aims to enhance understanding of the effective integration of QC into 6G networks, offering valuable insights for both industry practitioners and academic scholars. Ultimately, this study underscores the transformative potential of QC within the framework of 6G technology and lays a foundation for further exploration in this rapidly evolving field.

Article Search
Integrating Quantum Computing and Blockchain: Building the Foundations of Secure, Efficient 6G Technology
Muhammad Zohaib ORCID logo, Fahad S. Altuwaijri ORCID logo, and Sami Hyrynsalmi ORCID logo
(LUT University, Finland; Qassim University, Saudi Arabia)
This research presents a modern framework that combine quantum computing and blockchain technologies to transform city management in provision for the 6G era. Quantum computing is recognized for its extraordinary processing power, while blockchain is known for its security, privacy, and transparency. these modern technologies can leverage from the 6G technologies capabilities like high speed, low latency, high bandwidth with giant connectivity. The idea of the study comes due to the few comprehensive standards and frameworks that facilitate the effective employment of these advanced technologies in the context of 6G. The proposed Quantum-Blockchain-6G (QBG) Framework main objective to leverage these emerging technologies with 6G capabilities to bridge the gap by providing the proper guidelines and framework to manage city management infrastructure with the help of efficient delivery of the required services. we used mixed method as interviews with expert, systematic literature review and case studies for this study to explore the challenges for integration of blockchain and quantum computing in 6g technology context and developed strategic framework for these challenges and evaluate its impact in the management activities in city management. This research will highlight critical challenges, relate to the quantum computing such as the complexity and cost and blockchain scalability. Furthermore, the study will investigate the integration the threads of advanced cryptographic measurement to mitigate quantum threats. This framework is precisely designed to empower cities management by utilizing the power of these emerging technologies that use 6G to meet the future connectivity demands in city management to make it smarter, faster, secure and trustworthy for the society.

Article Search

proc time: 0.9