Follow
Shih-Han Hung
Shih-Han Hung
Verified email at cs.utexas.edu - Homepage
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
1082021
Non-interactive classical verification of quantum computation
G Alagic, AM Childs, AB Grilo, SH Hung
Theory of Cryptography Conference, 153-180, 2020
622020
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
402019
Proving quantum programs correct
K Hietala, R Rand, SH Hung, L Li, M Hicks
arXiv preprint arXiv:2010.01240, 2020
362020
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
252023
Certified randomness from quantum supremacy
S Aaronson, SH Hung
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 933-944, 2023
232023
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
232021
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
172009
Verified optimization in a quantum intermediate representation
K Hietala, R Rand, SH Hung, X Wu, M Hicks
arXiv preprint arXiv:1904.06319, 2019
122019
Quantum algorithm for multivariate polynomial interpolation
J Chen, AM Childs, SH Hung
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2018
122018
Optimal quantum algorithm for polynomial interpolation
AM Childs, W van Dam, SH Hung, IE Shparlinski
arXiv preprint arXiv:1509.09271, 2015
122015
Classical verification of quantum depth
NH Chia, SH Hung
arXiv preprint arXiv:2205.04656, 2022
92022
Quantum query complexity with matrix-vector products
AM Childs, SH Hung, T Li
arXiv preprint arXiv:2102.11349, 2021
92021
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
62020
Non-interactive classical verification of quantum computation (2019)
G Alagic, AM Childs, AB Grilo, SH Hung
arXiv preprint arXiv:1911.08101, 1911
51911
Image synchronization method and associated apparatus
SH Hung
US Patent 9,491,435, 2016
22016
Quantum Data Management: From Theory to Opportunities
R Hai, SH Hung, S Feld
arXiv preprint arXiv:2403.02856, 2024
12024
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
12023
Stereo image output apparatus and associated method
SH Hung
US Patent 9,232,213, 2016
12016
Oracle Separation between Noisy Quantum Polynomial Time and the Polynomial Hierarchy
NH Chia, MH Hsieh, SH Hung, EJ Kuo
arXiv preprint arXiv:2405.07137, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20