Xiaodi Wu

According to our database, Xiaodi Wu authored at least 57 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Differentiable Quantum Programming with Unbounded Loops.

Wang Fang, Mingsheng Ying, Xiaodi Wu

ACM Trans. Softw. Eng. Methodol., January, 2024

SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation.

Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu

Proc. ACM Program. Lang., January, 2024

A Case for Synthesis of Recursive Quantum Unitary Programs.

Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu

Proc. ACM Program. Lang., January, 2024

Quantum-centric supercomputing for materials science: A perspective on challenges and future directions.

Yuri Alexeev, Maximilian Amsler, Marco Antonio Barroca, Sanzio Bassini, Torey Battelle, Daan Camps, David Casanova, Young Jay Choi, Frederic T. Chong, Charles Chung, Christopher Codella, Antonio D. Córcoles, James Cruise, Alberto Di Meglio, Ivan Duran, Thomas Eckl, Sophia E. Economou, Stephan J. Eidenbenz, Bruce Elmegreen, Clyde Fare, Ismael Faro, Cristina Sanz Fernández, Rodrigo Neumann Barros Ferreira, Keisuke Fuji, Bryce Fuller, Laura Gagliardi, Giulia Galli, Jennifer R. Glick, Isacco Gobbi, Pranav Gokhale, Salvador de la Puente Gonzalez, Johannes Greiner, Bill Gropp, Michele Grossi, Emanuel Gull, Burns Healy, Matthew R. Hermes, Benchen Huang, Travis S. Humble, Nobuyasu Ito, Artur F. Izmaylov, Ali Javadi-Abhari, Douglas M. Jennewein, Shantenu Jha, Liang Jiang, Barbara Jones, Wibe Albert de Jong, Petar Jurcevic, William M. Kirby, Stefan Kister, Masahiro Kitagawa, Joel Klassen, Katherine Klymko, Kwangwon Koh, Masaaki Kondo, Doga Murat Kürkçüoglu, Krzysztof Kurowski, Teodoro Laino, Ryan Landfield, Matthew L. Leininger, Vicente Leyton-Ortega, Ang Li, Meifeng Lin, Junyu Liu, Nicolás Lorente, André Luckow, Simon Martiel, Francisco Martín-Fernández, Margaret Martonosi, Claire Marvinney, Arcesio Castañeda Medina, Dirk Merten, Antonio Mezzacapo, Kristel Michielsen, Abhishek Mitra, Tushar Mittal, Kyungsun Moon, Joel Moore, Sarah Mostame, Mario Motta, Young-Hye Na, Yunseong Nam, Prineha Narang, Yu-ya Ohnishi, Daniele Ottaviani, Matthew Otten, Scott Pakin, Vincent R. Pascuzzi, Edwin Pednault, Tomasz Piontek, Jed Pitera, Patrick Rall, Gokul Subramanian Ravi, Niall Robertson, Matteo A. C. Rossi, Piotr Rydlichowski, Hoon Ryu, Georgy Samsonidze, Mitsuhisa Sato, Nishant Saurabh, Vidushi Sharma, Kunal Sharma, Soyoung Shin, George Slessman, Mathias Steiner, Iskandar Sitdikov, In-Saeng Suh, Eric D. Switzer, Wei Tang, Joel Thompson, Synge Todo, Minh C. Tran, Dimitar Trenev, Christian Trott, Huan-Hsin Tseng, Norm M. Tubman, Esin Tureci, David García Valiñas, Sofia Vallecorsa, Christopher Wever, Konrad Wojciechowski, Xiaodi Wu, Shinjae Yoo, Nobuyuki Yoshioka, Victor Wen-zhe Yu, Seiji Yunoki, Sergiy Zhuk, Dmitry Zubarev

Future Gener. Comput. Syst., 2024

Qafny: A Quantum-Program Verifier (Artifact).

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Dagstuhl Artifacts Ser., 2024

Efficient Routing on Quantum Networks using Adaptive Clustering.

Connor Clayton, Xiaodi Wu, Bobby Bhattacharjee

CoRR, 2024

QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent.

