Xiaodi Wu

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 4

Top Topics

Programming Environments

Quantum Computing

Abstract Machine

Top Venues

Proc. ACM Program. Lang.

ACM Trans. Softw. Eng. Methodol.

Publications

Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu
SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation. Proc. ACM Program. Lang. 8 (POPL) (2024)
Wang Fang, Mingsheng Ying, Xiaodi Wu
Differentiable Quantum Programming with Unbounded Loops. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu
A Case for Synthesis of Recursive Quantum Unitary Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu
The Quantum Abstract Machine. CoRR (2024)