Liu,Shaydulin,Niroula,DeCross,Hung,Kon,Cervero-Martín,Chakraborty,Amer,Aaronson,Acharya,Alexeev,Berg,Chakrabarti,Curchod,Dreiling,Erickson,Foltz,Foss-Feig,Hayes,Humble,Kumar,Larson,Lykov,Mills,Moses,Neyenhuis,Eloul,Siegfried,Walker,Lim,Pistoia, “Certified randomness using a trapped-ion quantum processor,” Nature, 640, 343-348, Mar. 2025
Hietala,Rand,Li,Hung,Wu,Hicks, “A Verified Optimizer for Quantum Circuits,” ACM Transactions on Programming Languages and Systems, 45, 1-35, Sept. 2023
Chakrabarti,Childs,Hung,Li,Wang,Wu, “Quantum Algorithm for Estimating Volumes of Convex Bodies,” ACM Transactions on Quantum Computing, 4, 1-60, May 2023
Chen,Childs,Hung, “Quantum algorithm for multivariate polynomial interpolation,” Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, 474, Jan. 2018
Conference & proceeding papers:
Scott Aaronson, Shih-Han Hung , “Certified Randomness from Quantum Supremacy,” The 55th ACM Symposium on Theory of Computing (STOC 2023), 933-944, Orlando, Florida, Jun. 2023
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu , “EasyPQC: Verifying Post-Quantum Cryptography,” The 2021 ACM SIGSAC Conference on Computer and Communications Security (CCS 2021), 2564-2586, Nov. 2021
Andrew M. Childs, Tongyang Li, Shih-Han Hung , “Quantum Query Complexity with Matrix-Vector Products,” The 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), 55:1-55:19, Jul. 2021
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks, “Proving Quantum Programs Correct,” The 12th International Conference on Interactive Theorem Proving (ITP 2021), 21:1-21:19, Jun. 2021
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks, “A Verified Optimizer for Quantum Circuits,” The 48th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021), 1-29, Jan. 2021
Gorjan Alagic, Andrew M. Childs, Alex B. Grilo, Shih-Han Hung, “Non-Interactive Classical Verification of Quantum Computation,” Non-Interactive Classical Verification of Quantum Computation, 153-180, Dec. 2020
Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu, “On the Principles of Differentiable Quantum Programming Languages,” The 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2020), 272-285, Jun. 2020
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu , “Quantitative robustness analysis of quantum programs,” The 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 31:1-31:29, Jan. 2019
Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski , “Optimal Quantum Algorithm for Polynomial Interpolation,” The 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 16:1-16:13, Aug. 2016
Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu , “Quantum Algorithm for Estimating Volumes of Convex Bodies,” The 23rd Annual Conference on Quantum Information Processing (QIP 2020)