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 (Conf. Computing Frontiers, 2014)

Characterizing the performance effect of trials and rotations in applications that use Quantum Phase Estimation. - Shruti Patil; Ali JavadiAbhari; Chen-Fu Chiang; Jeff Heckey; Margaret Martonosi; Frederic T. Chong (IISWC, 2014)

Compiler Management of Communication and Parallelism for Quantum Computation. - Jeff Heckey; Shruti Patil; Ali JavadiAbhari; Adam Holmes; Daniel Kudrow; Kenneth R. Brown; Diana Franklin; Frederic T. Chong; Margaret Martonosi (ASPLOS, 2015)

ScaffCC: Scalable compilation and analysis of quantum programs. - Ali JavadiAbhari; Shruti Patil; Daniel Kudrow; Jeff Heckey; Alexey Lvov; Frederic T. Chong; Margaret Martonosi (Parallel Comput., 2015)

Optimized surface code communication in superconducting quantum computers. - Ali Javadi-Abhari; Pranav Gokhale; Adam Holmes; Diana Franklin; Kenneth R. Brown; Margaret Martonosi; Frederic T. Chong (MICRO, 2017)

Towards a Scalable Software Stack for Resource Estimation and Optimization in General-Purpose Quantum Computers - Ali Javadi-Abhari (2017)

Charm: A Language for Closed-Form High-Level Architecture Modeling. - Weilong Cui; Yongshan Ding 001; Deeksha Dangwal; Adam Holmes; Joseph McMahan; Ali Javadi-Abhari; Georgios Tzimpragos; Frederic T. Chong; Timothy Sherwood (ISCA, 2018)

Magic-State Functional Units: Mapping and Scheduling Multi-Level Distillation Circuits for Fault-Tolerant Quantum Architectures. - Yongshan Ding 001; Adam Holmes; Ali Javadi-Abhari; Diana Franklin; Margaret Martonosi; Frederic T. Chong (MICRO, 2018)

Qiskit Backend Specifications for OpenQASM and OpenPulse Experiments. - David C. McKay; Thomas Alexander; Luciano Bello; Michael J. Biercuk; Lev S. Bishop; Jiayin Chen; Jerry M. Chow; Antonio D. Córcoles; Daniel J. Egger; Stefan Filipp; Juan Gomez; Michael R. Hush; et al. (CoRR, 2018)

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)

Full-stack, real-system quantum computer studies: architectural comparisons and design insights. - Prakash Murali; Norbert Matthias Linke; Margaret Martonosi; Ali Javadi-Abhari; Nhung Hong Nguyen; Cinthia Huerta Alderete (ISCA, 2019)

Contract-based verification of a realistic quantum compiler. - Yunong Shi; Xupeng Li; Runzhou Tao 001; Ali Javadi-Abhari; Andrew W. Cross; Frederic T. Chong; Ronghui Gu (CoRR, 2019)

Resource optimized quantum architectures for surface code implementations of magic-state distillation. - Adam Holmes; Yongshan Ding 001; Ali Javadi-Abhari; Diana Franklin; Margaret Martonosi; Frederic T. Chong (Microprocess. Microsystems, 2019)

Formal constraint-based compilation for noisy intermediate-scale quantum systems. - Prakash Murali; Ali Javadi-Abhari; Frederic T. Chong; Margaret Martonosi (Microprocess. Microsystems, 2019)

Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers. - Prakash Murali; David C. McKay; Margaret Martonosi; Ali Javadi-Abhari (ASPLOS, 2020)

Optimized Quantum Compilation for Near-Term Algorithms with OpenPulse. - Pranav Gokhale; Ali Javadi-Abhari; Nathan Earnest; Yunong Shi; Frederic T. Chong (MICRO, 2020)

Architecting Noisy Intermediate-Scale Quantum Computers: A Real-System Study. - Prakash Murali; Norbert Matthias Linke; Margaret Martonosi; Ali Javadi-Abhari; Nhung Hong Nguyen; Cinthia Huerta Alderete (IEEE Micro, 2020)

