Optimal Quantum Algorithm for Polynomial Interpolation. - Andrew M. Childs; Wim van Dam; Shih-Han Hung; Igor E. Shparlinski (ICALP, 2016)

Quantum algorithm for multivariate polynomial interpolation. - Jianxin Chen; Andrew M. Childs; Shih-Han Hung (CoRR, 2017)

Quantitative Robustness Analysis of Quantum Programs (Extended Version). - Shih-Han Hung; Kesha Hietala; Shaopeng Zhu; Mingsheng Ying; Michael Hicks 001; Xiaodi Wu 001 (CoRR, 2018)

Verified Optimization in a Quantum Intermediate Representation. - Kesha Hietala; Robert Rand 001; Shih-Han Hung; Xiaodi Wu 001; Michael Hicks 001 (CoRR, 2019)

Quantum algorithm for estimating volumes of convex bodies. - Shouvanik Chakrabarti; Andrew M. Childs; Shih-Han Hung; Tongyang Li; Chunhao Wang; Xiaodi Wu 001 (CoRR, 2019)

Two-message verification of quantum computation. - Gorjan Alagic; Andrew M. Childs; Shih-Han Hung (CoRR, 2019)

Quantitative robustness analysis of quantum programs. - Shih-Han Hung; Kesha Hietala; Shaopeng Zhu; Mingsheng Ying; Michael Hicks 001; Xiaodi Wu 001 (Proc. ACM Program. Lang., 2019)

On the principles of differentiable quantum programming languages. - Shaopeng Zhu; Shih-Han Hung; Shouvanik Chakrabarti; Xiaodi Wu 001 (PLDI, 2020)

Non-interactive classical verification of quantum computation. - Gorjan Alagic; Andrew M. Childs; Alex B. Grilo; Shih-Han Hung (IACR Cryptol. ePrint Arch., 2020)

Quantum Query Complexity with Matrix-Vector Products. - Andrew M. Childs; Shih-Han Hung; Tongyang Li (ICALP, 2021)

Proving Quantum Programs Correct. - Kesha Hietala; Robert Rand 001; Shih-Han Hung; Liyi Li 002; Michael Hicks 001 (ITP, 2021)

EasyPQC: Verifying Post-Quantum Cryptography. - Manuel Barbosa; Gilles Barthe; Xiong Fan; Benjamin Grégoire; Shih-Han Hung; Jonathan Katz; Pierre-Yves Strub; Xiaodi Wu 001; Li Zhou 013 (IACR Cryptol. ePrint Arch., 2021)

A verified optimizer for Quantum circuits. - Kesha Hietala; Robert Rand 001; Shih-Han Hung; Xiaodi Wu 001; Michael Hicks 001 (Proc. ACM Program. Lang., 2021)

Applications and verification of quantum computers. - Shih-Han Hung (2021)

Classical verification of quantum depth. - Nai-Hui Chia; Shih-Han Hung (CoRR, 2022)

Predicting Tumor Mutational Burden and Survival in Head and Neck Squamous Cancer Patients Using Machine Learning and Bioinformatics Approaches. - Nguyen-Kieu Viet-Nhi; Nguyen-Quoc-Khanh Le; Vu Cong Truc; Thi Thuy Nguyen; Tran Nguyen Anh Duy; Nguyen Tu Thai Bao; How Tseng; Shih-Han Hung (BCB, 2023)

The Computational Complexity of Quantum Determinants. - Shih-Han Hung; En-Jui Kuo (CoRR, 2023)

Certified Randomness from Quantum Supremacy. - Scott Aaronson; Shih-Han Hung (Electron. Colloquium Comput. Complex., 2023)

Non-Interactive Classical Verification of Quantum Depth: A Fine-Grained Characterization. - Nai-Hui Chia; Shih-Han Hung (IACR Cryptol. ePrint Arch., 2023)

A Verified Optimizer for Quantum Circuits. - Kesha Hietala; Robert Rand 001; Liyi Li 002; Shih-Han Hung; Xiaodi Wu 001; Michael Hicks 001 (ACM Trans. Program. Lang. Syst., 2023)

Quantum Data Management: From Theory to Opportunities. - Rihan Hai 001; Shih-Han Hung; Sebastian Feld (ICDE, 2024)

Oracle Separation between Noisy Quantum Polynomial Time and the Polynomial Hierarchy. - Nai-Hui Chia; Min-Hsiu Hsieh; Shih-Han Hung; En-Jui Kuo (CoRR, 2024)

Data Management in the Noisy Intermediate-Scale Quantum Era. - Rihan Hai 001; Shih-Han Hung; Tim Coopmans; Floris Geerts (CoRR, 2024)

Quantum Data Management in the NISQ Era. - Rihan Hai 001; Shih-Han Hung; Tim Coopmans; Tim Littau; Floris Geerts (Proc. VLDB Endow., 2025)

Certified randomness using a trapped-ion quantum processor. - Minzhao Liu; Ruslan Shaydulin; Pradeep Niroula; Matthew DeCross; Shih-Han Hung; Wen Yu Kon; Enrique Cervero Martín; Kaushik Chakraborty; Omar Amer; Scott Aaronson; Atithi Acharya; Yuri Alexeev; et al. (Nat., 2025)