Samuel Kushnir, Jiaqi Leng, Yuxiang Peng, Lei Fan, Xiaodi Wu

CoRR, 2024

The Quantum Abstract Machine.

Liyi Li, Le Chang, Rance Cleaveland, Mingwei Zhu, Xiaodi Wu

CoRR, 2024

Expanding Hardware-Efficiently Manipulable Hilbert Space via Hamiltonian Embedding.

Jiaqi Leng, Joseph Li, Yuxiang Peng, Xiaodi Wu

CoRR, 2024

Qafny: A Quantum-Program Verifier.

Liyi Li, Mingwei Zhu, Rance Cleaveland, Alexander Nicolellis, Yi Lee, Le Chang, Xiaodi Wu

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

A Verified Optimizer for Quantum Circuits.

Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks

ACM Trans. Program. Lang. Syst., September, 2023

Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium.

Manuel Barbosa, Gilles Barthe, Christian Doczkal, Jelle Don, Serge Fehr, Benjamin Grégoire, Yu-Hsuan Huang, Andreas Hülsing, Yi Lee, Xiaodi Wu

IACR Cryptol. ePrint Arch., 2023

A quantum central path algorithm for linear optimization.

Brandon Augustino, Jiaqi Leng, Giacomo Nannicini, Tamás Terlaky, Xiaodi Wu

CoRR, 2023

A quantum-classical performance separation in nonconvex optimization.

Jiaqi Leng, Yufan Zheng, Xiaodi Wu

CoRR, 2023

SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation.

Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu

CoRR, 2023

Quantum Hamiltonian Descent.

Jiaqi Leng, Ethan Hickman, Joseph Li, Xiaodi Wu

CoRR, 2023

Analyzing Convergence in Quantum Neural Networks: Deviations from Neural Tangent Kernels.

Xuchen You, Shouvanik Chakrabarti, Boyang Chen, Xiaodi Wu

Proceedings of the International Conference on Machine Learning, 2023

Distributed Quantum Sensing Network with Geographically Constrained Measurement Strategies.

Yingkang Cao, Xiaodi Wu

Proceedings of the IEEE International Conference on Acoustics, 2023

2022

Verified compilation of Quantum oracles.

Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks

Proc. ACM Program. Lang., 2022

Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification.

Liyi Li, Mingwei Zhu, Yi Lee, Le Chang, Xiaodi Wu

CoRR, 2022

A Convergence Theory for Over-parameterized Variational Quantum Eigensolvers.

Xuchen You, Shouvanik Chakrabarti, Xiaodi Wu

CoRR, 2022

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.

Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu

CoRR, 2022

Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra.

Yuxiang Peng, Mingsheng Ying, Xiaodi Wu

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Differentiable Analog Quantum Computing for Optimization and Control.

Jiaqi Leng, Yuxiang Peng, Yi-Ling Qiao, Ming C. Lin, Xiaodi Wu

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Constant-Round Blind Classical Verification of Quantum Sampling.

Kai-Min Chung, Yi Lee, Han-Hsuan Lin, Xiaodi Wu

Proceedings of the Advances in Cryptology - EUROCRYPT 2022 - 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Trondheim, Norway, May 30, 2022

2021

A verified optimizer for Quantum circuits.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Proc. ACM Program. Lang., 2021

EasyPQC: Verifying Post-Quantum Cryptography.

Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou

IACR Cryptol. ePrint Arch., 2021

Exponentially Many Local Minima in Quantum Neural Networks.

Xuchen You, Xiaodi Wu

Proceedings of the 38th International Conference on Machine Learning, 2021

ICCAD Special Session Paper: Quantum Variational Methods for Quantum Applications.

Shouvanik Chakrabarti, Xuchen You, Xiaodi Wu

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

Sublinear Classical and Quantum Algorithms for General Matrix Games.

Tongyang Li, Chunhao Wang, Shouvanik Chakrabarti, Xiaodi Wu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Quantum algorithms and lower bounds for convex optimization.

Shouvanik Chakrabarti, Andrew M. Childs, Tongyang Li, Xiaodi Wu

Quantum, 2020

On the principles of differentiable quantum programming languages.

Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Quantum Query Complexity of Entropy Estimation.

