Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 5 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
[
Title
]
Type
Year
Filters:
Author
is
Wu, Xiaodi
[Clear All Filters]
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
C
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
D
W. Fang
,
Ying, M.
, and
Wu, X.
,
“
Differentiable Quantum Programming with Unbounded Loops
”
, 2022.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
F
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Q
L. Li
,
Zhu, M.
,
Lee, Y.
,
Chang, L.
, and
Wu, X.
,
“
Quantum Natural Proof: A New Perspective of Hybrid Quantum-Classical Program Verification
”
, 2022.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
S
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.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS