Amanda Xu

15 papers A* 1Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Generating Compilers for Qubit Mapping and Routing.
Proc. ACM Program. Lang.
Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
2026 — conf
Reducing T Gates with Unitary Synthesis.
ASPLOS (2)
Tianyi Hao, Amanda Xu, Swamit Tannu
2025 J jnl
Checking Observational Correctness of Database Systems.
Proc. ACM Program. Lang.
Lauren Pick, Amanda Xu, Ankush Desai, Sanjit A. Seshia, Aws Albarghouthi
2025 J jnl
Dependency-Aware Compilation for Surface Code Quantum Architectures.
Proc. ACM Program. Lang.
Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
2025 J jnl
Generating Compilers for Qubit Mapping and Routing.
CoRR
Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
2025 — conf
Optimizing Quantum Circuits, Fast and Slow.
ASPLOS (1)
Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi
2025 J jnl
Reducing T Gates with Unitary Synthesis.
CoRR
Tianyi Hao, Amanda Xu, Swamit Tannu
2024 J jnl
Optimizing Quantum Circuits, Fast and Slow.
CoRR
Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi
2023 J jnl
Compilation for Surface Code Quantum Computers.
CoRR
Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
2023 J jnl
Synthesizing Quantum-Circuit Optimizers.
Proc. ACM Program. Lang.
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi
2022 A* conf
Qubit Mapping and Routing via MaxSAT.
MICRO
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022 J jnl
Qubit Mapping and Routing via MaxSAT.
CoRR
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2022 J jnl
Synthesizing Quantum-Circuit Optimizers.
CoRR
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
2021 J jnl
Petr4: formal foundations for p4 data planes.
Proc. ACM Program. Lang.
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
2020 J jnl
Petr4: Formal Foundations for P4 Data Planes.
CoRR
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster