41 citations · 47 across the 7 of their papers we have counts for
8 papers
The FLuid Allocation of Surface code Qubits (FLASQ) cost model for early fault-tolerant quantum algorithms
William J. Huggins, Tanuj Khattar, Amanda Xu +6
Holistic resource estimates are essential for guiding the development of fault-tolerant quantum algorithms and the computers they will run on. This is particularly true when we foc…
Generating Compilers for Qubit Mapping and Routing
Abtin Molavi, Amanda Xu, Ethan Cecchetti +2
To evaluate a quantum circuit on a quantum processor, one must find a mapping from circuit qubits to processor qubits and plan the instruction execution while satisfying the proces…
Reducing T Gates with Unitary Synthesis
Tianyi Hao, Amanda Xu, Swamit Tannu
Quantum error correction is essential for achieving practical quantum computing but has a significant computational overhead. Among fault-tolerant (FT) gate operations, non-Cliffor…
Optimizing Quantum Circuits, Fast and Slow
Amanda Xu, Abtin Molavi, Swamit Tannu +1
Optimizing quantum circuits is critical: the number of quantum operations needs to be minimized for a successful evaluation of a circuit on a quantum processor. In this paper we un…
Dependency-Aware Compilation for Surface Code Quantum Architectures
Abtin Molavi, Amanda Xu, Swamit Tannu +1
Practical applications of quantum computing depend on fault-tolerant devices with error correction. Today, the most promising approach is a class of error-correcting codes called s…
Synthesizing Quantum-Circuit Optimizers
Amanda Xu, Abtin Molavi, Lauren Pick +2
Near-term quantum computers are expected to work in an environment where each operation is noisy, with no error correction. Therefore, quantum-circuit optimizers are applied to min…
Qubit Mapping and Routing via MaxSAT
Abtin Molavi, Amanda Xu, Martin Diges +3
Near-term quantum computers will operate in a noisy environment, without error correction. A critical problem for near-term quantum computing is laying out a logical circuit onto a…
Petr4: Formal Foundations for P4 Data Planes
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista +7
P4 is a domain-specific language for programming and specifying packet-processing systems. It is based on an elegant design with high-level abstractions like parsers and match-acti…