1. Research
  2. Publications

Publications

Export 318 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Last Name is H  [Clear All Filters]
Journal Article
S. Zhu, Hung, S. - H., Chakrabarti, S., and Wu, X., “On the Principles of Differentiable Quantum Programming Languages”, 2020.
M. Foss-Feig, Hermele, M., and Rey, A. Maria, “Probing the Kondo Lattice Model with Alkaline Earth Atoms”, Physical Review A, vol. 81, no. 5, 2010.
C. Monroe, Campbell, W. C., Duan, L. - M., Gong, Z. - X., Gorshkov, A. V., Hess, P., Islam, R., Kim, K., Pagano, G., Richerme, P., Senko, C., and Yao, N. Y., “Programmable Quantum Simulations of Spin Systems with Trapped Ions”, 2019.
D. R. M. Arvidsson-Shukur, Braasch, Jr., W. F., De Bievre, S., Dressel, J., Jordan, A. N., Langrenez, C., Lostaglio, M., Lundeen, J. S., and Halpern, N. Yunger, “Properties and Applications of the Kirkwood-Dirac Distribution”, 2024.
H. - Y. Huang, Kueng, R., Torlai, G., Albert, V. V., and Preskill, J., “Provably efficient machine learning for quantum many-body problems”, Science, vol. 377, 2022.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, 12th International Conference on Interactive Theorem Proving (ITP 2021), vol. 193, pp. 21:1–21:19, 2021.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, Schloss Dagstuhl, 2021.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, 12th International Conference on Interactive Theorem Proving (ITP 2021), vol. 193, pp. 21:1–21:19, 2021.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, Schloss Dagstuhl, 2021.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, 12th International Conference on Interactive Theorem Proving (ITP 2021), vol. 193, pp. 21:1–21:19, 2021.
K. Hietala, Rand, R., Hung, S. - H., Li, L., and Hicks, M., “Proving Quantum Programs Correct”, Schloss Dagstuhl, 2021.
S. - H. Hung, Hietala, K., Zhu, S., Ying, M., Hicks, M., and Wu, X., “Quantitative Robustness Analysis of Quantum Programs (Extended Version)”, Proc. ACM Program. Lang., vol. 3, no. POPL, p. Article 31, 2018.
S. - H. Hung, Hietala, K., Zhu, S., Ying, M., Hicks, M., and Wu, X., “Quantitative Robustness Analysis of Quantum Programs (Extended Version)”, Proc. ACM Program. Lang., vol. 3, no. POPL, p. Article 31, 2018.
S. - H. Hung, Hietala, K., Zhu, S., Ying, M., Hicks, M., and Wu, X., “Quantitative Robustness Analysis of Quantum Programs (Extended Version)”, Proc. ACM Program. Lang., vol. 3, no. POPL, p. Article 31, 2018.
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.
J. Chen, Childs, A. M., and Hung, S. - H., “Quantum algorithm for multivariate polynomial interpolation”, Proceedings of The Royal Society A, vol. 474, no. 2209, 2018.
G. Pagano, Bapat, A., Becker, P., Collins, K. S., De, A., Hess, P. W., Kaplan, H. B., Kyprianidis, A., Tan, W. L., Baldwin, C. L., Brady, L. T., Deshpande, A., Liu, F., Jordan, S., Gorshkov, A. V., and Monroe, C., “Quantum Approximate Optimization with a Trapped-Ion Quantum Simulator”, 2019.
M. Gullans, Krastanov, S., Huse, D. A., Jiang, L., and Flammia, S. T., “Quantum coding with low-depth random circuits”, 2020.
A. Deshpande, Mehta, A., Vincent, T., Quesada, N., Hinsche, M., Ioannou, M., Madsen, L., Lavoie, J., Qi, H., Eisert, J., Hangleiter, D., Fefferman, B., and Dhand, I., “Quantum computational advantage via high-dimensional Gaussian boson sampling”, Science Advances, vol. 8, p. eabi7894, 2022.
A. Deshpande, Mehta, A., Vincent, T., Quesada, N., Hinsche, M., Ioannou, M., Madsen, L., Lavoie, J., Qi, H., Eisert, J., Hangleiter, D., Fefferman, B., and Dhand, I., “Quantum computational advantage via high-dimensional Gaussian boson sampling”, Science Advances, vol. 8, p. eabi7894, 2022.
A. Deshpande, Mehta, A., Vincent, T., Quesada, N., Hinsche, M., Ioannou, M., Madsen, L., Lavoie, J., Qi, H., Eisert, J., Hangleiter, D., Fefferman, B., and Dhand, I., “Quantum Computational Supremacy via High-Dimensional Gaussian Boson Sampling”, 2021.
A. Deshpande, Mehta, A., Vincent, T., Quesada, N., Hinsche, M., Ioannou, M., Madsen, L., Lavoie, J., Qi, H., Eisert, J., Hangleiter, D., Fefferman, B., and Dhand, I., “Quantum Computational Supremacy via High-Dimensional Gaussian Boson Sampling”, 2021.
Y. Alexeev, Bacon, D., Brown, K. R., Calderbank, R., Carr, L. D., Chong, F. T., DeMarco, B., Englund, D., Farhi, E., Fefferman, B., Gorshkov, A. V., Houck, A., Kim, J., Kimmel, S., Lange, M., Lloyd, S., Lukin, M. D., Maslov, D., Maunz, P., Monroe, C., Preskill, J., Roetteler, M., Savage, M., Thompson, J., and Vazirani, U., “Quantum Computer Systems for Scientific Discovery”, 2019.
P. S. Emani, Warrell, J., Anticevic, A., Bekiranov, S., Gandal, M., McConnell, M. J., Sapiro, G., Aspuru-Guzik, A., Baker, J., Bastiani, M., McClure, P., Murray, J., Sotiropoulos, S. N., Taylor, J. M., Senthil, G., Lehner, T., Gerstein, M. B., and Harrow, A. W., “Quantum Computing at the Frontiers of Biological Sciences”, 2019.
K. R. A. Hazzard, van den Worm, M., Foss-Feig, M., Manmana, S. R., Torre, E. Dalla, Pfau, T., Kastner, M., and Rey, A. Maria, “Quantum correlations and entanglement in far-from-equilibrium spin systems ”, Physical Review A, vol. 90, no. 6, 2014.