Follow
Robert Rand
Robert Rand
Assistant Professor of Computer Science, University of Chicago
Verified email at uchicago.edu - Homepage
Title
Cited by
Cited by
Year
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
1982017
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
1322021
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
922017
Ordered direct implicational basis of a finite closure system
K Adaricheva, JB Nation, R Rand
Discrete Applied Mathematics 161 (6), 707-723, 2013
512013
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
492018
Proving quantum programs correct
K Hietala, R Rand, SH Hung, L Li, M Hicks
12th International Conference on Interactive Theorem Proving, ITP, 2021
472021
VPHL: A verified partial-correctness logic for probabilistic programs
R Rand, S Zdancewic
Electronic Notes in Theoretical Computer Science 319, 351-367, 2015
422015
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
302023
Formally Verified Quantum Programming
R Rand
University of Pennsylvania, 2018
252018
Q# as a quantum algorithmic language
K Singhal, K Hietala, S Marshall, R Rand
arXiv preprint arXiv:2206.03532, 2022
232022
Verified optimization in a quantum intermediate representation
K Hietala, R Rand, SH Hung, X Wu, M Hicks
arXiv preprint arXiv:1904.06319, 2019
142019
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
132023
Terminal games with three terminals have proper Nash equilibria
E Boros, R Rand
RUTCOR Research Report, RRR-22-2009, Rutgers University, 2009
132009
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
122022
Formal verification vs. quantum uncertainty
R Rand, K Hietala, M Hicks
3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019
102019
Gottesman Types for Quantum Programs
R Rand, A Sundaram, K Singhal, B Lackey
Proceedings of the 17th International Conference on Quantum Physics and …, 2021
92021
Verification logics for quantum programs
R Rand
arXiv preprint arXiv:1904.04304, 2019
92019
VyZX: a vision for verifying the ZX calculus
A Lehmann, B Caldwell, R Rand
arXiv preprint arXiv:2205.05781, 2022
82022
Phantom types for quantum programs
R Rand, J Paykin, S Zdancewic
The Fourth International Workshop on Coq for Programming Languages, 2018
82018
Extending gottesman types beyond the clifford group
R Rand, A Sundaram, K Singhal, B Lackey
The Second International Workshop on Programming Languages for Quantum …, 2021
62021
The system can't perform the operation now. Try again later.
Articles 1–20