Shih-Han Hung

Barbosa, M. ., Barthe, G. ., Fan, X. ., Grégoire, B. ., Hung, S.-H. ., Katz, J. ., … Zhou, L. . (2021). EasyPQC: Verifying Post-Quantum Cryptography. In ACM CCS 2021. http://doi.org/10.1145/3460120.3484567 (Original work published September 2021)

Hietala, K. ., Rand, R. ., Hung, S.-H. ., Li, L. ., & Hicks, M. . (2021). Proving Quantum Programs Correct. 12th International Conference on Interactive Theorem Proving (ITP 2021), 193, 21:1–21:19. http://doi.org/10.4230/LIPIcs.ITP.2021.21 (Original work published June 2021)

Childs, A. M., Hung, S.-H. ., & Li, T. . (2021). Quantum Query Complexity with Matrix-Vector Products. In 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). http://doi.org/10.4230/LIPIcs.ICALP.2021.55 (Original work published February 2021)

Hietala, K. ., Rand, R. ., Hung, S.-H. ., Wu, X. ., & Hicks, M. . (2021). A Verified Optimizer for Quantum Circuits. Proceedings of the ACM on Programming Languages, 5. http://doi.org/10.1145/3434318 (Original work published January 2021)

Zhu, S. ., Hung, S.-H. ., Chakrabarti, S. ., & Wu, X. . (2020). On the principles of differentiable quantum programming languages. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 272–285). ACM. http://doi.org/10.1145/3385412.3386011 (Original work published June 2020)

Alagic, G. ., Childs, A. M., Grilo, A. ., & Hung, S.-H. . (2020). Non-interactive Classical Verification of Quantum Computation. In Lecture Notes in Computer Science (pp. 153–180). Springer International Publishing. http://doi.org/10.1007/978-3-030-64381-2_6

Hietala, K. ., Rand, R. ., Hung, S.-H. ., Wu, X. ., & Hicks, M. . (2019). Verified Optimization in a Quantum Intermediate Representation. ArXiv. Retrieved from https://arxiv.org/abs/1904.06319 (Original work published April 2019)

Hung, S.-H. ., Hietala, K. ., Zhu, S. ., Ying, M. ., Hicks, M. ., & Wu, X. . (2018). Quantitative Robustness Analysis of Quantum Programs (Extended Version). Proc. ACM Program. Lang., 3, Article 31. http://doi.org/10.1145/3290344 (Original work published December 2018)

Chen, J. ., Childs, A. M., & Hung, S.-H. . (2018). Quantum algorithm for multivariate polynomial interpolation. Proceedings of The Royal Society A, 474. http://doi.org/10.1098/rspa.2017.0480 (Original work published January 2018)

Childs, A. M., van Dam, W. ., Hung, S.-H. ., & Shparlinski, I. . (2016). Optimal quantum algorithm for polynomial interpolation. 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 55, 16:1–16:13. http://doi.org/10.4230/LIPIcs.ICALP.2016.16 (Original work published March 2016)