Tongyang Li, Xiaodi Wu

IEEE Trans. Inf. Theory, 2019

Quantitative robustness analysis of quantum programs.

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu

Proc. ACM Program. Lang., 2019

Quantum algorithm for estimating volumes of convex bodies.

Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu

CoRR, 2019

Verified Optimization in a Quantum Intermediate Representation.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

CoRR, 2019

Quantum Wasserstein Generative Adversarial Networks.

Shouvanik Chakrabarti, Yiming Huang, Tongyang Li, Soheil Feizi, Xiaodi Wu

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Sublinear quantum algorithms for training linear and kernel-based classifiers.

Tongyang Li, Shouvanik Chakrabarti, Xiaodi Wu

Proceedings of the 36th International Conference on Machine Learning, 2019

Quantum SDP Solvers: Large Speed-Ups, Optimality, and Applications to Quantum Learning.

Fernando G. S. L. Brandão, Amir Kalev, Tongyang Li, Cedric Yen-Yu Lin, Krysta M. Svore, Xiaodi Wu

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

2018

Quantitative Robustness Analysis of Quantum Programs (Extended Version).

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu

CoRR, 2018

2017

Sample-Optimal Tomography of Quantum States.

Jeongwan Haah, Aram W. Harrow, Zhengfeng Ji, Xiaodi Wu, Nengkun Yu

IEEE Trans. Inf. Theory, 2017

Raz-McKenzie simulation with the inner product gadget.

Xiaodi Wu, Penghui Yao, Henry S. Yuen

Electron. Colloquium Comput. Complex., 2017

Exponential Quantum Speed-ups for Semidefinite Programming with Applications to Quantum Learning.

Fernando G. S. L. Brandão, Amir Kalev, Tongyang Li, Cedric Yen-Yu Lin, Krysta M. Svore, Xiaodi Wu

CoRR, 2017

Computational Notions of Quantum Min-Entropy.

Yi-Hsiu Chen, Kai-Min Chung, Ching-Yi Lai, Salil P. Vadhan, Xiaodi Wu

CoRR, 2017

Invariants of quantum programs: characterisations and generation.

Mingsheng Ying, Shenggang Ying, Xiaodi Wu

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Limitations of semidefinite programs for separable states and entangled games.

Aram W. Harrow, Anand Natarajan, Xiaodi Wu

CoRR, 2016

Tight SoS-Degree Bounds for Approximate Nash Equilibria.

Aram W. Harrow, Anand Natarajan, Xiaodi Wu

Proceedings of the 31st Conference on Computational Complexity, 2016

2015

Epsilon-net method for optimizations over separable states.

Yaoyun Shi, Xiaodi Wu

Theor. Comput. Sci., 2015

An improved semidefinite programming hierarchy for testing entanglement.

Aram W. Harrow, Anand Natarajan, Xiaodi Wu

CoRR, 2015

Parallel Repetition for Entangled k-player Games via Fast Quantum Search.

Kai-Min Chung, Xiaodi Wu, Henry S. Yuen

Proceedings of the 30th Conference on Computational Complexity, 2015

2014

Multi-Source Randomness Extractors Against Quantum Side Information, and their Applications.

Kai-Min Chung, Xin Li, Xiaodi Wu

Electron. Colloquium Comput. Complex., 2014

2013

Space-efficient Simulations of Quantum Interactive Proofs.

Xiaodi Wu

PhD thesis, 2013

Parallel Approximation of Min-Max Problems.

Gus Gutoski, Xiaodi Wu

Comput. Complex., 2013

2012

Parallel Approximation of Min-max Problems with Applications to Classical and Quantum Zero-Sum Games.

Gus Gutoski, Xiaodi Wu

Proceedings of the 27th Conference on Computational Complexity, 2012

2010

Short quantum games characterize PSPACE

Gus Gutoski, Xiaodi Wu

CoRR, 2010

Parallelized Solution to Semidefinite Programmings in Quantum Complexity Theory

Xiaodi Wu

CoRR, 2010

Equilibrium Value Method for the Proof of QIP=PSPACE

Xiaodi Wu

CoRR, 2010