Shih-Han Hung

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

Collaborative distances:

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

2024

Quantum Data Management: From Theory to Opportunities.

Rihan Hai, Shih-Han Hung, Sebastian Feld

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

Certified Randomness from Quantum Supremacy.

Scott Aaronson, Shih-Han Hung

Electron. Colloquium Comput. Complex., 2023

The Computational Complexity of Quantum Determinants.

Shih-Han Hung, En-Jui Kuo

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

A verified optimizer for Quantum circuits.

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

Proc. ACM Program. Lang., 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

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

2020

Non-interactive classical verification of quantum computation.

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

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