H. Deng, Tao, R., Peng, Y., and Wu, X.,
“A Case for Synthesis of Recursive Quantum Unitary Programs”,
Proceedings of the ACM on Programming Languages, vol. 8, pp. 1759–1788, 2024.
Y. Peng, Young, J., Liu, P., and Wu, X.,
“SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation”,
Proceedings of the ACM on Programming Languages, vol. 8, pp. 2425–2455, 2024.
J. Antonio Ma Guzmán, Erker, P., Gasparinetti, S., Huber, M., and Halpern, N. Yunger,
“Key issues review: useful autonomous quantum machines”,
Reports on Progress in Physics, vol. 87, p. 122001, 2024.