For those who are either new to or currently researching in the field of quantum compilers, I will be regularly updating resources such as papers categorised by subtopics, open-source code, learning materials(currently planning to create it myself) on quantum compilers, as well as my own personal research paper reviews. I'm still a first-year PhD student, so I have many shortcomings. Feel free to provide any feedback on mistakes.
- Survey papers
- Part A: Compilation Flow β From Algorithm to Pulse
- Part B: Quantum Compiler Ecosystem
- Part C: Quantum Compiler Niche Fields
- Part D: Quantum Study Resource
- Quantum Compilation Process: A Survey - F. Javier Cardama, Jorge VΓ‘zquez-PΓ©rez, TomΓ‘s F. Pena, Juan C. Pichel & AndrΓ©s GΓ³mez, 2025
- Quantum Compiler Design for Qubit Mapping and Routing - Chenghong zhu et al., 2025.
- A Comprehensive Review of Quantum Circuit Optimization: Current Trends and Future Directions - Krishnageetha Karuppasamy et al., 2025.
- Quantum Circuit Synthesis and Compilation Optimization: Overview and Prospects - Ge Yan et al., 2024.
- Quantum Compiling - Marco Maronese, Lorenzo Moro, Lorenzo Rocutto, Enrico Prati, 2021
- Programming languages and compiler design for realistic quantum hardware - Frederic T. Chong, Diana Franklin, Margaret Martonosi, Nature, 2017
IR Design & Transpilation Frameworks
- LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper - Scott Wesley et al., 2024 - GitHub
- Design and synthesis of scalable quantum programs - Tomer Goldfriend et al., 2025
- PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices - Zhaohui Yang et al., 2025 - GitHub
- Practical and efficient quantum circuit synthesis and transpiling with Reinforcement Learning - David Kremer et al., 2025 - GitHub
- Qmod: Expressive High-Level Quantum Modeling - Matan Vax et al., 2025 - GitHub
- QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization - David Ittah et al., 2021 - GitHub
- A Cross-Platform Execution Engine for the Quantum Intermediate Representation - Elaine Wong et al., 2024 - GitHub
- InQuIR: Intermediate Representation for Interconnected Quantum Computers - Shin Nishio, Ryo Wakizaka, 2023 - GitHub
- QSSA: an SSA-based IR for Quantum computing - Anurudh Peduri, Siddharth Bhat, CC 2022 - GitHub
- 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 et al., 2014 - GitHub
- Introducing Quantum Intermediate Representation (QIR) - GitHub
Loop & Control-Flow Transforms
- Thoughts on Adopting the Quantum Intermediate Representation (QIR) β Ynnick Stade et al., 2024
- The Limits of Control Flow in Quantum Programming β Charles Yuan et al., 2023
- Software Pipelining for Quantum Loop Programs β Jingzhe Guo, Mingsheng Ying, IEEE TSE 2023
- Exploring the Impact of Affine Loop Transformations in Qubit Allocation β Martin Kong, 2020
Quantum Circuit Analysis
- Character Complexity: A Novel Measure for Quantum Circuit Analysis - Daksh Shami, 2024
- QuCT: A Framework for Analyzing Quantum Circuit by Extracting Contextual and Topological Features - Siwei Tan et al., MICRO 2023 - GitHub
- Quantum Vulnerability Analysis to Guide Robust Quantum Computing System Design - Fang Qi et al., 2023
Quantum Program Optimization
- SuperstaQ: Deep Optimization of Quantum Program - Campbell et al., QCE 2023 - GitHub
- Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels - Gushu Li et al., 2021
- Enabling Dataflow Optimization for Quantum Programs - David Ittah et al., 2021
- A Meet-in-the-Middle Algorithm for Fast Synthesis of Depth-Optimal Quantum Circuits - Matthew Amy et al., 2021
- Automated optimization of large quantum circuits with continuous parameters - Yunseong Nam et al., 2017 - GitHub
- A software methodology for compiling quantum programs - Thomas HΓ€ner et al., 2016
- Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets - Simon Forest et al., 2015
- Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning - Matthew Amy et al., 2013
- Assertion-Based Optimization of Quantum Programs - HΓ€ner, Hoefler, Troyer, OOPSLA 2013
- Repeat-until-Success: Non-Deterministic Decomposition of Single-Qubit Unitaries - Adam Paetznick, Krysta Svore, 2013 - GitHub (sample)
- Circuit for Shorβs Algorithm Using 2n+3 Qubits - Stephane Beauregard, 2002
Circuit Transformation
- 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
Circuit Optimisation
- A Resource-Allocating Compiler for Lattice Surgery - Alan Robertson, Haowen Gao, Yuval R. Sanders, 2025. - GitHub
- Quantum circuit optimization with AlphaTensor - Francisco J. R. Ruiz, Nature Machine Intelligence, 2025. - GitHub
- 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. - GitHub oai_citation:2β‘GitHub
- Quantum optimization of maximum independent set using Rydberg atom arrays - S. Ebadi et al., Science, 2022. - GitHub
- 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 - Gushu Li et al., ISCA, 2021.
- Quarl: A Learning-Based Quantum Circuit Optimizer - Zikun Li et al., OOPSLA, 2024. - GitHub
- Machine Learning Optimization of Quantum Circuit Layouts - Alexandru Pale et al., ACM TQC, 2023. - GitHub
- Synthesizing Quantum-Circuit Optimizers - Amanda Xu et al., PLDI, 2023. - GitHub
- Monte Carlo Graph Search for Quantum Circuit Optimization - Bodo Rosenhahn, Tobias J. Osborne, 2023
- Short Two-Qubit Pulse Sequences for Exchange-Only Spin Qubits in 2D Layouts - Jason D. Chadwick et al., 2025
- CCMap: Hardware-Aware Compilation for Chip-to-Chip Coupler-Connected QPUs - Zefan Du et al., 2025
- Virtual-Z Gates and Symmetric Gate Compilation - Arian Vezvaee et al., 2025
- Selective Excitation of Superconducting Qubits with a Shared Control Line through Pulse Shaping - Ryo Matsuda et al., 2025
- Short Two-Qubit Pulse Sequences for Exchange-Only Spin Qubits - Jason D. Chadwick et al., 2025
- CCMap: Hardware-Aware Compilation for Chip-to-Chip Coupler-Connected QPUs - Zefan Du et al., 2025
- Qibosoq: RFSoC Control Software for Self-Hosted Quantum Hardware via QICK - Andrea Pasquale et al., 2025 - GitHub
- QUAlibrate: Open-Source Framework that Cuts Calibration from Hours to Minutes - Quantum Machines Team, 2025 - GitHub
- Qibolab: An Open-Source Hybrid Quantum Operating System - Stavros Efthymiou et al., 2024 - GitHub
- Sensitivity-Adapted Closed-Loop Optimization for High-Fidelity CZ Gates - Niklas J. Glaser et al., 2024
- Pulse Family Optimization for Parametrized Quantum Gates Using Spectral Clustering - Robert de Keijzer et al., 2024
- Graph-Based Pulse Representation for Diverse Quantum Control Hardware - Aniket S. Dalvi et al., 2024
- Pulse-Based Variational Quantum Optimization and Metalearning in Superconducting Circuits - Yapeng Wang et al., 2024
- Implementing Fast and High-Fidelity Quantum Operations Using Open-Loop Optimal Control - LBNL Collaboration, 2024
- Direct Pulse-Level Compilation of Arbitrary Quantum Logic Gates on Superconducting Qutrits - Yujin Cho et al., 2024
- Qibocal: An Open-Source Framework for Calibration of Self-Hosted Quantum Devices - Andrea Pasquale et al., 2024 - GitHub
- A Time-Optimisation Framework Enabling Fast and Robust Gates in One Circuit - Eduardo W. Lussi et al., 2024
- A Time Optimization Framework for Robust and Low-Latency Quantum Circuits - Eduardo W. Lussi et al., 2024
- Qibolab: Pulse-Oriented Drivers for Custom Hardware - Stavros Efthymiou et al., 2024 - GitHub
- Pulse-Family Optimisation via Spectral Clustering - Robert de Keijzer et al., 2024
Circuit Scheduling
- Quantum circuit scheduler for QPUs usage optimization - Javier Romero-Alvarez et al., 2024. - GitHub
- 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, 2017
Qubit Mapping & Routing
- S-SYNC: Shuttle & SWAP Co-Optimisation in QCCD - Chenghong Zhu, Xian Wu, Jingbo Wang, Xin Wang, ISCA 2025
- 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
- SCIM MILQ: An HPC Quantum Scheduler - Philipp Seitz et al., Quantum Week, 2024. - GitHub
- DISQ: Dynamic Iteration Skipping for Variational Quantum Algorithms - Junyao Zhang et al., QCE, 2023
- Let Each Quantum Bit Choose Its Basis Gates - Sophia Fuhui Lin et al., MICRO, 2022
- Software-hardware co-optimization for computational chemistry on superconducting quantum processors - Gushu Li et al., ISCA 2021
- Error Mitigation in Quantum Computers through Instruction Scheduling - Kaitlin N. Smith et al., 2021.
- EQC: ensembled quantum computing for variational quantum algorithms - Samuel Stein et al., ISCA, 2022. - GitHub
- Software mitigation of crosstalk on noisy intermediate-scale quantum computers - Prakash Murali et al., ASPLOS, 2020.
- TILT: Achieving Higher Fidelity on a Trapped-Ion Linear-Tape Quantum Computing Architecture - Xin-Chuan Wu et al., HPCA, 2020
- Extending the OmpSs-2 Programming Model for Hybrid Quantum-Classical Programming - Philip DΓΆbler et al., 2025 - GitHub
- Qibosoq: RFSoC Control Software for Self-Hosted Quantum Hardware via QICK - Andrea Pasquale et al., 2025 - GitHub
- Building a Software Stack for Quantum-HPC Integration - Amir Shehata et al., 2025
- SLURM Heterogeneous Jobs for Hybrid Classical-Quantum Workflows - Aniello Esposito & Utz-Uwe Haus, 2025
- phase2: Full-State Vector Simulation of Quantum Time Evolution at Scale - Marek Miller et al., 2025 - GitHub
- Realization of Constant-Depth Fan-Out with Real-Time Feed-forward on a Superconducting Processor - Yongxin Song et al., 2024
- Demonstrating Real-Time & Low-Latency Quantum Error Correction - Laura Caune et al., 2024
- SCIM MILQ: An HPC Quantum Scheduler - Philipp Seitz et al., 2024 - GitHub
- Qibolab: An Open-Source Hybrid Quantum Operating System - Stavros Efthymiou et al., 2024 - GitHub
- Multi-GPU-Enabled Hybrid Quantum-Classical Workflow in Quantum-HPC Middleware - Kuan-Cheng Chen et al., 2024 - GitHub
- Combining Quantum Processors with Real-Time Classical Communication - Almudena Carrera Vazquez et al., Nature, 2024. - GitHub
- Pilot-Quantum: A Middleware for Quantum-HPC Resource & Task Management - Pradeep Mantha et al., 2024 - GitHub
- A Pragma-Based C++ Framework for Hybrid Quantum / Classical Computation - Agnieszka Gazda et al., 2024
- Scaling Quantum Computing with Dynamic Circuits - Almudena Carrera Vazquez et al., 2024
- Energy Efficiency of Quantum State-Vector Simulation at Scale - Jakub Adamski et al., 2023 - GitHub
- Quito: A Framework for Testing Quantum Programs β Y. Long, L. Zhao (2020). Proceedings of the ACM on Programming Languages (OOPSLA)
- QuraTest: Automated Testing of Quantum Programs with Complex Input States β J. Ye, et al. (2023). IEEE Transactions on Quantum Engineering
- QOPS: Quantum Oracle Property Specification for Testing Quantum Programs β J. Ye, et al. (2022). Proceedings of the 44th International Conference on Software Engineering (ICSE)
- Muskit: Mutation Testing for Qiskit Quantum Programs β A. Mendiluze, et al. (2021). Proceedings of the 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)
- QMutPy: Mutation Testing Framework for Quantum Programs β E. Fortunato, et al. (2022). Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE)
- MorphQ: Metamorphic Testing for Quantum Programs β M. Paltenghi, M. Pradel (2023). Proceedings of the 45th International Conference on Software Engineering (ICSE)
- QuSBT: Search-Based Testing of Quantum Programs β Y. Long, L. Zhao (2021). Empirical Software Engineering
- QuCAT: Quantum Combinatorial Testing Framework β Y. Long, L. Zhao (2020). Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE)
- Statistical Assertions for Quantum Programs β H.-L. Huang, M. Martonosi (2017). Proceedings of the 39th International Conference on Software Engineering (ICSE)
- Runtime Assertions for Quantum Programs β J. Liu, et al. (2021). Proceedings of the 43rd International Conference on Software Engineering (ICSE)
- Swap-Based Assertions for Quantum Programs β J. Liu, H. Zhou (2022). IEEE Transactions on Quantum Engineering
- Assertions for Symmetry States in Quantum Circuits β Y. Li, et al. (2023). Proceedings of the 60th Annual Design Automation Conference (DAC)
- QuAssert: Automated Assertion Generation for Quantum Programs β Y. Li, et al. (2024). Proceedings of the 46th International Conference on Software Engineering (ICSE)
- QDebug: Debugging Quantum Programs with Probabilistic Cloning β T. Sato, et al. (2022). Proceedings of the 44th International Conference on Software Engineering (ICSE)
- Cirquo: Slicing-Based Debugging for Quantum Circuits β Z. Metwalli, R. Van Meter (2021). Proceedings of the 43rd International Conference on Software Engineering (ICSE)
- CoqQ: Foundational Verification of Quantum Programs β L. Zhou, G. Barthe, P.-Y. Strub, J. Liu, M. Ying (2022).
- Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs β C. Yuan, C. McNally, M. Carbin (2022). Proceedings of the ACM on Programming Languages (POPL)
- An Algebraic Method to Fidelity-based Model Checking over Quantum Markov Chains β M. Xu, J. Fu, J. Mei, Y. Deng (2021).
- CertiQ: A Mostly-automated Verification of a Realistic Quantum Compiler β Y. Shi, R. Tao, X. Li, A. Javadi-Abhari, A. W. Cross, F. T. Chong, R. Gu (2020).
- Quantum Relational Hoare Logic β D. Unruh (2019). Proceedings of the ACM on Programming Languages (POPL)
- Quantum Temporal Logic β N. Yu (2019).
- ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems β F. Shmarov, P. Zuliani (2015). (HSCC)
- Formal Verification of Quantum Algorithms Using Quantum Hoare Logic β J. Liu, B. Zhan, S. Wang, S. Ying, T. Liu, Y. Li, M. Ying, N. Zhan (2019). Computer Aided Verification (CAV)
- Quantum relational Hoare logic β J. Liu, B. Zhan, S. Wang, S. Ying, T. Liu, Y. Li, M. Ying, N. Zhan (2019). (POPL)
- Model Checking Quantum Systems β A Survey β M. Ying, Y. Feng, R. Duan, Z. Ji (2018).
- QWIRE: A Core Language for Quantum Circuits β J. Paykin, R. Rand, S. Zdancewic (2017). Proceedings of the ACM on Programming Languages (POPL)
- Floyd-Hoare Logic for Quantum Programs β M. Ying (2011). ACM Transactions on Programming Languages and Systems (TOPLAS)
- An Algebra of Quantum Processes β M. Ying, Y. Feng, R. Duan, Z. Ji (2009) (TOCL)
- A Logic for Formal Verification of Quantum Programs β M. Ying, Y. Feng, R. Duan, Z. Ji (2009). Advances in Computer Science β ASIAN 2009 (Springer)
- Towards a Quantum Programming Language β P. Selinger (2004). Mathematical Structures in Computer Science
- Resource-Efficient Context-Aware Dynamical Decoupling Embedding for Arbitrary Large-Scale Quantum Algorithms, Paul Coote et al., PRX Quantum, 2025
- Learning high-accuracy error decoding for quantum processors - Johannes Bausch et al., Nature, 2024
- Error Propagation-Aware Routing: A New Routing Strategy to Improve Success Rates of Quantum Circuits, Lu Fang et al., ICCAD, 2024
- Learning How to Dynamically Decouple, Arefur Rahman et al., arXiv, 2024.
- On the Use of Calibration Data in Error-Aware Compilation Techniques for NISQ Devices, Handy Kurniawan et al., arXiv, 2024.
- 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
- Analyzing Strategies for Dynamical Decoupling Insertion on IBM Quantum, Murphy Y. Niu & Daniel A. Lidar, arXiv, 2022
- Qubit Mapping and Routing via MaxSAT, Maryam Amiri et al., MICRO, 2022.
- VAQEM: A Variational Approach to Quantum Error Mitigation - Gokul S. Ravi et al., HPCA, 2022
- Exploiting Long-Distance Interactions and Tolerating Atom Loss in Neutral Atom Quantum Architectures - Jonathan M. Baker, et al., ISCA, 2021
- ADAPT: Mitigating Idling Errors in Qubits via Adaptive Dynamical Decoupling - Poulami Das et al., MICRO, 2021
- A Noise-Aware Qubit Mapping Algorithm Evaluated via Qubit Interaction-Graph Criteria - Matthew Steinberg et al., arXiv, 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
- Digital Zero-Noise Extrapolation for Quantum Error Mitigation, Tudor Giurgica-Tiron et al., IEEE QCE, 2020
- Noise-Adaptive Compiler Mappings for NISQ Computers, Prakash Murali et al., ASPLOS, 2019
- Near-Optimal Routing of Noisy Quantum States, Kyle Cote et al., SPIE Proc., 2019.
- Not All Qubits Are Created Equal: Variation-Aware Qubit Allocation in NISQ-Era Quantum Computers, Swamit Tannu & Moinuddin Qureshi, ASPLOS, 2019
- Practical Quantum Error Mitigation for Near-Future Applications, Suguru Endo et al., Phys. Rev. X, 2018.
- Error Mitigation for Short-Depth Quantum Circuits, Kristan Temme et al., Phys. Rev. Lett., 2017.
- Split Compilation for Security of Quantum Circuits β Abdullah Ash Saki, Aakarshitha Suresh, Rasit Onur Topaloglu, Swaroop Ghosh. ICCAD 2021. οΏΌ
- A Quantum Circuit Obfuscation Methodology for Security and Privacy β Aakarshitha Suresh, Abdullah Ash Saki, Mahabubul Alam, Rasit Onur Topaloglu, Swaroop Ghosh. HASP @ MICRO 2021. οΏΌ
- OpaQue: Program Output Obfuscation for Quantum Software Circuits in Quantum Clouds β Tirthak Patel, Aditya Ranjan, Daniel Silver, Harshitta Gandhi, William Cutler, Devesh Tiwari. ICS 2025. οΏΌ
- TetrisLock: Quantum Circuit Split Compilation with Interlocking Patterns β Qian Wang, Jayden John, Ben Dong, Yuntao Liu. arXiv 2025 (preprint). οΏΌ
- OPAQUE: Obfuscating Phase in Quantum Circuit Compilation for Efficient IP Protection β Anees Rehman, Vincent Langford, Yuntao Liu. ISQED 2025. οΏΌ
- Encrypted-state quantum compilation scheme based on quantum circuit obfuscation (ECQCO) β Chenyi Zhang, Tao Shang, Xueyi Guo, Yuanjing Zhang. arXiv 2025. οΏΌ
- Classical Obfuscation of Quantum Circuits via Publicly-Verifiable QFHE β James Bartusek, Aparna Gupte, Saachi Mutreja, Omri Shmueli. arXiv 2025 (preprint). οΏΌ
- Quantum Homomorphic Encryption for Circuits of Low T-gate Complexity β Anne Broadbent, Stacey Jeffery. CRYPTO 2015. οΏΌ
- Unconditionally Verifiable Blind Quantum Computation β Joseph F. Fitzsimons, Elham Kashefi. Physical Review A, 2017.
- Topological quantum compilation of two-qubit gates β Parsa Hosseini et al. (2024).
- Topological quantum compilation of metaplectic anyons based on the genetic optimized algorithms β Parsa Hosseini et al. (2025).
- Optimized Topological Quantum Compilation of Three-Qubit Controlled Gates in the Fibonacci Anyon Model β Parsa Hosseini et al. (2023).
- Asymptotically Optimal Topological Quantum Compiling β Michael Freedman et al. (2013).
- Provably Optimal Quantum Circuits with Mixed-Integer Programming β Yufei Ding et al. (2025).
- Efficient, direct compilation of SU(N) operations into SNAP β Vladislav D. Kurpas et al. (2023).
- QudCom: Towards Quantum Compilation for Qudit Systems β Sebastian Brandhofer et al. (2023).
- Adaptive Compilation of Multi-Level Quantum Operations β David R. M. Arvidsson-Shukur et al. (2022).
- Compilation of Entangling Gates for High-Dimensional Quantum Processors β Manuel G. J. B. A. Cordier et al. (2023).
- MQT Qudits: A Software Framework for Mixed-Dimensional Quantum Computing β Lukas Burgholzer et al. (2024).
- Quantum state obfuscation from classical oracles - J. Bartusek, Z. Brakerski, V. Vaikuntanathan, ACM Conference on Computer and Communications Security (CCS), 2024
- Obfuscation of pseudo-deterministic quantum circuits - J. Bartusek, F. Kitagawa, R. Nishimaki, ACM Symposium on Theory of Computing (STOC), 2023
- Indistinguishability obfuscation of null quantum circuits and applications - J. Bartusek, G. Malavolta, arXiv (preprint), 2021
- A quantum circuit obfuscation methodology for security and privacy - A. Suresh, A.A. Saki, M. Alam, R. Onur Topaloglu, S. Ghosh, ACM Journal on Emerging Technologies in Computing Systems, 2021
- On quantum obfuscation - G. Alagic, B. Fefferman arXiv (preprint), 2016
- A Generic Measurement-Based Quantum Compilation Pipeline β Nader M. Mohammadizadeh et al. (2023).
- Adaptive Compilation for Resource-Constrained Photonic One-Way Quantum Computing β Florian Reiter et al. (2025).
- A Randomness-aware Compiler for Photonic Quantum Computing β Florian Reiter et al. (2024).
- Topological Quantum Gates in Homotopy Type Theory β Guillaume Munch-Madewig et al. (2023).
- Systematic Computation of Braid Generator Matrix in Topological Quantum Computation β Parsa Hosseini et al. (2023).
- TKET Developer Blog (Quantinuum) - Updates on optimizer passes, SWAP-routing & new ISA back-ends.
- Classiq Insights - Posts on high-level synthesis and automatic circuit generation.
- AWS Quantum Technologies Blog - Notes on parametric compilation & hybrid-runtime transpilation.
- Q-CTRL Blog - Pulse-level scheduling, error-robust instruction sets & control-compiler tricks.
- Rigetti Tech Blog - Quil-C compiler upgrades and hybrid workflow engineering.
- IBM Quantum Blog - Transpiler roadmaps, dynamic circuits & Qiskit optimization updates.
- Microsoft Blog β Introducing QIR - Design rationale & evolution of the QIR stack.
- Zapata Orquestra Feature - Workflow compiler orchestrating hybrid quantumβclassical pipelines.
- PsiQuantum Newsroom - Photonic-specific compilation & mapping announcements (Omega chipset).
- Quantum Circuits Γ NVIDIA Partnership - CUDA-Q compiler integration for error-aware superconducting qubits.
- Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers β NISQ-era architecture/βcompiler co-design guide.
- Quantum Computing for Computer Architects, 2e
- Programming Quantum Computers
- Quantum Computing: An Applied Approach, 2e
- Scott Aaronson
- John Preskill
- Dave Bacon
- Gil Kalai
- Michael Nielsen
- John C. Baez
- Robert Harper
- Chris Lattner
- CF - Late Jan
- IQSOFT - Mid Fed
- IEEE QSW - Early Mar ASPLOS - Early Mar QPL - Early Mar TQC - Early Mar
- QCE - Mid April MICRO - Mid April ICCAD - Mid April
- HPCA - Mid Sep QIP - Mid Sep
- CC - Early Nov ISCA - Mid Nov PLDI - Mid Nov DAC - Mid Nov
Impact Factor > 10
Impact Factor > 3