1. Research
  2. Publications

Publications

Export 304 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is W  [Clear All Filters]
2024
L. Li, Chang, L., Cleaveland, R., Zhu, M., and Wu, X., “The Quantum Abstract Machine”, 2024.
A. Vrajitoarea, Belyansky, R., Lundgren, R., Whitsitt, S., Gorshkov, A. V., and Houck, A. A., “Ultrastrong light-matter interaction in a multimode photonic crystal”, 2024.
Z. Davoudi, Detmold, W., Fu, Z., Grebe, A. V., Jay, W., Murphy, D., Oare, P., Shanahan, P. E., and Wagman, M. L., “Long-Distance Nuclear Matrix Elements for Neutrinoless Double-Beta Decay from Lattice QCD”, 2024.
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.
Z. Liu, Li, X., Wang, C., and Liu, J. - P., “Toward end-to-end quantum simulation for protein dynamics”, 2024.
J. Yu, Muleady, S. R., Wang, Y. - X., Schine, N., Gorshkov, A. V., and Childs, A. M., “Efficient preparation of Dicke states”, 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.
L. Li, Zhu, M., Cleaveland, R., Nicolellis, A., Lee, Y., Chang, L., and Wu, X., “Qafny: A Quantum-Program Verifier”, 2024.
Y. - X. Wang, Bringewatt, J., Seif, A., Brady, A. J., Oh, C., and Gorshkov, A. V., “Exponential entanglement advantage in sensing correlated noise”, 2024.
A. Bouland, Giurgica-Tiron, T., and Wright, J., “The state hidden subgroup problem and an efficient algorithm for locating unentanglement”, 2024.
J. Leng, Li, J., Peng, Y., and Wu, X., “Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding”, 2024.
2023
M. Barbosa, Barthe, G., Doczkal, C., Don, J., Fehr, S., Grégoire, B., Huang, Y. - H., Hülsing, A., Lee, Y., and Wu, X., “Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium”, in Advances in Cryptology – CRYPTO 2023, Cham, 2023.
C. J. Cao, Gullans, M., Lackey, B., and Wang, Z., “Quantum Lego Expansion Pack: Enumerators from Tensor Networks”, 2023.
R. Belyansky, Whitsitt, S., Mueller, N., Fahimniya, A., Bennewitz, E. R., Davoudi, Z., and Gorshkov, A. V., “High-Energy Collision of Quarks and Hadrons in the Schwinger Model: From Tensor Networks to Circuit QED”, 2023.
R. Abbott, Detmold, W., Romero-López, F., Davoudi, Z., Illa, M., Parreño, A., Perry, R. J., Shanahan, P. E., and Wagman, M. L., “Lattice quantum chromodynamics at large isospin density: 6144 pions in a box”, 2023.
L. Li, Zhu, M., Cleaveland, R., Lee, Y., Chang, L., and Wu, X., “Qafny: Quantum Program Verification Through Type-guided Classical Separation Logic”, 2023.
J. Kirchenbauer, Geiping, J., Wen, Y., Katz, J., Miers, I., and Goldstein, T., “A Watermark for Large Language Models”, 2023.
Y. Xu, Wang, Y., Kuo, E. - J., and Albert, V. V., “Qubit-Oscillator Concatenated Codes: Decoding Formalism and Code Comparison”, PRX Quantum, vol. 4, p. 020342, 2023.
B. Ware, Deshpande, A., Hangleiter, D., Niroula, P., Fefferman, B., Gorshkov, A. V., and Gullans, M., “A sharp phase transition in linear cross-entropy benchmarking”, 2023.
S. Amarasinghe, Baghdadi, R., Davoudi, Z., Detmold, W., Illa, M., Parreño, A., Pochinsky, A. V., Shanahan, P. E., and Wagman, M. L., “Variational study of two-nucleon systems with lattice QCD”, Physical Review D, vol. 107, 2023.
M. P. Zaletel, Lukin, M., Monroe, C., Nayak, C., Wilczek, F., and Yao, N. Y., “Colloquium: Quantum and Classical Discrete Time Crystals”, 2023.
S. Chakrabarti, Childs, A. M., Hung, S. - H., Li, T., Wang, C., and Wu, X., “Quantum algorithm for estimating volumes of convex bodies”, ACM Transactions on Quantum Computing, vol. 4, 2023.
S. Chakrabarti, Childs, A. M., Hung, S. - H., Li, T., Wang, C., and Wu, X., “Quantum algorithm for estimating volumes of convex bodies”, ACM Transactions on Quantum Computing, vol. 4, 2023.
Q. Wang, Cian, Z. - P., Li, M., Markov, I. L., and Nam, Y., “Ever more optimized simulations of fermionic systems on a quantum computer”, 2023.
Y. Peng, Young, J., Liu, P., and Wu, X., “SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation”, 2023.