Подписаться
Shih-Han Hung
Shih-Han Hung
The University of Texas at Austin
Подтвержден адрес электронной почты в домене cs.utexas.edu - Главная страница
Название
Процитировано
Процитировано
Год
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
1362021
Non-interactive classical verification of quantum computation
G Alagic, AM Childs, AB Grilo, SH Hung
Theory of cryptography conference, 153-180, 2020
682020
Proving quantum programs correct
K Hietala, R Rand, SH Hung, L Li, M Hicks
arXiv preprint arXiv:2010.01240, 2020
492020
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
472019
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
372021
Certified randomness from quantum supremacy
S Aaronson, SH Hung
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 933-944, 2023
332023
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
292023
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—Condensed Matter and Materials Physics 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
152019
Quantum algorithm for multivariate polynomial interpolation
J Chen, AM Childs, SH Hung
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2018
132018
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
112022
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
112020
Quantum query complexity with matrix-vector products
AM Childs, SH Hung, T Li
arXiv preprint arXiv:2102.11349, 2021
102021
Quantum data management: From theory to opportunities
R Hai, SH Hung, S Feld
arXiv preprint arXiv:2403.02856, 2024
52024
Non-interactive classical verification of quantum computation (2019)
G Alagic, AM Childs, AB Grilo, SH Hung
arXiv preprint arXiv:1911.08101, 1911
51911
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
42023
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
22024
Image synchronization method and associated apparatus
SH Hung
US Patent 9,491,435, 2016
22016
Data Management in the Noisy Intermediate-Scale Quantum Era
R Hai, SH Hung, T Coopmans, F Geerts
arXiv preprint arXiv:2409.14111, 2024
12024
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20