发布求助
文献互助 智能选刊 最新文献

2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)最新文献

筛选
英文 中文
[Copyright notice] (版权)
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-06-01 DOI: 10.1109/q-se52541.2021.00003
{"title":"[Copyright notice]","authors":"","doi":"10.1109/q-se52541.2021.00003","DOIUrl":"https://doi.org/10.1109/q-se52541.2021.00003","url":null,"abstract":"","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116108195","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
[Title page] (标题页)
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-06-01 DOI: 10.1109/q-se52541.2021.00001
{"title":"[Title page]","authors":"","doi":"10.1109/q-se52541.2021.00001","DOIUrl":"https://doi.org/10.1109/q-se52541.2021.00001","url":null,"abstract":"","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130875534","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Experimental Implementation of Discrete Time Quantum Walk with the IBM Qiskit Library 用IBM Qiskit库实现离散时间量子行走的实验
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-06-01 DOI: 10.1109/Q-SE52541.2021.00014
Pierriccardo Olivieri, M. Askarpour, E. D. Nitto
{"title":"Experimental Implementation of Discrete Time Quantum Walk with the IBM Qiskit Library","authors":"Pierriccardo Olivieri, M. Askarpour, E. D. Nitto","doi":"10.1109/Q-SE52541.2021.00014","DOIUrl":"https://doi.org/10.1109/Q-SE52541.2021.00014","url":null,"abstract":"This paper presents an implementation of quantum random walk using the Qiskit library, given the quantum circuits extracted from the literature. We started by implementing an instance of Coined Discrete Quantum Walk on an 8-node cyclic graph. Observing the limitations of this implementation, we experimented a different approach by proposing an implementation for Szegedy Quantum Walk in the IBM Qiskit library [1]. The proposed solution could be used as a building block to construct quantum implementation of other classic algorithms.","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133806374","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Towards Model-Driven Quantum Software Engineering 面向模型驱动的量子软件工程
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-06-01 DOI: 10.1109/Q-SE52541.2021.00010
Felix Gemeinhardt, Antonio Garmendía, M. Wimmer
{"title":"Towards Model-Driven Quantum Software Engineering","authors":"Felix Gemeinhardt, Antonio Garmendía, M. Wimmer","doi":"10.1109/Q-SE52541.2021.00010","DOIUrl":"https://doi.org/10.1109/Q-SE52541.2021.00010","url":null,"abstract":"Quantum technologies are emerging. Dedicated languages for programming Quantum machines are emerging as well and already used in different settings. Orthogonal to this development, Model-Driven Engineering (MDE) is explored to ease the development of software systems by applying modeling techniques such as Domain-Specific Modeling Languages and generative techniques such as code generation. In this position paper, we argue for a dedicated research line which deals with the exploration of how MDE may be applied for Quantum technologies. This combination would allow to speed- up the development of Quantum software, open the door for domain experts to utilize Quantum technologies, and may provide an additional abstraction layer over existing Quantum hardware architectures and programming languages. We outline several research challenges which we derived from a demonstration case of how to exploit domain-specific modeling for social network analysis on Quantum technologies.","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128877808","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 19
QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments QBugs:量子算法中可重复的bug集合和支持基础设施，以实现受控量子软件测试和调试实验
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-03-31 DOI: 10.1109/Q-SE52541.2021.00013
José Campos, André Souto
{"title":"QBugs: A Collection of Reproducible Bugs in Quantum Algorithms and a Supporting Infrastructure to Enable Controlled Quantum Software Testing and Debugging Experiments","authors":"José Campos, André Souto","doi":"10.1109/Q-SE52541.2021.00013","DOIUrl":"https://doi.org/10.1109/Q-SE52541.2021.00013","url":null,"abstract":"Reproducibility and comparability of empirical results are at the core tenet of the scientific method in any scientific field. To ease reproducibility of empirical studies, several benchmarks in software engineering research, such as Defects4J, have been developed and widely used. For quantum software engineering research, however, no benchmark has been established yet. In this position paper, we propose a new benchmark—named QBugs—which will provide experimental subjects and an experimental infrastructure to ease the evaluation of new research and the reproducibility of previously published results on quantum software engineering.","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127825363","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 32
Modelling Quantum Circuits with UML 用UML建模量子电路
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-03-30 DOI: 10.1109/Q-SE52541.2021.00009
Ricardo Pérez-Castillo, Luis Jiménez-Navajas, M. Piattini
{"title":"Modelling Quantum Circuits with UML","authors":"Ricardo Pérez-Castillo, Luis Jiménez-Navajas, M. Piattini","doi":"10.1109/Q-SE52541.2021.00009","DOIUrl":"https://doi.org/10.1109/Q-SE52541.2021.00009","url":null,"abstract":"None of the quantum computing applications imagined will ever become a reality without quantum software. Quantum programmes have, to date, been coded with ad hoc techniques. Researchers in the field of quantum software engineering are, therefore, now demanding more systematic techniques and methods with which to produce software with sufficient quality. One of the challenges and lessons learned from classic software engineering is the need for high-level, abstract and technology-independent representations with which to design software before it is coded. This paper specifically addresses this challenge for quantum software design. Since UML is a well-proven modelling language that has been widely employed by industry for some time, we propose a UML extension for the representation of quantum algorithms. Our proposal comprises the definition of a UML profile based on various stereotypes that can be applied to the existing UML activity diagrams in order to represent quantum circuits. The advantage of this representation is that UML quantum circuits can be interrelated with other UML elements and diagrams, which will make it possible to represent various concerns and viewpoints of the so-called hybrid information systems. This will consequently enable classical and quantum aspects to be modelled together in integrated designs in a technological-agnostic manner that is already supported by a considerable number of existing software design tools.","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115264745","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Generalised Quantum Tree Search 广义量子树搜索
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-03-25 DOI: 10.1109/Q-SE52541.2021.00015
André Sequeira, L. Santos, L. S. Barbosa
{"title":"Generalised Quantum Tree Search","authors":"André Sequeira, L. Santos, L. S. Barbosa","doi":"10.1109/Q-SE52541.2021.00015","DOIUrl":"https://doi.org/10.1109/Q-SE52541.2021.00015","url":null,"abstract":"This extended abstract reports on on-going research on quantum algorithmic approaches to the problem of generalised tree search that may exhibit effective quantum speedup, even in the presence of non-constant branching factors. Two strategies are briefly summarised and current work outlined.","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123683052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Quantum Software Models: The Density Matrix for Classical and Quantum Software Systems Design 量子软件模型:经典和量子软件系统设计的密度矩阵
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-03-25 DOI: 10.1109/Q-SE52541.2021.00008
I. Exman, Alon Tsalik Shmilovich
{"title":"Quantum Software Models: The Density Matrix for Classical and Quantum Software Systems Design","authors":"I. Exman, Alon Tsalik Shmilovich","doi":"10.1109/Q-SE52541.2021.00008","DOIUrl":"https://doi.org/10.1109/Q-SE52541.2021.00008","url":null,"abstract":"Linear Software Models enable rigorous linear algebraic procedures for modular design of classical software systems. These procedures apply a spectral approach to matrix representations – e.g. the Laplacian – of the software system. Recent intensive research efforts towards quantum computers have increased expectations that quantum computing could in due time materialize as a practical alternative to classical computing. It is reasonable to inquire about quantum software desirable features and prepare in advance modular design procedures for quantum software systems. However, it does not make sense to have two totally separate procedures for modular design, one for classical software systems and another for quantum software systems. This paper claims that there should be just a single unified and rigorous design procedure for both classical and quantum software systems. Our common design procedure starting point for both classical and quantum software systems is Von Neumann's quantum notion of Density Operator and its Density Matrix representation. This paper formulates and demonstrates modular design in terms of projection operators obtained from a design Density Matrix and shows their equivalence to the Linear Software Models results of the Laplacian matrix spectrum for the classical case. The application in practice of the design procedure for both classical and quantum software is illustrated by case studies.","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114428136","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Some Size and Structure Metrics for Quantum Software 量子软件的一些尺寸和结构度量
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-03-16 DOI: 10.1109/Q-SE52541.2021.00012
Jianjun Zhao
{"title":"Some Size and Structure Metrics for Quantum Software","authors":"Jianjun Zhao","doi":"10.1109/Q-SE52541.2021.00012","DOIUrl":"https://doi.org/10.1109/Q-SE52541.2021.00012","url":null,"abstract":"Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it is drawing increasing attention recently. As research in quantum programming reaches maturity with a number of active research and practical products, software metric researchers need to focus on this new paradigm to evaluate it rigorously and quantitatively. As the first step, this paper proposes some basic metrics for quantum software, which mainly focus on measuring the size and structure of quantum software. These metrics are defined at different abstraction levels to represent various size and structure attributes in quantum software explicitly. The proposed metrics can be used to evaluate quantum software from various viewpoints.","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131561798","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Identifying Bug Patterns in Quantum Programs 识别量子程序中的Bug模式
2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE) Pub Date : 2021-03-16 DOI: 10.1109/Q-SE52541.2021.00011
Pengzhan Zhao, Jianjun Zhao, Lei Ma
{"title":"Identifying Bug Patterns in Quantum Programs","authors":"Pengzhan Zhao, Jianjun Zhao, Lei Ma","doi":"10.1109/Q-SE52541.2021.00011","DOIUrl":"https://doi.org/10.1109/Q-SE52541.2021.00011","url":null,"abstract":"Bug patterns are erroneous code idioms or bad coding practices that have been proved to fail time and time again, which are usually caused by the misunderstanding of a programming language's features, the use of erroneous design patterns, or simple mistakes sharing common behaviors. This paper identifies and categorizes some bug patterns in the quantum programming language Qiskit and briefly discusses how to eliminate or prevent those bug patterns. We take this research as the first step to provide an underlying basis for debugging and testing quantum programs.","PeriodicalId":175820,"journal":{"name":"2021 IEEE/ACM 2nd International Workshop on Quantum Software Engineering (Q-SE)","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131518404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 29
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信