Must read research papers and useful links on quantum compiler. This repo was created voluntarily for me and the research community.

This repo is still in the process of being edited (In the future, I plan to add a GitHub repo corresponding to each paper)

• paper
  • Survey
  • Unified Compilation Framework for Quantum Control
  • Quantum Intermediate Representation
  • Program Representation
  • Instruction scheduling
  • Quantum Program Optimization
  • Quantum ISA
  • Qubit mapping, Qubit allocation
  • Distributed Quantum Computing
• Books
• Software
• Benchmarks and Datasets
• Conferences
• Journals

Survey

• Quantum Compiling - Marco Maronese, Lorenzo Moro, Lorenzo Rocutto, Enrico Prati, 2021

Unified Compilation Framework for Quantum Control

• Compiler for Neutral Atom Arrays

  • Compiling quantum circuits for dynamically field-programmable neutral atoms array processors - D. B. Tan et al., 2024
  • FPQA-C : A Compilation Framework for Field Programmable Qubit Array - Hanrui Wang, Pengyu Liu, Bochen Tan, Yilian Liu, Jiaqi Gu, David Z. Pan, Jason Cong, Umut Acar, and Song Han, ISCA, 2024
  • Qubit mapping for reconfigurable atom arrays - B. Tan et al, ICCAD, 2022
  • Quantum optimization of maximum independent set using Rydberg atom arrays - S.Ebadi et al., Science, 2022
  • Geyser: a compilation framework for quantum computing with neutral atoms - T. Patel et al., ISCA, 2022
  • Exploiting Long-Distance Interactions and Tolerating Atom Loss in Neutral Atom Quantum Architectures - Jonathan M. Baker, et al. ISCA, 2021
  • Software-hardware co-optimization for computational chemistry on superconducting quantum processors - GushuLi, YunongShi, and AliJavadi-Abhari, ISCA, 2021
  • Optimal mapping for near-term quantum architectures based on Rydberg atoms - S.Brandhofer et al., ICCAD, 2021

• Compiler for Ion Traps

  • Quantum Circuit Compiler for a Shuttling-Based Trapped Ion Quantum Computer - Fabian Kreppel et al., 2022
  • TILT: Achieving Higher Fidelity on a Trapped-Ion Linear-Tape Quantum Computing Architecture - Xin-Chuan Wu, Dripto M Debroy, Yongshan Ding, Jonathan M Baker, Yuri Alexeev, Kenneth R Brown, and Frederic T Chong, HPCA, 2020
  • Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers - Prakash Murali, Dripto M. Debroy, Kenneth R. Brown, and Margaret Martonosi, ISCA, 2020

• Superconducting Qubits in Circuit QED

  • Systematic Cross talk Mitigation for Superconducting Qubits via Frequency-Aware Compilation, Yongshan Ding, Pranav Gokhale, Sophia Fuhui Lin, Richard Rines, Thomas Propson, Frederic T. Chong, MICRO, 2020

Quantum Intermediate Representation

• InQuIR: Intermediate Representation for Interconnected Quantum Computers - Shin Nishio, Ryo Wakizaka, 2023
• QSSA: an SSA-based IR for Quantum computing - Anurudh Peduri, Siddharth Bhat, CC, 2022
• Enabling Retargetable Optimizing Compilers for Quantum Accelerators via a Multi-Level Intermediate Representation - Thien Nguyen, Alexander McCaskey, 2021
• A MLIR Dialect for Quantum Assembly Languages - Alexander McCaskey, Thien Nguyen, QCE, 2021
• ScaffCC: A Framework for Compilation and Analysis of Quantum Computing Programs - Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi, Parallel Comput, CF, 2014
• Introducing Quantum Intermediate Representation (QIR)

Program Representation

• QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization - David Ittah, Thomas Häner, Vadym Kliuchnikov, Torsten Hoefler, ACM Transactions on Quantum Computing, 2021

Instruction scheduling

• DISQ: Dynamic Iteration Skipping for Variational Quantum Algorithms - Junyao Zhang, Hanrui Wang, Gokul Subramanian Ravi, Frederic T. Chong, Song Han, Frank Mueller, Yiran Chen, QCE, 2023
• Let Each Quantum Bit Choose Its Basis Gates - Sophia Fuhui Lin, Sara Sussman, Casey Duckering, Pranav S. Mundada, Jonathan M. Baker, Rohan S. Kumar, Andrew A. Houck, Frederic T. Chong, MICRO, 2022
• Software-hardwareco-optimization for computational chemistry on superconducting quantum processors - Gushu Li, Yunong Shi, Ali Javadi-Abhari, ISCA 2021
• Error Mitigation in Quantum Computers through Instruction Scheduling - Kaitlin N. Smith, Gokul Subramanian Ravi, Prakash Murali, Jonathan M. Baker, Nathan Earnest, Ali Javadi-Abhari, Frederic T. Chong, 2021
• EQC: ensembled quantum computing for variational quantum algorithms - Samuel Stein, Yufei Ding, Nathan Wiebe, Bo Peng, Karol Kowalski, Nathan Baker, James Ang, Ang Li, ISCA, 2022
• Software mitigation of crosstalk on noisy intermediate-scale quantum computers - Prakash Murali, David C. McKay, Margaret Martonosi, Ali Javadi-Abhari, ASPLOS, 2020
• TILT: Achieving Higher Fidelity on a Trapped-Ion Linear-Tape Quantum Computing Architecture - Xin-Chuan Wu, Dripto M. Debroy, Yongshan Ding, Jonathan M. Baker, Yuri Alexeev, Kenneth R. Brown, Frederic T. Chong, HPCA, 2020

Quantum Program Optimization

