Shih-Han Hung

Cited by

	All	Since 2019
Citations	387	361
h-index	11	9
i10-index	11	9

120

2010201120122013201420152016201720182019202020212022202320247 2 3 4 1 3 5 20 31 72 99 109 22

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Andrew M. ChildsJoint Center for Quantum Information and Computer Science, University of MarylandVerified email at umd.edu
Kesha HietalaUniversity of MarylandVerified email at cs.umd.edu
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDVerified email at umd.edu
Robert RandAssistant Professor of Computer Science, University of ChicagoVerified email at uchicago.edu
Shaopeng ZhuDepartment of Computer Science, University of MarylandVerified email at terpmail.umd.edu
Tongyang LiCenter on Frontiers of Computing Studies, Peking UniversityVerified email at pku.edu.cn
Shouvanik ChakrabartiApplied Research Lead, JPMorgan ChaseVerified email at jpmchase.com
Alex Bredariol GriloCNRS, LIP6, Sorbonne UniversitéVerified email at sorbonne-universite.fr
Mingsheng YingUniversity of Technology SyeneyVerified email at uts.edu.au
Chunhao WangDepartment of Computer Science and Engineering, Penn State UniversityVerified email at psu.edu
Nai-Hui ChiaW. M. Rice UniversityVerified email at rice.edu
Manuel BarbosaUniversidade do Porto (FCUP) and INESC TECVerified email at fc.up.pt
Gilles BartheMPI-SP and IMDEA Software InstituteVerified email at mpi-sp.org
Benjamin GregoireInria Sophia-AntipolisVerified email at inria.fr
Jonathan KatzProfessor of Computer Science, University of MarylandVerified email at cs.umd.edu
Pierre-Yves StrubResearch Scientist, PQShieldVerified email at strub.nu
Xiong FanRutgers UniversityVerified email at rutgers.edu
Jianxin ChenQuantum Laboratory, DAMO AcademyVerified email at acm.org
Wim van DamMicrosoftVerified email at microsoft.com
Igor ShparlinskiUNSWVerified email at unsw.edu.au

Shih-Han Hung

The University of Texas at Austin

Verified email at cs.utexas.edu - Homepage

quantum computing quantum information


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A verified optimizer for quantum circuits K Hietala, R Rand, SH Hung, X Wu, M Hicks Proceedings of the ACM on Programming Languages 5 (POPL), 1-29, 2021	105	2021
Non-interactive classical verification of quantum computation G Alagic, AM Childs, AB Grilo, SH Hung Theory of Cryptography Conference, 153-180, 2020	59	2020
Quantitative robustness analysis of quantum programs SH Hung, K Hietala, S Zhu, M Ying, M Hicks, X Wu Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019	40	2019
Proving quantum programs correct K Hietala, R Rand, SH Hung, L Li, M Hicks arXiv preprint arXiv:2010.01240, 2020	34	2020
Quantum algorithm for estimating volumes of convex bodies S Chakrabarti, AM Childs, SH Hung, T Li, C Wang, X Wu ACM Transactions on Quantum Computing 4 (3), 1-60, 2023	25	2023
Certified randomness from quantum supremacy S Aaronson, SH Hung Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 933-944, 2023	21	2023
EasyPQC: Verifying post-quantum cryptography M Barbosa, G Barthe, X Fan, B Grégoire, SH Hung, J Katz, PY Strub, X Wu, ... Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021	18	2021
Memory effect on the multiphoton coherent destruction of tunneling in the electron transport of nanoscale systems driven by a periodic field: A generalized Floquet approach TS Ho, SH Hung, HT Chen, SI Chu Physical Review B 79 (23), 235323, 2009	17	2009
Verified optimization in a quantum intermediate representation K Hietala, R Rand, SH Hung, X Wu, M Hicks arXiv preprint arXiv:1904.06319, 2019	12	2019
Quantum algorithm for multivariate polynomial interpolation J Chen, AM Childs, SH Hung Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2018	12	2018
Optimal quantum algorithm for polynomial interpolation AM Childs, W van Dam, SH Hung, IE Shparlinski arXiv preprint arXiv:1509.09271, 2015	11	2015
Classical verification of quantum depth NH Chia, SH Hung arXiv preprint arXiv:2205.04656, 2022	9	2022
Quantum query complexity with matrix-vector products AM Childs, SH Hung, T Li arXiv preprint arXiv:2102.11349, 2021	9	2021
On the principles of differentiable quantum programming languages S Zhu, SH Hung, S Chakrabarti, X Wu Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020	6	2020
Non-interactive classical verification of quantum computation (2019) G Alagic, AM Childs, AB Grilo, SH Hung arXiv preprint arXiv:1911.08101, 1911	5	1911
Image synchronization method and associated apparatus SH Hung US Patent 9,491,435, 2016	2	2016
A Verified Optimizer for Quantum Circuits K Hietala, R Rand, L Li, SH Hung, X Wu, M Hicks ACM Transactions on Programming Languages and Systems 45 (3), 1-35, 2023	1	2023
Stereo image output apparatus and associated method SH Hung US Patent 9,232,213, 2016	1	2016
Quantum Data Management: From Theory to Opportunities R Hai, SH Hung, S Feld arXiv preprint arXiv:2403.02856, 2024		2024
The Computational Complexity of Quantum Determinants SH Hung, EJ Kuo arXiv preprint arXiv:2302.08083, 2023		2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors