Sign in
Xiaodi Wu
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 3
Top Topics
Simulation Models
Programming Environments
Loss Function
Functional Programs
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)