| 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 | 179 | 2021 |
| Non-interactive classical verification of quantum computation G Alagic, AM Childs, AB Grilo, SH Hung Theory of cryptography conference, 153-180, 2020 | 76 | 2020 |
| Proving quantum programs correct K Hietala, R Rand, SH Hung, L Li, M Hicks arXiv preprint arXiv:2010.01240, 2020 | 67 | 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 | 55 | 2019 |
| Certified randomness from quantum supremacy S Aaronson, SH Hung Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 933-944, 2023 | 52 | 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 | 47 | 2021 |
| Certified randomness using a trapped-ion quantum processor M Liu, R Shaydulin, P Niroula, M DeCross, SH Hung, WY Kon, ... Nature, 1-6, 2025 | 44 | 2025 |
| 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 | 34 | 2023 |
| 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 | 17 | 2020 |
| Verified optimization in a quantum intermediate representation K Hietala, R Rand, SH Hung, X Wu, M Hicks arXiv preprint arXiv:1904.06319, 2019 | 16 | 2019 |
| 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 American Physical Society, 2009 | 16 | 2009 |
| Quantum data management: From theory to opportunities R Hai, SH Hung, S Feld 2024 IEEE 40th International Conference on Data Engineering (ICDE), 5376-5381, 2024 | 13 | 2024 |
| 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 | 13 | 2023 |
| Quantum query complexity with matrix-vector products AM Childs, SH Hung, T Li arXiv preprint arXiv:2102.11349, 2021 | 13 | 2021 |
| Quantum algorithm for multivariate polynomial interpolation J Chen, AM Childs, SH Hung Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2018 | 13 | 2018 |
| Classical verification of quantum depth NH Chia, SH Hung arXiv preprint arXiv:2205.04656, 2022 | 12 | 2022 |
| Optimal quantum algorithm for polynomial interpolation AM Childs, W van Dam, SH Hung, IE Shparlinski arXiv preprint arXiv:1509.09271, 2015 | 12 | 2015 |
| Danylo Lykov, Michael Mills, Steven A. Moses, Brian Neyenhuis, Shaltiel Eloul, Peter Siegfried, James Walker, Charles Lim, and Marco Pistoia. 2025. Certified randomness using a … M Liu, R Shaydulin, P Niroula, M DeCross, SH Hung, WY Kon, ... Nature (March 2025). https://doi. org/10.1038/s41586-025-08737-1, 0 | 7 | |
| Quantum Data Management in the NISQ Era: Extended Version R Hai, SH Hung, T Coopmans, T Littau, F Geerts arXiv preprint arXiv:2409.14111, 2024 | 5 | 2024 |
| Non-interactive classical verification of quantum computation (2019) G Alagic, AM Childs, AB Grilo, SH Hung arXiv preprint arXiv:1911.08101, 1911 | 5 | 1911 |
