Amanda Xu

Orcid: 0009-0008-2279-5816

According to our database1, Amanda Xu authored at least 10 papers between 2021 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Generating Compilers for Qubit Mapping and Routing.
Proc. ACM Program. Lang., 2026

Reducing T Gates with Unitary Synthesis.
Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025
Checking Observational Correctness of Database Systems.
Proc. ACM Program. Lang., 2025

Dependency-Aware Compilation for Surface Code Quantum Architectures.
Proc. ACM Program. Lang., 2025

Optimizing Quantum Circuits, Fast and Slow.
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).
Dataset, December, 2024

2023
Synthesizing Quantum-Circuit Optimizers.
Proc. ACM Program. Lang., 2023

Compilation for Surface Code Quantum Computers.
CoRR, 2023

2022
Qubit Mapping and Routing via MaxSAT.
Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

2021
Petr4: formal foundations for p4 data planes.
Proc. ACM Program. Lang., 2021


  Loading...