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)

Qubit Mapping and Routing via MaxSAT. - Abtin Molavi; Amanda Xu; Martin Diges; Lauren Pick; Swamit S. Tannu; Aws Albarghouthi (MICRO, 2022)

Compilation for Surface Code Quantum Computers. - Abtin Molavi; Amanda Xu; Swamit Tannu; Aws Albarghouthi (CoRR, 2023)

Synthesizing Quantum-Circuit Optimizers. - Amanda Xu; Abtin Molavi; Lauren Pick; Swamit Tannu; Aws Albarghouthi (Proc. ACM Program. Lang., 2023)

Checking Observational Correctness of Database Systems Artifact (Troubadour). - Lauren Pick; Amanda Xu; Ankush Desai; Sanjit Seshia; Aws Albarghouthi (Zenodo, 2024)

Optimizing Quantum Circuits, Fast and Slow. - Amanda Xu; Abtin Molavi; Swamit Tannu; Aws Albarghouthi (ASPLOS (1), 2025)

Dependency-Aware Compilation for Surface Code Quantum Architectures. - Abtin Molavi; Amanda Xu; Swamit Tannu; Aws Albarghouthi (Proc. ACM Program. Lang., 2025)

Checking Observational Correctness of Database Systems. - Lauren Pick; Amanda Xu; Ankush Desai; Sanjit A. Seshia; Aws Albarghouthi (Proc. ACM Program. Lang., 2025)

Reducing T Gates with Unitary Synthesis. - Tianyi Hao 003; Amanda Xu; Swamit Tannu (CoRR, 2025)

Generating Compilers for Qubit Mapping and Routing. - Abtin Molavi; Amanda Xu; Ethan Cecchetti; Swamit Tannu; Aws Albarghouthi (CoRR, 2025)