• SuperstaQ: Deep Optimization of Quantum Program - Campbell, Colin, et al. ,QCE, 2023
• Enabling Dataflow Optimization for Quantum Programs - David Ittah, Thomas Häner, Vadym Kliuchnikov, Torsten Hoefler, CoRR, 2021
• A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth Optimal Quantum Circuits - Matthew Amy, Dmitri Maslov, Michele Mosca, Martin Roetteler, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2021
• Automated optimization of large quantum circuits with continuous parameters - Yunseong Nam, Neil J. Ross, Yuan Su, Andrew M. Childs, Dmitri Maslov, Nature npj Quantum Information, 2017
• A software methodology for compiling quantum programs - Thomas Häner, Damian S. Steiger, Krysta Svore, Matthias Troyer, Quantum Science and Technology, 2016
• Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets - Simon Forest, David Gosset, Vadym Kliuchnikov, David McKinnon, Journal of Mathematical Physics, 2015
• Polynomial-TimeT-Depth Optimization of Clifford+T Circuits Via Matroid Partitionin - Matthew Amy, Dmitri Maslov, Michele Mosca, TCAD, 2013
• Assertion-Based Optimization of Quantum Programs - Häner, Thomas, Hoefler, Torsten, Troyer, Matthias, OOPSLA, 2013
• Repeat-until-Success: Non-Deterministic Decomposition of Single-Qubit Unitaries - Adam Paetznick, Krysta M. Svore, Quantum Information & Computation, 2013
• Circuit for Shor’s Algorithm Using 2n+3 Qubits - Stephane Beauregard, Quantum Information and Computation, Quantum Information and Computation, 2002

Quantum ISA

• OpenQASM 3: A Broader and Deeper Quantum Assembly Language - Andrew cross, et al., Transactions on Quantum Computing, 2022
• Open quantum assembly language - Andrew W. Cross, Lev S. Bishop, John A. Smolin, Jay M. Gambetta, 2017
• A Practical Quantum Instruction Set Architecture - Robert S. Smith, Michael J. Curtis, William J. Zeng, 2017

Qubit mapping, Qubit allocation

• Qubit Mapping Toward Quantum Advantage - Chin-Yi Cheng et al., 2022
• Qubit Mapping and Routing via MaxSAT - Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit Tannu, Aws Albarghouthi, MICRO, 2022
• QuCloud: A New Qubit Mapping Mechanism for Multi-programming Quantum Computing in Cloud Environment - Lei Liu, Xinglei Dou, HPCA, 2021
• Time-optimal Qubit mapping - Chi Zhang et al., ASPLOS, 2021
• Not All Qubits Are Created Equal: A Case for Variability-Aware Policies for NISQ-Era Quantum Computers - Swamit S. Tannu, Moinuddin K. Qureshi, ASPLOS, 2019
• Noise-adaptive compiler mappings for noisy intermediate-scale quantum computers. - Prakash Murali, Jonathan M. Baker, Ali Javadi Abhari, Frederic T. Chong, Margaret Martonosi, ASPLOS, 2019

Distributed Quantum Computing

• A Modular Quantum Compilation Framework for Distributed Quantum Computing - Davide Ferrari, Stefano Carretta, Michele Amoretti IEEE Transactions on Quantum Engineering, 2023

• This section is based on this GitHub Repo. awesome-quantum-software

C++

• QCOR - C++ language extension and associated compiler implementation for hybrid quantum-classical programming.
• ScaffCC - Compilation, analysis and optimization framework for the Scaffold quantum programming language.
• tweedledum - C++17 library for analysis, compilation/synthesis, and optimization of quantum circuits.

Mathematica

• UniversalQCompiler - Synthesis of isometries (including unitaries and state preparation), channels and POVMs.

Julia

• QuantumCircuitOpt.jl - Julia package for provably optimal decompositions and compilations of quantum circuits

Python

• Arline Benchmarks - Automated benchmarking platform for quantum compilers, quantum hardware and quantum algorithms.
• BQSKit - Berkeley Quantum Synthesis Toolkit is an optimizing quantum compiler and related tool-set.
• Mitiq - Cross-platform, error-mitigating quantum compiler from Unitary Fund.
• NchooseK - Constraint-programming system that compiles to both circuit-model quantum computers and quantum annealers.
• PyZX - Python library for quantum circuit rewriting and optimisation using the ZX-calculus.
• QEDA - Quantum electronic design automation software for optical circuits using QASM.
• QGL2 Compiler - Language compiler for imperative Quantum Gate Language (QGL).
• Qiskit Terra - Python library for quantum circuit rewriting and optimization (supported by IBM).
• Qubiter - Quantum compiler with Python wrapper for LAPACK's CS Decomposition to build a binary tree of matrices.
• SAT Circuits Engine - Qiskit-based high-level quantum circuits synthesis engine for n-SAT problems.

Common Lisp

• quilc - Rigetti's optimizing Quil compiler.

• Quantum Computer Systems Research for Noisy Intermediate-Scale Quantum Computers (Synthesis Lectures on Computer Architecture)-Morgan & Claypool Publishers (2020)

• HPCA, ASPLOS, ISCA, MICRO, ICCAD, DAC, CC
  
• QCE(Quantum Computing and Engineering)
  
• CF(Computing Frontiers)

• IEEE Transactions on Quantum Engineering
  
• Quantum Information & Computation
  
• Quantum Science and Technology
  
• ACM on Programming Languages
  
• Journal of Mathematical Physic
  
• Quantum Information and Computation
  
• IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  
• ACM Transactions on Quantum Computing
  
• Computing Research Repository(CoRR)
  
• Nature npj Quantum Information
  
• Transactions on Computer-Aided Design of Integrated Circuits and Systems
  
• OOPSLA