Search Results

QASMBench: A Low-level QASM Benchmark Suite for NISQ Evaluation and Simulation

4 code implementations26 May 2020

For evaluation, we measure the execution fidelity of a subset of QASMBench applications on 12 IBM-Q machines through density matrix state tomography, which comprises 25K circuit evaluations.

Quantum Physics

Quantum Relational Hoare Logic

1 code implementation14 Jan 2019

This logic follows the spirit of probabilistic relational Hoare logic (Barthe et al. 2009) and allows us to formulate how the outputs of two quantum programs relate given the relationship of their inputs.

Quantum Physics Logic in Computer Science

Formal Methods for Quantum Programs: A Survey

1 code implementation14 Sep 2021

While recent progress in quantum hardware open the door for significant speedup in certain key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum algorithms are still hard to implement right, and the validation of such quantum programs is achallenge.

Programming Languages

Cannot find the paper you are looking for? You can Submit a new open access paper.