QWIRE: A Core Language for Quantum Circuits J Paykin, R Rand, S Zdancewic Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 182 | 2017 |
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), 2021 | 112 | 2021 |
QWIRE Practice: Formal Verification of Quantum Circuits in Coq R Rand, J Paykin, S Zdancewic Proceedings of the 14th International Conference on Quantum Physics and …, 2017 | 87 | 2017 |
Ordered direct implicational basis of a finite closure system K Adaricheva, JB Nation, R Rand Discrete Applied Mathematics 161 (6), 707-723, 2013 | 48 | 2013 |
ReQWIRE: Reasoning about Reversible Quantum Circuits R Rand, J Paykin, DH Lee, S Zdancewic Proceedings of the 15th International Conference on Quantum Physics and …, 2018 | 39 | 2018 |
Proving quantum programs correct K Hietala, R Rand, SH Hung, L Li, M Hicks 12th International Conference on Interactive Theorem Proving, ITP, 2021 | 36 | 2021 |
VPHL: A verified partial-correctness logic for probabilistic programs R Rand, S Zdancewic Electronic Notes in Theoretical Computer Science 319, 351-367, 2015 | 35 | 2015 |
Formally Verified Quantum Programming R Rand University of Pennsylvania, 2018 | 23 | 2018 |
Qunity: A unified language for quantum and classical computing F Voichick, L Li, R Rand, M Hicks Proceedings of the ACM on Programming Languages 7 (POPL), 921-951, 2023 | 22 | 2023 |
Q# as a quantum algorithmic language K Singhal, K Hietala, S Marshall, R Rand arXiv preprint arXiv:2206.03532, 2022 | 20 | 2022 |
Terminal games with three terminals have proper Nash equilibria E Boros, R Rand RUTCOR Research Report, RRR-22-2009, Rutgers University, 2009 | 13 | 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 |
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 | 10 | 2023 |
Advances in quantum computation and quantum technologies: A design automation perspective G De Micheli, JHR Jiang, R Rand, K Smith, M Soeken IEEE Journal on Emerging and Selected Topics in Circuits and Systems 12 (3 …, 2022 | 10 | 2022 |
Verification logics for quantum programs R Rand arXiv preprint arXiv:1904.04304, 2019 | 9 | 2019 |
Formal verification vs. quantum uncertainty R Rand, K Hietala, M Hicks 3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019 | 9 | 2019 |
Gottesman Types for Quantum Programs R Rand, A Sundaram, K Singhal, B Lackey Proceedings of the 17th International Conference on Quantum Physics and …, 2021 | 8 | 2021 |
Phantom types for quantum programs R Rand, J Paykin, S Zdancewic The Fourth International Workshop on Coq for Programming Languages, 2018 | 8 | 2018 |
VyZX: a vision for verifying the ZX calculus A Lehmann, B Caldwell, R Rand arXiv preprint arXiv:2205.05781, 2022 | 6 | 2022 |
Verified translation between low-level quantum languages K Singhal, R Rand, M Hicks The First International Workshop on Programming Languages for Quantum Computing, 2020 | 6 | 2020 |