Shih-Han Hung

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 30

Top Topics

Cancer Patients

Intermediate Representation

Quantum Computation

Top Venues

IACR Cryptol. ePrint Arch.

Proc. ACM Program. Lang.

Publications

Rihan Hai, Shih-Han Hung, Sebastian Feld
Quantum Data Management: From Theory to Opportunities. ICDE (2024)
Rihan Hai, Shih-Han Hung, Sebastian Feld
Quantum Data Management: From Theory to Opportunities. CoRR (2024)
Nai-Hui Chia, Min-Hsiu Hsieh, Shih-Han Hung, En-Jui Kuo
Oracle Separation between Noisy Quantum Polynomial Time and the Polynomial Hierarchy. CoRR (2024)
Scott Aaronson, Shih-Han Hung
Certified Randomness from Quantum Supremacy. CoRR (2023)
Shih-Han Hung, En-Jui Kuo
The Computational Complexity of Quantum Determinants. CoRR (2023)
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
Predicting Tumor Mutational Burden and Survival in Head and Neck Squamous Cancer Patients Using Machine Learning and Bioinformatics Approaches. BCB (2023)
Scott Aaronson, Shih-Han Hung
Certified Randomness from Quantum Supremacy. Electron. Colloquium Comput. Complex. (2023)
Nai-Hui Chia, Shih-Han Hung
Non-Interactive Classical Verification of Quantum Depth: A Fine-Grained Characterization. IACR Cryptol. ePrint Arch. 2023 (2023)
Scott Aaronson, Shih-Han Hung
Certified Randomness from Quantum Supremacy. STOC (2023)
Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A Verified Optimizer for Quantum Circuits. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Nai-Hui Chia, Shih-Han Hung
Classical verification of quantum depth. CoRR (2022)
Andrew M. Childs, Shih-Han Hung, Tongyang Li
Quantum Query Complexity with Matrix-Vector Products. ICALP (2021)
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
EasyPQC: Verifying Post-Quantum Cryptography. IACR Cryptol. ePrint Arch. 2021 (2021)
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
Proving Quantum Programs Correct. ITP (2021)
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
EasyPQC: Verifying Post-Quantum Cryptography. CCS (2021)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A verified optimizer for Quantum circuits. Proc. ACM Program. Lang. 5 (POPL) (2021)
Andrew M. Childs, Shih-Han Hung, Tongyang Li
Quantum query complexity with matrix-vector products. CoRR (2021)
Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu
On the principles of differentiable quantum programming languages. PLDI (2020)
Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu
On the Principles of Differentiable Quantum Programming Languages. CoRR (2020)
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
Proving Quantum Programs Correct. CoRR (2020)
Gorjan Alagic, Andrew M. Childs, Alex B. Grilo, Shih-Han Hung
Non-interactive classical verification of quantum computation. IACR Cryptol. ePrint Arch. 2020 (2020)
Gorjan Alagic, Andrew M. Childs, Alex B. Grilo, Shih-Han Hung
Non-interactive Classical Verification of Quantum Computation. TCC (3) (2020)
Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu
Quantum algorithm for estimating volumes of convex bodies. CoRR (2019)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
Verified Optimization in a Quantum Intermediate Representation. CoRR (2019)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A Verified Optimizer for Quantum Circuits. CoRR (2019)
Gorjan Alagic, Andrew M. Childs, Shih-Han Hung
Two-message verification of quantum computation. CoRR (2019)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
Quantitative robustness analysis of quantum programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
Quantitative Robustness Analysis of Quantum Programs (Extended Version). CoRR (2018)
Jianxin Chen, Andrew M. Childs, Shih-Han Hung
Quantum algorithm for multivariate polynomial interpolation. CoRR (2017)
Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski
Optimal Quantum Algorithm for Polynomial Interpolation. ICALP (2016)
Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski
Optimal quantum algorithm for polynomial interpolation. CoRR (2015)