Software engineering for "quantum advantage"
Soares Barbosa, Luís, "Software engineering for "quantum advantage"" 42nd International Conference on Software Engineering Workshops (ICSEW 2020), Online, 2020/07/06-11.
Document type:
Conference Publication
Collection:
-
Sub-type Conference paper Author Soares Barbosa, Luís Title Software engineering for "quantum advantage" Event Series International Conference on Software Engineering (ICSE) Publication Date 2020-06 Place of Publication New York Publisher ACM Press Pages 427-429 Title of Event 42nd International Conference on Software Engineering Workshops (ICSEW 2020) Date of Event 2020/07/06-11 Place of Event Online Language eng Abstract Software is a critical factor in the reliability of computer systems. While the development of hardware is assisted by mature science and engineering disciplines, software science is still in its infancy. This situation is likely to worsen in the future with quantum computer systems. Actually, if quantum computing is quickly coming of age, with potential groundbreaking impacts on many different fields, such benefits come at a price: quantum programming is hard and finding new quantum algorithms is far from straightforward. Thus, the need for suitable formal techniques in quantum software development is even bigger than in classical computation. A lack of reliable approaches to quantum computer programming will put at risk the expected quantum advantage of the new hardware. This position paper argues for the need for a proper quantum software engineering discipline benefiting from precise foundations and calculi, capable of supporting algorithm development and analysis. UNBIS Thesaurus SOFTWARE ENGINEERING Keyword quantum computing
formal methods
research line technologyCopyright Holder ACM Press Copyright Year 2020 Copyright type All rights reserved ISBN 9781450379632 DOI 10.1145/3387940.3392184 -
Citation counts Search Google Scholar
Access Statistics: 428 Abstract Views - Detailed Statistics Created: Fri, 12 Feb 2021, 00:31:44 JST by Mario Peixoto on behalf of UNU EGOV