Challenges and Opportunities of Near-Term Quantum Computing Systems. - Antonio D. Córcoles; Abhinav Kandala; Ali Javadi-Abhari; Douglas T. McClure; Andrew W. Cross; Kristan Temme; Paul D. Nation; Matthias Steffen; Jay M. Gambetta (Proc. IEEE, 2020)

Resource-Efficient Quantum Computing by Breaking Abstractions. - Yunong Shi; Pranav Gokhale; Prakash Murali; Jonathan M. Baker; Casey Duckering; Yongshan Ding 001; Natalie C. Brown; Christopher Chamberland; Ali Javadi-Abhari; Andrew W. Cross; David I. Schuster; Kenneth R. Brown; et al. (Proc. IEEE, 2020)

Compilation flow for classically defined quantum operations. - Bruno Schmitt; Ali Javadi-Abhari; Giovanni De Micheli (DATE, 2021)

Software-Hardware Co-Optimization for Computational Chemistry on Superconducting Quantum Processors. - Gushu Li; Yunong Shi; Ali Javadi-Abhari (ISCA, 2021)

On the Co-Design of Quantum Software and Hardware. - Gushu Li; Anbang Wu; Yunong Shi; Ali Javadi-Abhari; Yufei Ding 001; Yuan Xie 001 (NANOCOM, 2021)

Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels. - Gushu Li; Anbang Wu; Yunong Shi; Ali Javadi-Abhari; Yufei Ding 001; Yuan Xie 001 (ASPLOS, 2022)

Optimizing quantum circuit synthesis for permutations using recursion. - Cynthia Chen; Bruno Schmitt; Helena Zhang; Lev S. Bishop; Ali Javadi-Abhari (DAC, 2022)

VAQEM: A Variational Approach to Quantum Error Mitigation. - Gokul Subramanian Ravi; Kaitlin N. Smith; Pranav Gokhale; Andrea Mari; Nathan Earnest; Ali Javadi-Abhari; Frederic T. Chong (HPCA, 2022)

Quancorde: Boosting fidelity with Quantum Canary Ordered Diverse Ensembles. - Gokul Subramanian Ravi; Jonathan M. Baker; Kaitlin N. Smith; Nathan Earnest; Ali Javadi-Abhari; Frederic T. Chong (ICRC, 2022)

Giallar: push-button verification for the qiskit Quantum compiler. - Runzhou Tao 001; Yunong Shi; Jianan Yao; Xupeng Li; Ali Javadi-Abhari; Andrew W. Cross; Frederic T. Chong; Ronghui Gu (PLDI, 2022)

Recursive Methods for Synthesizing Permutations on Limited-Connectivity Quantum Computers. - Cynthia Chen; Bruno Schmitt; Helena Zhang; Lev S. Bishop; Ali Javadi-Abhari (CoRR, 2022)

Have your QEC and Bandwidth too!: A lightweight cryogenic decoder for common / trivial errors, and efficient bandwidth + execution management otherwise. - Gokul Subramanian Ravi; Jonathan M. Baker; Arash Fayyazi; Sophia Fuhui Lin; Ali Javadi-Abhari; Massoud Pedram; Frederic T. Chong (CoRR, 2022)

Boosting Quantum Fidelity with an Ordered Diverse Ensemble of Clifford Canary Circuits. - Gokul Subramanian Ravi; Jonathan M. Baker; Kaitlin N. Smith; Nathan Earnest; Ali Javadi-Abhari; Frederic T. Chong (CoRR, 2022)

Quantum and Post-Moore's Law Computing. - Yufei Ding 001; Ali Javadi-Abhari (IEEE Internet Comput., 2022)

Optimal synthesis into fixed XX interactions. - Eric C. Peterson; Lev S. Bishop; Ali Javadi-Abhari (Quantum, 2022)

OpenQASM 3: A Broader and Deeper Quantum Assembly Language. - Andrew W. Cross; Ali Javadi-Abhari; Thomas Alexander; Niel de Beaudrap; Lev S. Bishop; Steven Heidel; Colm A. Ryan; Prasahnt Sivarajah; John A. Smolin; Jay M. Gambetta; Blake R. Johnson (ACM Trans. Quantum Comput., 2022)

