Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 31 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
[
Title
]
Type
Year
Filters:
Author
is
Xiaodi Wu
[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
S
Y. Peng
,
Young, J.
,
Liu, P.
, and
Wu, X.
,
“
SimuQ: A Domain-Specific Language For Quantum Simulation With Analog Compilation
”
, 2023.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
T. Li
,
Wang, C.
,
Chakrabarti, S.
, and
Wu, X.
,
“
Sublinear classical and quantum algorithms for general matrix games
”
,
To appear in the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021)
, 2020.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
T. Li
,
Chakrabarti, S.
, and
Wu, X.
,
“
Sublinear quantum algorithms for training linear and kernel-based classifiers
”
,
Proceedings of the 36th International Conference on Machine Learning (ICML 2019) PMLR
, vol. 97, pp. 3815-3824, 2019.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
V
L. Li
,
Voichick, F.
,
Hietala, K.
,
Peng, Y.
,
Wu, X.
, and
Hicks, M.
,
“
Verified Compilation of Quantum Oracles
”
, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
K. Hietala
,
Rand, R.
,
Hung, S. - H.
,
Wu, X.
, and
Hicks, M.
,
“
Verified Optimization in a Quantum Intermediate Representation
”
, 2019.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
K. Hietala
,
Rand, R.
,
Hung, S. - H.
,
Wu, X.
, and
Hicks, M.
,
“
A Verified Optimizer for Quantum Circuits
”
,
Proceedings of the ACM on Programming Languages
, vol. 5, no. POPL, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
first
previous
1
2