Efficient Compilation for Shuttling Trapped-Ion Machines via the Position Graph Architectural Abstraction.
CoRR, January, 2025
Unitary Expressions: A Necessary Abstraction for Extensible Quantum Programming Languages and Systems.
CoRR, January, 2025
Ground state energy and magnetization curve of a frustrated magnetic system from real-time evolution on a digital quantum processor.
Quantum, 2025
Quantum Hardware Roofline: Evaluating the Impact of Gate Expressivity on Quantum Processor Design.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024
Quantum Circuit Partitioning for Scalable Noise-Aware Quantum Circuit Re-Synthesis.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2024
QSweep: Pulse-Optimal Single-Qudit Synthesis.
Proceedings of the 54th IEEE International Symposium on Multiple-Valued Logic, 2024
Effective Quantum Resource Optimization via Circuit Resizing in BQSKit.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
Powerful Quantum Circuit Resizing with Resource Efficient Synthesis.
CoRR, 2023
Improving Quantum Circuit Synthesis with Machine Learning.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Numerical Circuit Synthesis and Compilation for Multi-State Preparation.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Tackling the Qubit Mapping Problem with Permutation-Aware Synthesis.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
QFactor: A Domain-Specific Optimizer for Quantum Circuit Instantiation.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Superstaq: Deep Optimization of Quantum Programs.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2023
Wide Quantum Circuit Optimization with Topology Aware Synthesis.
CoRR, 2022
Quantum Circuit Optimization and Transpilation via Parameterized Circuit Instantiation.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022
QUEST: systematically approximating Quantum circuits for higher output fidelity.
Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022
Robust and Resource-Efficient Quantum Circuit Approximation.
CoRR, 2021
LEAP: Scaling Numerical Optimization Based Synthesis Using an Incremental Approach.
CoRR, 2021
QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis.
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2021