Amanda Xu

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Electronic Circuits

Quantum Computing

Top Venues

Proc. ACM Program. Lang.

Publications

Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Synthesizing Quantum-Circuit Optimizers. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Abtin Molavi, Amanda Xu, Swamit Tannu, Aws Albarghouthi
Compilation for Surface Code Quantum Computers. CoRR (2023)
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Qubit Mapping and Routing via MaxSAT. CoRR (2022)
Abtin Molavi, Amanda Xu, Martin Diges, Lauren Pick, Swamit Tannu, Aws Albarghouthi
Qubit Mapping and Routing via MaxSAT. MICRO (2022)
Amanda Xu, Abtin Molavi, Lauren Pick, Swamit S. Tannu, Aws Albarghouthi
Synthesizing Quantum-Circuit Optimizers. CoRR (2022)
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
Petr4: formal foundations for p4 data planes. Proc. ACM Program. Lang. 5 (POPL) (2021)
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
Petr4: Formal Foundations for P4 Data Planes. CoRR (2020)