| 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 | 131 | 2021 |
| Proving quantum programs correct K Hietala, R Rand, SH Hung, L Li, M Hicks arXiv preprint arXiv:2010.01240, 2020 | 46 | 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 | 45 | 2019 |
| Q# as a quantum algorithmic language K Singhal, K Hietala, S Marshall, R Rand arXiv preprint arXiv:2206.03532, 2022 | 23 | 2022 |
| Verified compilation of quantum oracles L Li, F Voichick, K Hietala, Y Peng, X Wu, M Hicks Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 589-615, 2022 | 16 | 2022 |
| A formally certified end-to-end implementation of Shor’s factorization algorithm Y Peng, K Hietala, R Tao, L Li, R Rand, M Hicks, X Wu Proceedings of the National Academy of Sciences 120 (21), e2218775120, 2023 | 13 | 2023 |
| Verified optimization in a quantum intermediate representation K Hietala, R Rand, SH Hung, X Wu, M Hicks arXiv preprint arXiv:1904.06319, 2019 | 13 | 2019 |
| Formal verification vs. quantum uncertainty R Rand, K Hietala, M Hicks 3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019 | 10 | 2019 |
| Finding substitutable binary code for reverse engineering by synthesizing adapters V Sharma, K Hietala, S McCamant 2018 IEEE 11th International Conference on Software Testing, Verification …, 2018 | 9 | 2018 |
| Finding substitutable binary code by synthesizing adapters V Sharma, K Hietala, S McCamant IEEE Transactions on Software Engineering 47 (8), 1626-1643, 2019 | 6 | 2019 |
| FastVer2: a provably correct monitor for concurrent, key-value stores A Arasu, T Ramananandro, A Rastogi, N Swamy, A Fromherz, K Hietala, ... Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023 | 4 | 2023 |
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 670-697, 2024 | 3 | 2024 |
| Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version) JW Cutler, C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, ... arXiv preprint arXiv:2403.04651, 2024 | 2 | 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 | 2 | 2023 |
| Q*: Implementing Quantum Separation Logic in F K Hietala, S Marshall, R Rand, N Swamy Programming Languages for Quantum Computing (PLanQC) 2022 Poster Abstract, 2022 | 1 | 2022 |
| A Verified Software Toolchain for Quantum Programming K Hietala University of Maryland, College Park, 2022 | 1 | 2022 |
| Toward a Type-Theoretic Interpretation of Q K Singhal, S MARSHALL, K HIETALA, R RAND International Workshop on Programming Languages for Quantum Computing (PLanQC), 2021 | 1 | 2021 |
| Volume-based merge heuristics for disjunctive numeric domains A Ruef, K Hietala, A Cox Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 1 | 2018 |
| How we built Cedar: A verification-guided approach C Disselkoen, A Eline, S He, K Headley, M Hicks, K Hietala, J Kastner, ... Companion Proceedings of the 32nd ACM International Conference on the …, 2024 | | 2024 |
| Authorization policy evaluation E Torlak, D Mcadams, N Rungta, MW Hicks, CR Disselkoen, AJ Eline, ... US Patent App. 18/070,321, 2024 | | 2024 |
Michael W. HicksSenior Principal Scientist, AWS, and Professor Emeritus, UMDVerified email at umd.edu
