Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 9 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
Type
[
Year
]
Filters:
Author
is
Shih-Han Hung
[Clear All Filters]
2021
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
2020
S. Zhu
,
Hung, S. - H.
,
Chakrabarti, S.
, and
Wu, X.
,
“
On the Principles of Differentiable Quantum Programming Languages
”
, 2020.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
G. Alagic
,
Childs, A. M.
,
Grilo, A. B.
, and
Hung, S. - H.
,
“
Non-interactive classical verification of quantum computation
”
,
Theory of Cryptography Conference (TCC)
, vol. Lecture Notes in Computer Science 12552, pp. 153-180, 2020.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
K. Hietala
,
Rand, R.
,
Hung, S. - H.
,
Li, L.
, and
Hicks, M.
,
“
Proving Quantum Programs Correct
”
, 2020.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
2019
S. Chakrabarti
,
Childs, A. M.
,
Hung, S. - H.
,
Li, T.
,
Wang, C.
, and
Wu, X.
,
“
Quantum algorithm for estimating volumes of convex bodies
”
, 2019.
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
2018
S. - H. Hung
,
Hietala, K.
,
Zhu, S.
,
Ying, M.
,
Hicks, M.
, and
Wu, X.
,
“
Quantitative Robustness Analysis of Quantum Programs (Extended Version)
”
,
Proc. ACM Program. Lang.
, vol. 3, no. POPL, p. Article 31, 2018.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
J. Chen
,
Childs, A. M.
, and
Hung, S. - H.
,
“
Quantum algorithm for multivariate polynomial interpolation
”
,
Proceedings of The Royal Society A
, vol. 474, no. 2209, 2018.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
2016
A. M. Childs
,
van Dam, W.
,
Hung, S. - H.
, and
Shparlinski, I. E.
,
“
Optimal quantum algorithm for polynomial interpolation
”
,
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016)
, vol. 55, p. 16:1--16:13, 2016.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS