Publications

Export 8 results:
Author Title [ Type(Asc)] Year
Filters: Author is Shih-Han Hung  [Clear All Filters]
Journal Article
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., A Verified Optimizer for Quantum Circuits, 2019.
K. Hietala, Rand, R., Hung, S. - H., Wu, X., and Hicks, M., Verified Optimization in a Quantum Intermediate Representation, 2019.
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.
S. Chakrabarti, Childs, A. M., Hung, S. - H., Li, T., Wang, C., and Wu, X., Quantum algorithm for estimating volumes of convex bodies, 2019.
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.
S. Zhu, Hung, S. - H., Chakrabarti, S., and Wu, X., On the Principles of Differentiable Quantum Programming Languages, 2020.
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.
G. Alagic, Childs, A. M., Grilo, A. B., and Hung, S. - H., Non-interactive classical verification of quantum computation, To appear in the Proceedings of the Eighteenth Theory of Cryptography Conference (TCC 2020), 2020.