Personal information

Activities

Employment (1)

University of Maryland, College Park: College Park, Maryland, US

2017-06-16 to present | Assistant Professor (Computer Science)
Employment
Source: Self-asserted source
Xiaodi Wu

Education and qualifications (1)

University of Michigan: Ann Arbor, MI, US

2008-09-01 to 2013-08-31 | Phd (Computer Science)
Education
Source: Self-asserted source
Xiaodi Wu

Works (13)

QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent

INFORMS Journal on Computing
2025-01 | Journal article
Contributors: Samuel Kushnir; Jiaqi Leng; Yuxiang Peng; Lei Fan; Xiaodi Wu
Source: check_circle
Crossref

Code and Data Repository for QHDOPT: A Software for Nonlinear Optimization with Quantum Hamiltonian Descent

INFORMS Journal on Computing
2024-11-25 | Journal article
Contributors: Samuel Kushnir; Jiaqi Leng; Yuxiang Peng; Lei Fan; Xiaodi Wu
Source: check_circle
Crossref

Differentiable Quantum Programming with Unbounded Loops

ACM Transactions on Software Engineering and Methodology
2024-01-31 | Journal article
Contributors: Wang Fang; Mingsheng Ying; Xiaodi Wu
Source: check_circle
Crossref

A Case for Synthesis of Recursive Quantum Unitary Programs

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
Contributors: Haowei Deng; Runzhou Tao; Yuxiang Peng; Xiaodi Wu
Source: check_circle
Crossref

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

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
Contributors: Yuxiang Peng; Jacob Young; Pengyu Liu; Xiaodi Wu
Source: check_circle
Crossref

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

2023 | Book chapter
Contributors: Manuel Barbosa; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu-Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu
Source: check_circle
Crossref

A Verified Optimizer for Quantum Circuits

ACM Transactions on Programming Languages and Systems
2023-09-30 | Journal article
Contributors: Kesha Hietala; Robert Rand; Liyi Li; Shih-Han Hung; Xiaodi Wu; Michael Hicks
Source: check_circle
Crossref

Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)

ACM Transactions on Quantum Computing
2023-09-30 | Journal article
Contributors: Haowei Deng; Yuxiang Peng; Michael Hicks; Xiaodi Wu
Source: check_circle
Crossref

Quantum Algorithm for Estimating Volumes of Convex Bodies

ACM Transactions on Quantum Computing
2023-09-30 | Journal article
Contributors: Shouvanik Chakrabarti; Andrew M. Childs; Shih-Han Hung; Tongyang Li; Chunhao Wang; Xiaodi Wu
Source: check_circle
Crossref

Constant-Round Blind Classical Verification of Quantum Sampling

2022 | Book chapter
Contributors: Kai-Min Chung; Yi Lee; Han-Hsuan Lin; Xiaodi Wu
Source: check_circle
Crossref

Verified compilation of Quantum oracles

Proceedings of the ACM on Programming Languages
2022-10-31 | Journal article
Contributors: Liyi Li; Finn Voichick; Kesha Hietala; Yuxiang Peng; Xiaodi Wu; Michael Hicks
Source: check_circle
Crossref

Simulating Large Quantum Circuits on a Small Quantum Computer

Physical Review Letters
2020-10-06 | Journal article
Contributors: Tianyi Peng; Aram W. Harrow; Maris Ozols; Xiaodi Wu
Source: check_circle
Crossref

Quantum Query Complexity of Entropy Estimation

IEEE Transactions on Information Theory
2019-05 | Journal article
Contributors: Tongyang Li; Xiaodi Wu
Source: check_circle
Crossref