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

Metadata
Links
Versions
Statistics
  • 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 technology
    Copyright Holder ACM Press
    Copyright Year 2020
    Copyright type All rights reserved
    ISBN 9781450379632
    DOI 10.1145/3387940.3392184
  • Versions
    Version Filter Type
  • Citation counts
    Google Scholar Search Google Scholar
    Access Statistics: 460 Abstract Views  -  Detailed Statistics
    Created: Fri, 12 Feb 2021, 00:31:44 JST by Mario Peixoto on behalf of UNU EGOV