Tuesday, October 13, 2020 (Online Conference)
Session 1. 10:45 - 12:15
Workshop presentation by the organizers
Inside the Quantum Software Engineering & Programming Manifesto
This talk provide an outlook to the recent Talavera Manifesto on Quantum Software Engineering & Programming, its main commitments and call for action
Keynote. "Utilizing NISQ devices for evaluation quantum algorithms"
Senior Research Scientist. Lead, Quantum Artificial Intelligence Laboratory (QuAIL).
NASA Ames Research Center
Session 2. 13:00 - 14:30
A Roadmap for Quantum Software Engineering: applying the lessons learned from the classics
Quantum Computing is one of the emerging areas of computing that currently generates more expectations. However, there are many doubts about its actual future projection. On the one hand, the industry shows reluctance to invest in it. The main reasons are the high costs of the hardware, together with the fact that current commercial quantum computers offers a potential that goes little beyond experimentation. On the other hand, there is controversy in the research community about the feasibility of creating and programming powerful and reliable quantum computers. The possibility of having reliable hardware with a reasonable number of Qbits seems still distant. Finally, current quantum programming tools are still at almost logic gate level, which limits the possibility of creating real complex quantum software systems. If we look back in time, this situation is reminiscent of the Software Crisis experienced by classical computing in the 60's. This talk starts from this analogy and, analyzing the advances and lessons learned in the field of Software Engineering in the last 60 years, raises the directions that could help to develop the future Quantum Software Engineering.
Off-the-self components for Quantum Programming and Testing
In this position paper, we argue that readily available components are much needed as central contributions towards not only enlarging the community of quantum computer programmers, but also in order to increase their effi ciency and eff ectiveness. We describe the work we intend to do towards providing such components, namely by developing and making available libraries of quantum algorithms and data structures, and libraries for testing quantum programs. We fi nally argue that Quantum Computer Programming is such an eff ervescent area that synchronization eff orts and combined strategies within the community are demanded to shorten the time frame until quantum advantage is observed and can be explored in practice.
Software tooling for rapid experimentation in quantum computing with Orquestra
Session 3. 15:15 - 16:45
Requirements for Quantum Software Platforms
Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K
Francesco Piro, Mehrnoosh Askarpour and Elisabetta Di Nitto
Quantum computers promise to allow for great improvements in the solution of k-SAT problem, which is one of the fundamental problems of computational logic. In order to evaluate this possibility, in this work, we generalized a pre-existing quantum 3-SAT solver to the most general case for the number of variables, clauses, and k, using the IBM Qiskit library. We extended basic gates and steps of the underlying algorithm to reduce the number of used qubits and gates, in order to deal with the decoherence problem. We tested our solution on complex instances of k-SAT, which preserved the exponential speedup promised by Grover algorithm
A Tool for Quantum Software Evolution
Organizations need to adapt their classical information systems alongside new specific quantum applications, evolving toward classical-quantum information systems. Today, there are not specific methods for dealing with this challenge. This talk discusses how reengineering, and more specifically software modernization using model-driven engineering principles, could be useful for migrating classical systems toward hybrid ones.
* the program is scheduled in MST, Mountain Standard Time Zone