activity
20202026
most citedSynthesizing Quantum-Circuit Optimizers

41 citations · 44 across the 8 of their papers we have counts for

collaborators

8 papers

cs.PL2026

Analyzing Decoders for Quantum Error Correction

Abtin Molavi, Feras Saad, Aws Albarghouthi

Quantum error correction (QEC) enables reliable computation on noisy hardware by encoding logical information across many physical qubits and periodically measuring parities to det…

cs.PL2025★ 1 cited

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…

cs.PL2024

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…

quant-ph2024

Managing Classical Processing Requirements for Quantum Error Correction

Satvik Maurya, Abtin Molavi, Aws Albarghouthi +1

Large-scale quantum computers promise transformative speedups, but their viability hinges on fast and reliable quantum error correction (QEC). At the center of QEC are decoders-cla…

quant-ph2023★ 1 cited

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…

cs.PL2022★ 41 cited

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…