QADL: Prototype of Quantum Architecture Description Language
Quantum Software (QSW) uses the principles of quantum mechanics, specifically programming quantum bits (qubits) that manipulate quantum gates, to implement quantum computing systems. QSW has become a specialized field of software development, requiring specific notations, languages, patterns, and tools for mapping the behavior of qubits and the structure of quantum gates to components and connectors of QSW architectures. To support declarative modeling of QSW, we aim to enable architecture-driven development, where software engineers can design, program, and evaluate quantum software systems by abstracting complex details through high-level components and connectors. We introduce QADL (Quantum Architecture Description Language), which provides a specification language, design space, and execution environment for architecting QSW. Inspired by classical ADLs, QADL offers (1) a graphical interface to specify and design QSW components, (2) a parser for syntactical correctness, and (3) an execution environment by integrating QADL with IBM Qiskit. The initial evaluation of QADL is based on usability assessments by a team of quantum physicists and software engineers, using quantum algorithms such as Quantum Teleportation and Grover’s Search. QADL offers a pioneering specification language and environment for QSW architecture. A demo is available at https://www.youtube.com/watch?v=xaplHH_3NtQ&feature=youtu.be
Thu 19 JunDisplayed time zone: Athens change
15:30 - 17:05 | Bugs and Research MethodsResearch Papers / Journal-first / Short Papers, Emerging Results at Workshop Room Chair(s): Ethem Utku Aktas Softtech Inc. | ||
15:30 10mTalk | An Anatomy of 488 Faults from Defects4J Based on the Control- and Data-Flow Graph Representations of Programs Short Papers, Emerging Results Pre-print | ||
15:40 15mTalk | Fast Fixes and Faulty Drivers: An Empirical Analysis of Regression Bug Fixing Times in the Linux Kernel Research Papers | ||
15:55 15mTalk | Designing experiment objects for Continuous Experimentation: An exploratory multiple-case study Research Papers | ||
16:10 10mTalk | Further Evidence on a Controversial Topic about Human-Based Experiments: Professionals vs. Students Short Papers, Emerging Results Simone Romano University of Salerno, Francesco Paolo Sferratore University of Salerno, Giuseppe Scanniello University of Salerno | ||
16:20 10mTalk | How has Experimentation in Software Engineering been Taught? A Survey Replication Short Papers, Emerging Results | ||
16:30 10mTalk | QADL: Prototype of Quantum Architecture Description Language Short Papers, Emerging Results Muhammad Waseem Faculty of Information Technology and Communication Sciences, Tampere University, 33014 Tampere, Finland, Aakash Ahmad School of Computing and Communications, Lancaster University Leipzig, Leipzig, Germany, Tommi Mikkonen University of Jyvaskyla, Muhammad Taimoor Khan University of Greenwich, Majid Haghparast University of Jyväskylä, Vlad Stirbu Faculty of Information Technology and Communication Sciences, Tampere University, Tampere, Finland, Peng Liang Wuhan University, China Pre-print | ||
16:40 10mTalk | Towards Lean Research Inception: Assessing Practical Relevance of Formulated Research Problems Short Papers, Emerging Results Anrafel Fernandes Pereira Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Marcos Kalinowski Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Maria Teresa Baldassarre Department of Computer Science, University of Bari , Jürgen Börstler Blekinge Institute of Technology, Nauman Ali Blekinge Institute of Technology, Daniel Mendez Blekinge Institute of Technology and fortiss Pre-print | ||
16:50 15mTalk | On the suitability of hugging face hub for empirical studies Journal-first Adem Ait University of Luxembourg, Javier Luis Cánovas Izquierdo Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology | ||