Amanda Xu

According to our database, Amanda Xu authored at least 4 papers between 2021 and 2023.

Collaborative distances:

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

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