Amanda Xu

According to our database, Amanda Xu authored at least 10 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Generating Compilers for Qubit Mapping and Routing.

Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi

CoRR, August, 2025

Reducing T Gates with Unitary Synthesis.

Tianyi Hao, Amanda Xu, Swamit Tannu

CoRR, March, 2025

Checking Observational Correctness of Database Systems.

Lauren Pick, Amanda Xu, Ankush Desai, Sanjit A. Seshia, Aws Albarghouthi

Proc. ACM Program. Lang., 2025

Dependency-Aware Compilation for Surface Code Quantum Architectures.

Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi

Proc. ACM Program. Lang., 2025

Optimizing Quantum Circuits, Fast and Slow.

Amanda Xu, Abtin Molavi, Swamit Tannu, Aws Albarghouthi

Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2025

2024

Checking Observational Correctness of Database Systems Artifact (Troubadour).

Lauren Pick, Amanda Xu, Ankush Desai, Sanjit Seshia, Aws Albarghouthi

Dataset, December, 2024

2023

Synthesizing Quantum-Circuit Optimizers.

Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi

Proc. ACM Program. Lang., 2023

Compilation for Surface Code Quantum Computers.

Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi

CoRR, 2023

2022

Qubit Mapping and Routing via MaxSAT.

Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

2021

Petr4: formal foundations for p4 data planes.

Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster

Proc. ACM Program. Lang., 2021