This repository focuses on the research and study of quantum compilers. It aims to explore the translation of high-level quantum programming languages into low-level instructions executable on quantum hardware.
The workflow of quantum compilation is categorized into six major stages, providing a broad structural overview. Additionally, the repository includes concepts such as Verification and Evaluation and Simulation and Testing.
There are also plans to tag each paper with keywords according to the target quantum architecture.
- Papers
- General Quantum Compiler
- High-Level Representation
- Circuit Transformation
- Routing and Mapping
- Optimization and Scheduling
- Error Mitigation and Correction
- Hardware Execution
- Verification and Evaluation
- Simulation and Testing
- Books
- Related-Repo & Post
- Benchmarks and Datasets
- Conferences
- Journals
- Quantum Compiling - Marco Maronese, Lorenzo Moro, Lorenzo Rocutto, Enrico Prati, 2021
- Quantum circuit optimization with AlphaTensor - Francisco J. R. Ruiz, Nature Machine Intelligence, 2025
- Learning high-accuracy error decoding for quantum processors - Johannes Bausch et al, Nature, 2024
- Quantum compiling by deep reinforcement learning - Lorenzo Moro, Matteo G. A. Paris, Marcello Restelli, Enrico Prati, Nature, 2021
- Programming languages and compiler design for realistic quantum hardware - Frederic T. Chong, Diana Franklin, Margaret Martonosi, Nature, 2017
1. High-Level Representation (Program Optimization, Program Representation, Intermediate Representation)
Keywords : QASM, High-level synthesis, IR Design, Program synthesis, High-level abstraction, Loop optimization, Program transformation
- 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
- SuperstaQ: Deep Optimization of Quantum Program - Campbell, Colin, et al. ,QCE, 2023
- Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels - Gushu Li, Anbang Wu, Yunong Shi, Ali Javadi-Abhari, Yufei Ding, Yuan Xie, 2021
- 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
- A Cross-Platform Execution Engine for the Quantum Intermediate Representation - Elaine Wong et al., 2024
- 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
- Quantum circuit transformations with a multi-level intermediate representation compiler - T. Nguyen et al., 2021
- 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)
Keywords : Gate synthesis, Gate decomposition, Basis gates
- Hybrid discrete-continuous compilation of trapped-ion quantum circuits with deep reinforcement learning - Francesco Preti,. Quantum, 2024
- Geyser: a compilation framework for quantum computing with neutral atoms - T. Patel et al., ISCA, 2022
- Backend compiler phases for trapped-ion quantum computers - T. Schmale et al., 2022
- Quantum Circuit Compiler for a Shuttling-Based Trapped Ion Quantum Computer - Fabian Kreppel et al., 2022
Keywords : Qubit mapping, SWAP optimization, Connectivity constraints
- Compiling quantum circuits for dynamically field-programmable neutral atoms array processors - D. B. Tan et al., 2024
- Qubit mapping for reconfigurable atom arrays - B. Tan et al, ICCAD, 2022
- 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
- Optimal mapping for near-term quantum architectures based on Rydberg atoms - S.Brandhofer et al., ICCAD, 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
- Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels - Prakash Murali, Jonathan M. Baker, Ali Javadi Abhari, Frederic T. Chong, Margaret Martonosi, ASPLOS, 19
- 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
4. Optimization and Scheduling (Circuit Scheduling Instruction Scheduling, Circuit Optimization, Resource Estimation, Circuit Analysis)
Keywords : Circuit depth reduction, Parallel execution, Gate scheduling, Resource estimation
-
Q-Pilot: Field Programmable Qubit Array Compilation with Flying Ancillas - Hanrui Wang., DAC, 2024
-
Automated Generation of Shuttling Sequences for a Linear Segmented Ion Trap Quantum Computer - Jonathan Durandau, Quantum, 2023
-
Quantum optimization of maximum independent set using Rydberg atom arrays - S.Ebadi et al., Science, 2022
-
Full-stack quantum computing systems in the NISQ era: algorithm-driven and hardware-aware compilation techniques - Mendina Bandic, DATE, 2022
-
Software-hardware co-optimization for computational chemistry on superconducting quantum processors - GushuLi, YunongShi, and AliJavadi-Abhari, ISCA, 2021
- Quarl: A Learning-Based Quantum Circuit Optimizer - Zikun Li et al., OOPSLA, 2024
- Machine Learning Optimization of Quantum Circuit Layouts - Alexandru Pale et al., ACM Transactions on Quantum Computing, 2023
- Synthesizing Quantum-Circuit Optimizers - Amanda Xu et al., PLDI, 2023
- Monte Carlo Graph Search for Quantum Circuit Optimization - Bodo Rosenhahn, Tobias J. Osborne, 2023
- Quantum circuit scheduler for QPUs usage optimization - Javier Romero-Alvarez et al. 2024
- Scheduling of Operations in Quantum Compiler - Toshinari Itoko, Takashi Imamichi, QCE, 2020
- Two-step approach to scheduling quantum circuits - Gian Giacomo Guerreschi, Jongsoo Park, Quantum Sci journal, 2017
- SCIM MILQ: An HPC Quantum Scheduler - Philipp Seitz, Manuel Geiger, Christian Ufrecht, Axel Plinge, Christopher Mutschler, Daniel D. Scherer, Christian B. Mendl, Quantum Week, 2024
- 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
- QuCT: A Framework for Analyzing Quantum Circuit by Extracting Contextual and Topological Features - Siwei Tan et al., MICRO, 2023
- Quantum Vulnerability Analysis to Guide Robust Quantum Computing System Design - Fang Qi et al., 2023
Keywords : Surface code, Fault tolerance, Noise modeling
- TISCC: A Surface Code Compiler and Resource Estimator for Trapped-Ion Processors - Tyler Leblond, Ryan S. Bennink, Justin G. Lietz, and Christopher M. Seck, SC, 2023
- Exploiting Long-Distance Interactions and Tolerating Atom Loss in Neutral Atom Quantum Architectures - Jonathan M. Baker, et al. ISCA, 2021
- 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
- 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
Keywords : Pulse scheduling, Optimal control, Fidelity optimization, Quantum ISA
- Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers - Prakash Murali, Dripto M. Debroy, Kenneth R. Brown, and Margaret Martonosi, ISCA, 2020
- 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
- Quantum Circuit Verification: Circuit verification, Formal verification
- Quantum Compiler Benchmarking: Compiler benchmarking, Performance evaluation
- Quantum Circuit Simulation: Circuit simulation, Statevector simulation
- Awesome-Quantum-Computing
- Awesome-Quantum-Computation
- Awesome-Quantum-Software
- Awesome-Quantum-Machine-Leaning
- Awesome-Post-Quantum
- HPCA, ASPLOS, ISCA, MICRO, ICCAD, DAC, CC, PLDI
- 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