Publications

Export 31 results:
Author Title Type [ Year(Asc)]
Filters: Author is Xiaodi Wu  [Clear All Filters]
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.
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.
Y. Peng, Young, J., Liu, P., and Wu, X., SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation, 2023.
X. You, Chakrabarti, S., Chen, B., and Wu, X., Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels, 2023.
J. Leng, Hickman, E., Li, J., and Wu, X., Quantum Hamiltonian Descent, 2023.
A. Senanian, Prabhu, S., Kremenetski, V., Roy, S., Cao, Y., Kline, J., Onodera, T., Wright, L. G., Wu, X., Fatemi, V., and McMahon, P. L., Microwave signal processing using an analog quantum reservoir computer, 2023.
Y. Alexeev, Amsler, M., Baity, P., Barroca, M. Antonio, Bassini, S., Battelle, T., Camps, D., Casanova, D., Choi, Yjai, Chong, F. T., Chung, C., Codella, C., Corcoles, A. D., Cruise, J., Di Meglio, A., Dubois, J., Duran, I., Eckl, T., Economou, S., Eidenbenz, S., Elmegreen, B., Fare, C., Faro, I., Fernández, C. Sanz, Ferreira, R. Neumann Ba, Fuji, K., Fuller, B., Gagliardi, L., Galli, G., Glick, J. R., Gobbi, I., Gokhale, P., Gonzalez, Sde la Puen, Greiner, J., Gropp, B., Grossi, M., Gull, E., Healy, B., Huang, B., Humble, T. S., Ito, N., Izmaylov, A. F., Javadi-Abhari, A., Jennewein, D., Jha, S., Jiang, L., Jones, B., de Jong, W. Albert, Jurcevic, P., Kirby, W., Kister, S., Kitagawa, M., Klassen, J., Klymko, K., Koh, K., Kondo, M., Kurkcuoglu, D. Murat, Kurowski, K., Laino, T., Landfield, R., Leininger, M., Leyton-Ortega, V., Li, A., Lin, M., Liu, J., Lorente, N., Luckow, A., Martiel, S., Martin-Fernandez, F., Martonosi, M., Marvinney, C., Medina, A. Castaneda, Merten, D., Mezzacapo, A., Michielsen, K., Mitra, A., Mittal, T., Moon, K., Moore, J., Motta, M., Na, Y. - H., Nam, Y., Narang, P., Ohnishi, Y. -ya, Ottaviani, D., Otten, M., Pakin, S., Pascuzzi, V. R., Penault, E., Piontek, T., Pitera, J., Rall, P., Ravi, G. Subramania, Robertson, N., Rossi, M., Rydlichowski, P., Ryu, H., Samsonidze, G., Sato, M., Saurabh, N., Sharma, V., Sharma, K., Shin, S., Slessman, G., Steiner, M., Sitdikov, I., Suh, I. - S., Switzer, E., Tang, W., Thompson, J., Todo, S., Tran, M., Trenev, D., Trott, C., Tseng, H. - H., Tureci, E., Valinas, D. García, Vallecorsa, S., Wever, C., Wojciechowski, K., Wu, X., Yoo, S., Yoshioka, N., Yu, V. Wen-zhe, Yunoki, S., Zhuk, S., and Zubarev, D., Quantum-centric Supercomputing for Materials Science: A Perspective on Challenges and Future Directions, 2023.
B. Augustino, Leng, J., Nannicini, G., Terlaky, T., and Wu, X., A quantum central path algorithm for linear optimization, 2023.
J. Leng, Zheng, Y., and Wu, X., A quantum-classical performance separation in nonconvex optimization, 2023.