$$\mathtt {Entang{\lambda }}$$Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains

Anticoli, Linda; Piazza, Carla; Taglialegne, Leonardo; Zuliani, Paolo

doi:10.1007/978-3-319-91632-3_9

Cited by 2 publications

(6 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…QPMC is a model checker developed for the verification of quantum protocols specified as Quantum Markov Chains. In a previous study, 40 Anticoli et al present Entangλe, a framework for translating Quipper‐like programs into the QPMC model checker, allowing to perform automatic formal verification of quantum protocols.…”

Section: Resultsmentioning

confidence: 99%

“…QPMC is a model checker developed for the verification of quantum protocols specified as Quantum Markov Chains. In a previous study, 40 In a previous study, 36 Smelyanskiy et al present a high-performance distributed quantum simulator for classic computers named qHiPSTER, which can simulate single-qubit gates and controlled two-qubit gates for testing purposes. It has been performance-checked for up to 40-qubit algorithms, achieving high-performance and hardware efficiency limited by memory and bandwidth.…”

Section: Frameworkmentioning

confidence: 99%

See 1 more Smart Citation

Quantum software testing: State of the art

Barrera

Guzmán

Polo

et al. 2021

J Software Evolu Process

View full text Add to dashboard Cite

Quantum computing is expected to exponentially outperform classic computing on a broad set of problems, including encryption, machine learning, and simulations. It has an impact yet to explore on all software lifecycle's processes and techniques. Testing quantum software raises a significant number of challenges due to the unique properties of quantum physics-such as superposition and entanglementand the stochastic behavior of quantum systems. It is, therefore, an open research issue. In this work, we offer a systematic mapping study of quantum software testing engineering, presenting a comprehensive view of the current state of the art. The main identified trends in testing techniques are (1) the statistic approaches based on repeated measurements and (2) the use of Hoare-like logics to reason about software correctness.Another relevant line of research is reversible circuit testing, which is partially applicable to quantum software unitary testing. Finally, we have observed a flourishing of secondary studies and frameworks supporting testing processes from 2018 onwards. | INTRODUCTIONQuantum computing (QC) processes information using quantum mechanics principles. In comparison to classic computing (CC), this paradigm has the potential to solve specific problems with exponential speedup. 1 QC has a wide number of applications and is expected to outperform CC in two particular kinds of computations 2 :• Applications that involve large amounts of parallel computing such as encryption, 3 big data, 4 optimization, 5 or machine learning. 6• Simulation of quantum natural phenomena, such as chemistry, 7 physics, 8 and materials science. 9With the growing accessibility of quantum computers and simulators, many concerns have arisen related to quantum software and its lifecycle and quality. Quantum software will be developed in a large-scale industrial context in the same way that classic software is nowadays produced. This implies that quantum software must be developed, operated, and maintained in a systematic, disciplined, and quantifiable manner; that is, quantum software development must be supported by a yet nonexisting body of knowledge on quantum software engineering (QSE) that must be developed to avoid a quantum software crisis. Some authors have already voiced the need to "build a community for QSE that focuses on devising methods, tools, and processes for developing quantum software systems efficiently" 10 and the need for an agenda that sets out a solid, rigorous software engineering (SE) discipline for quantum systems. 11 Others are convinced that QC could bring a "new SE golden age", 12 identifying several priority areas to be developed in QSE.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Frameworkmentioning

confidence: 99%

Quantum software testing: State of the art

Barrera

Guzmán

Polo

et al. 2021

J Software Evolu Process

View full text Add to dashboard Cite

show abstract

“…A more in-depth description of both Entangλe and the underlying translation algorithm are provided in [2,1].…”

Section: Methodsmentioning

confidence: 99%

“…We tested Entangλe with simple implementations of different programs, i.e., Deutsch-Jozsa, a Groverbased quantum switch function, teleportation. Grover's search and the BB84 quantum key distribution protocol were previously analysed in [2].…”

Section: Methodsmentioning

confidence: 99%

“…In this work we focus on quantum Markov chains (QMCs) as models: our aim is to provide a structural operational semantics in terms of QMCs for quantum programs written in a high level quantum programming language. In this way we want to formalise the work presented in [2], in which a tool for the verification of quantum programs formal properties has been presented.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Quantum Markov Chain Semantics for Quip-E Programs

Anticoli¹,

Taglialegne²

2020

Preprint

Self Cite

View full text Add to dashboard Cite

In this work we present a mapping from a fragment of the quantum programming language Quipper, called Quip-E, to the semantics of the QPMC model checker, aiming at the automatic verification of quantum programs. As a main outcome, we define a structural operational semantics for the Quip-E language corresponding to quantum Markov chains, and we use it as a basis for analysing quantum programs through the QPMC model checker. The properties of the semantics are proved and contextualised in the development of a tool translating from quantum programs to quantum Markov chains.

show abstract

$$\mathtt {Entang{\lambda }}$$Entangλe: A Translation Framework from Quipper Programs to Quantum Markov Chains

Cited by 2 publications

References 11 publications

Quantum software testing: State of the art

Quantum software testing: State of the art

Quantum Markov Chain Semantics for Quip-E Programs

Contact Info

Product

Resources

About