Shih-Han Hung

40 papers A* 6B 1C 1Journal 29Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Certified randomness using a trapped-ion quantum processor.
CoRR
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
2025 J jnl
Certified randomness using a trapped-ion quantum processor.
Nat.
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
2025 J jnl
Efficient Closest Matrix Product State Learning in Logarithmic Depth.
CoRR
Chia-Ying Lin, Nai-Hui Chia, Shih-Han Hung
2025 C conf
Establishing a Cross-Population Machine Learning Model for Alzheimer's Disease Risk Prediction in the Taiwanese Population.
CIBCB
Justin Bo-Kai Hsu, Jia-Ruey Tsai, Shih-Han Hung, Cheng-Yang Lee, Chaur-Jong Hu, Tzu-Hao Chang
2025 J jnl
Quantum Data Management in the NISQ Era.
Proc. VLDB Endow.
Rihan Hai, Shih-Han Hung, Tim Coopmans, Tim Littau, Floris Geerts
2024 J jnl
Data Management in the Noisy Intermediate-Scale Quantum Era.
CoRR
Rihan Hai, Shih-Han Hung, Tim Coopmans, Floris Geerts
2024 J jnl
Enhancing Nasopharyngeal Carcinoma Survival Prediction: Integrating Pre- and Post-Treatment MRI Radiomics with Clinical Data.
J. Imaging Inform. Medicine
Luong Huu Dang, Shih-Han Hung, Nhi Thao Ngoc Le, Wei-Kai Chuang, Jeng-You Wu, Ting-Chieh Huang, Nguyen Quoc Khanh Le
2024 J jnl
Oracle Separation between Noisy Quantum Polynomial Time and the Polynomial Hierarchy.
CoRR
Nai-Hui Chia, Min-Hsiu Hsieh, Shih-Han Hung, En-Jui Kuo
2024 A* conf
Quantum Data Management: From Theory to Opportunities.
ICDE
Rihan Hai, Shih-Han Hung, Sebastian Feld
2024 J jnl
Quantum Data Management: From Theory to Opportunities.
CoRR
Rihan Hai, Shih-Han Hung, Sebastian Feld
2023 J jnl
A Verified Optimizer for Quantum Circuits.
ACM Trans. Program. Lang. Syst.
Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2023 A* conf
Certified Randomness from Quantum Supremacy.
STOC
Scott Aaronson, Shih-Han Hung
2023 J jnl
Certified Randomness from Quantum Supremacy.
CoRR
Scott Aaronson, Shih-Han Hung
2023 J jnl
Certified Randomness from Quantum Supremacy.
Electron. Colloquium Comput. Complex.
Scott Aaronson, Shih-Han Hung
2023 J jnl
Non-Interactive Classical Verification of Quantum Depth: A Fine-Grained Characterization.
IACR Cryptol. ePrint Arch.
Nai-Hui Chia, Shih-Han Hung
2023 — conf
Predicting Tumor Mutational Burden and Survival in Head and Neck Squamous Cancer Patients Using Machine Learning and Bioinformatics Approaches.
BCB
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
2023 J jnl
Quantum Algorithm for Estimating Volumes of Convex Bodies.
ACM Trans. Quantum Comput.
Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu
2023 J jnl
The Computational Complexity of Quantum Determinants.
CoRR
Shih-Han Hung, En-Jui Kuo
2022 J jnl
Classical verification of quantum depth.
CoRR
Nai-Hui Chia, Shih-Han Hung
2021 J jnl
A verified optimizer for Quantum circuits.
Proc. ACM Program. Lang.
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2021 — —
Applications and verification of quantum computers.
Shih-Han Hung
2021 A* conf
EasyPQC: Verifying Post-Quantum Cryptography.
CCS
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
2021 J jnl
EasyPQC: Verifying Post-Quantum Cryptography.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Gilles Barthe, Xiong Fan, Benjamin Grégoire, Shih-Han Hung, Jonathan Katz, Pierre-Yves Strub, Xiaodi Wu, Li Zhou
2021 B conf
Proving Quantum Programs Correct.
ITP
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
2021 A* conf
Quantum Query Complexity with Matrix-Vector Products.
ICALP
Andrew M. Childs, Shih-Han Hung, Tongyang Li
2021 J jnl
Quantum query complexity with matrix-vector products.
CoRR
Andrew M. Childs, Shih-Han Hung, Tongyang Li
2020 — conf
Non-interactive Classical Verification of Quantum Computation.
TCC (3)
Gorjan Alagic, Andrew M. Childs, Alex B. Grilo, Shih-Han Hung
2020 J jnl
Non-interactive classical verification of quantum computation.
IACR Cryptol. ePrint Arch.
Gorjan Alagic, Andrew M. Childs, Alex B. Grilo, Shih-Han Hung
2020 J jnl
On the Principles of Differentiable Quantum Programming Languages.
CoRR
Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu
2020 A* conf
On the principles of differentiable quantum programming languages.
PLDI
Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, Xiaodi Wu
2020 J jnl
Proving Quantum Programs Correct.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
2019 J jnl
A Verified Optimizer for Quantum Circuits.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2019 J jnl
Quantitative robustness analysis of quantum programs.
Proc. ACM Program. Lang.
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2019 J jnl
Quantum algorithm for estimating volumes of convex bodies.
CoRR
Shouvanik Chakrabarti, Andrew M. Childs, Shih-Han Hung, Tongyang Li, Chunhao Wang, Xiaodi Wu
2019 J jnl
Two-message verification of quantum computation.
CoRR
Gorjan Alagic, Andrew M. Childs, Shih-Han Hung
2019 J jnl
Verified Optimization in a Quantum Intermediate Representation.
CoRR
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
2018 J jnl
Quantitative Robustness Analysis of Quantum Programs (Extended Version).
CoRR
Shih-Han Hung, Kesha Hietala, Shaopeng Zhu, Mingsheng Ying, Michael Hicks, Xiaodi Wu
2017 J jnl
Quantum algorithm for multivariate polynomial interpolation.
CoRR
Jianxin Chen, Andrew M. Childs, Shih-Han Hung
2016 A* conf
Optimal Quantum Algorithm for Polynomial Interpolation.
ICALP
Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski
2015 J jnl
Optimal quantum algorithm for polynomial interpolation.
CoRR
Andrew M. Childs, Wim van Dam, Shih-Han Hung, Igor E. Shparlinski