Supermarq: A scalable quantum benchmark suite

T Tomesh, P Gokhale, V Omole, GS Ravi… - … Symposium on High …, 2022 - ieeexplore.ieee.org
The emergence of quantum computers as a new computational paradigm has been
accompanied by speculation concerning the scope and timeline of their anticipated …

Optimal layout synthesis for quantum computing

B Tan, J Cong - Proceedings of the 39th International Conference on …, 2020 - dl.acm.org
Recent years have witnessed the fast development of quantum computing. Researchers
around the world are eager to run larger and larger quantum algorithms that promise …

A survey and tutorial on security and resilience of quantum computing

AA Saki, M Alam, K Phalak, A Suresh… - 2021 IEEE European …, 2021 - ieeexplore.ieee.org
Present-day quantum computers suffer from various noises or errors such as, gate error,
relaxation, dephasing, readout error, and crosstalk. Besides, they offer a limited number of …

A hardware-aware heuristic for the qubit mapping problem in the nisq era

S Niu, A Suau, G Staffelbach… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
Due to several physical limitations in the realization of quantum hardware, today's quantum
computers are qualified as noisy intermediate-scale quantum (NISQ) hardware. NISQ …

Circuit compilation methodologies for quantum approximate optimization algorithm

M Alam, A Ash-Saki, S Ghosh - 2020 53rd Annual IEEE/ACM …, 2020 - ieeexplore.ieee.org
The quantum approximate optimization algorithm (QAOA) is a promising quantum-classical
hybrid algorithm to solve hard combinatorial optimization problems. The multi-qubit …

Advanced equivalence checking for quantum circuits

L Burgholzer, R Wille - … on Computer-Aided Design of Integrated …, 2020 - ieeexplore.ieee.org
In the not-so-distant future, quantum computing will change the way we tackle certain
problems. It promises to dramatically speed-up many chemical, financial, cryptographical …

Optimality study of existing quantum computing layout synthesis tools

B Tan, J Cong - IEEE Transactions on Computers, 2020 - ieeexplore.ieee.org
Layout synthesis, an important step in quantum computing, processes quantum circuits to
satisfy device layout constraints. In this paper, we construct QUEKO benchmarks for this …

Scalable optimal layout synthesis for NISQ quantum processors

WH Lin, J Kimko, B Tan, N Bjørner… - 2023 60th ACM/IEEE …, 2023 - ieeexplore.ieee.org
Due to its effect on the success rate of a quantum circuit, quantum layout synthesis is a
crucial step for circuit compilation. As such, having a layout synthesis tool that provides high …

Best approximate quantum compiling problems

L Madden, A Simonetto - ACM Transactions on Quantum Computing, 2022 - dl.acm.org
We study the problem of finding the best approximate circuit that is the closest (in some
pertinent metric) to a target circuit, and which satisfies a number of hardware constraints, like …

Qubit mapping and routing via MaxSAT

A Molavi, A Xu, M Diges, L Pick, S Tannu… - 2022 55th IEEE/ACM …, 2022 - ieeexplore.ieee.org
Near-term quantum computers will operate in a noisy environment, without error correction.
A critical problem for near-term quantum computing is laying out a logical circuit onto a …