Shih-Han Hung

According to our database, Shih-Han Hung authored at least 28 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Efficient Closest Matrix Product State Learning in Logarithmic Depth.

Chia-Ying Lin, Nai-Hui Chia, Shih-Han Hung

CoRR, October, 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, K. Jordan Berg, Shouvanik Chakrabarti, Florian J. Curchod, Joan M. Dreiling, Neal Erickson, Cameron Foltz, Michael Foss-Feig, David Hayes, Travis S. Humble, Niraj Kumar, Jeffrey Larson, Danylo Lykov, Michael Mills, Steven A. Moses, Brian Neyenhuis, Shaltiel Eloul, Peter Siegfried, James Walker, Charles Lim, Marco Pistoia

Nat., April, 2025

Quantum Data Management in the NISQ Era.

Rihan Hai, Shih-Han Hung, Tim Coopmans, Tim Littau, Floris Geerts

Proc. VLDB Endow., February, 2025

Establishing a Cross-Population Machine Learning Model for Alzheimer's Disease Risk Prediction in the Taiwanese Population.

Justin Bo-Kai Hsu, Jia-Ruey Tsai, Shih-Han Hung, Cheng-Yang Lee, Chaur-Jong Hu, Tzu-Hao Chang

Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2025

2024

Enhancing Nasopharyngeal Carcinoma Survival Prediction: Integrating Pre- and Post-Treatment MRI Radiomics with Clinical Data.

Luong Huu Dang, Shih-Han Hung, Nhi Thao Ngoc Le, Wei-Kai Chuang, Jeng-You Wu, Ting-Chieh Huang, Nguyen Quoc Khanh Le

J. Imaging Inform. Medicine, 2024

Data Management in the Noisy Intermediate-Scale Quantum Era.

Rihan Hai, Shih-Han Hung, Tim Coopmans, Floris Geerts

CoRR, 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

Quantum Data Management: From Theory to Opportunities.

Rihan Hai, Shih-Han Hung, Sebastian Feld

Proceedings of the 40th IEEE International Conference on Data Engineering, 2024

2023

A Verified Optimizer for Quantum Circuits.

Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks

ACM Trans. Program. Lang. Syst., September, 2023

Non-Interactive Classical Verification of Quantum Depth: A Fine-Grained Characterization.

Nai-Hui Chia, Shih-Han Hung

IACR Cryptol. ePrint Arch., 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

Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

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

Proceedings of the 14th ACM International Conference on Bioinformatics, 2023

2022

Classical verification of quantum depth.

Nai-Hui Chia, Shih-Han Hung

CoRR, 2022

2021

Applications and verification of quantum computers.

Shih-Han Hung

PhD thesis, 2021

A verified optimizer for Quantum circuits.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Proc. ACM Program. Lang., 2021

Proving Quantum Programs Correct.

Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

Quantum Query Complexity with Matrix-Vector Products.

Andrew M. Childs, Shih-Han Hung, Tongyang Li

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 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, Li Zhou

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Non-interactive Classical Verification of Quantum Computation.

Gorjan Alagic, Andrew M. Childs, Alex B. Grilo, Shih-Han Hung

Proceedings of the Theory of Cryptography - 18th International Conference, 2020

On the principles of differentiable quantum programming languages.

Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

Quantitative robustness analysis of quantum programs.

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu

Proc. ACM Program. Lang., 2019

Two-message verification of quantum computation.

Gorjan Alagic, Andrew M. Childs, Shih-Han Hung

CoRR, 2019

Quantum algorithm for estimating volumes of convex bodies.

Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu

CoRR, 2019

Verified Optimization in a Quantum Intermediate Representation.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

CoRR, 2019

2018

Quantitative Robustness Analysis of Quantum Programs (Extended Version).

Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu

CoRR, 2018

2017

Quantum algorithm for multivariate polynomial interpolation.

Jianxin Chen, Andrew M. Childs, Shih-Han Hung

CoRR, 2017

2016

Optimal Quantum Algorithm for Polynomial Interpolation.

Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski

Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016