CaQR: A Compiler-Assisted Approach for Qubit Reuse through Dynamic Circuit. - Fei Hua; Yuwei Jin; Yan-Hao Chen; Suhas Vittal; Kevin Krsulich; Lev S. Bishop; John Lapeyre; Ali Javadi-Abhari; Eddy Z. Zhang (ASPLOS (3), 2023)

Better Than Worst-Case Decoding for Quantum Error Correction. - Gokul Subramanian Ravi; Jonathan M. Baker; Arash Fayyazi; Sophia Fuhui Lin; Ali Javadi-Abhari; Massoud Pedram; Frederic T. Chong (ASPLOS (2), 2023)

Navigating the Dynamic Noise Landscape of Variational Quantum Algorithms with QISMET. - Gokul Subramanian Ravi; Kaitlin N. Smith; Jonathan M. Baker; Tejas Kannan; Nathan Earnest; Ali Javadi-Abhari; Henry Hoffmann; Frederic T. Chong (ASPLOS (2), 2023)

Suppressing Correlated Noise in Quantum Computers via Context-Aware Compiling. - Alireza Seif; Haoran Liao; Vinay Tripathi; Kevin Krsulich; Moein Malekakhlagh; Mirko Amico; Petar Jurcevic; Ali Javadi-Abhari (ISCA, 2024)

Bosehedral: Compiler Optimization for Bosonic Quantum Computing. - Junyu Zhou 005; Yuhao Liu 017; Yunong Shi; Ali Javadi-Abhari; Gushu Li (ISCA, 2024)

Flag-Proxy Networks: Overcoming the Architectural, Scheduling and Decoding Obstacles of Quantum LDPC Codes. - Suhas Vittal; Ali Javadi-Abhari; Andrew W. Cross; Lev S. Bishop; Moinuddin Qureshi (MICRO, 2024)

Quantum computing with Qiskit. - Ali Javadi-Abhari; Matthew Treinish; Kevin Krsulich; Christopher J. Wood; Jake Lishman; Julien Gacon; Simon Martiel; Paul D. Nation; Lev S. Bishop; Andrew W. Cross; Blake R. Johnson; Jay M. Gambetta (CoRR, 2024)

Flag Proxy Networks: Tackling the Architectural, Scheduling, and Decoding Obstacles of Quantum LDPC codes. - Suhas Vittal; Ali Javadi-Abhari; Andrew W. Cross; Lev S. Bishop; Moinuddin Qureshi (CoRR, 2024)

Quantum-centric supercomputing for materials science: A perspective on challenges and future directions. - Yuri Alexeev; Maximilian Amsler; Marco Antonio Barroca; Sanzio Bassini; Torey Battelle; Daan Camps; David Casanova; Young Jay Choi; Frederic T. Chong; Charles Chung; Christopher Codella; Antonio D. Córcoles; et al. (Future Gener. Comput. Syst., 2024)

HetEC: Architectures for Heterogeneous Quantum Error Correction Codes. - Samuel A. Stein; Shifan Xu; Andrew W. Cross; Theodore J. Yoder; Ali Javadi-Abhari; Chenxu Liu; Kun Liu; Zeyuan Zhou; Charlie Guinn; Yufei Ding 001; Yongshan Ding 001; Ang Li 006 (ASPLOS (2), 2025)

Benchmarking the performance of quantum computing software for quantum circuit creation, manipulation and compilation. - Paul D. Nation; Abdullah Ash-Saki; Sebastian Brandhofer; Luciano Bello; Shelly Garion; Matthew Treinish; Ali Javadi-Abhari (Nat. Comput. Sci., 2025)

Optimizing the non-Clifford-count in unitary synthesis using Reinforcement Learning. - David Kremer; Ali Javadi-Abhari; Priyanka Mukhopadhyay (CoRR, 2025)

AlphaSyndrome: Tackling the Syndrome Measurement Circuit Scheduling Problem for QEC Codes. - Yuhao Liu 017; Shuohao Ping; Junyu Zhou 005; Ethan Decker; Justin Kalloor; Mathias Weiden; Kean Chen; Yunong Shi; Ali Javadi-Abhari; Costin Iancu; Gushu Li (ASPLOS (2), 2026)