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.