Amanda Xu -

Registered user since Thu 13 Apr 2023

Name:Amanda Xu

Affiliation:University of Wisconsin-Madison

Personal website: https://amandashoe.github.io/

Contributions

2025

ICFP/SPLASH

Author of Compiling Quantum Circuits within the Tutorials-track

SPLASH

Author of Checking Observational Correctness of Database Systems within the OOPSLA-track
Author of How to Synthesize Quantum-Circuit Optimizers within the Doctoral Symposium-track
Author of Dependency-Aware Compilation for Surface Code Quantum Architectures within the OOPSLA-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2024

SPLASH

Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track

2023

PLDI

Author of Synthesizing Quantum-Circuit Optimizers within the PLDI Research Papers-track