Suivre
Robert Rand
Robert Rand
Assistant Professor of Computer Science, University of Chicago
Adresse e-mail validée de uchicago.edu - Page d'accueil
Titre
Citée par
Citée par
Année
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
1742017
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
972021
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
842017
Ordered direct implicational basis of a finite closure system
K Adaricheva, JB Nation, R Rand
Discrete Applied Mathematics 161 (6), 707-723, 2013
452013
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
342018
Proving quantum programs correct
K Hietala, R Rand, SH Hung, L Li, M Hicks
12th International Conference on Interactive Theorem Proving, ITP, 2021
332021
VPHL: A verified partial-correctness logic for probabilistic programs
R Rand, S Zdancewic
Electronic Notes in Theoretical Computer Science 319, 351-367, 2015
292015
Formally Verified Quantum Programming
R Rand
University of Pennsylvania, 2018
212018
Terminal games with three terminals have proper Nash equilibria
E Boros, R Rand
RUTCOR Research Report, RRR-22-2009, Rutgers University, 2009
132009
Verified optimization in a quantum intermediate representation
K Hietala, R Rand, SH Hung, X Wu, M Hicks
arXiv preprint arXiv:1904.06319, 2019
122019
Q# as a quantum algorithmic language
K Singhal, K Hietala, S Marshall, R Rand
arXiv preprint arXiv:2206.03532, 2022
102022
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
92023
Verification logics for quantum programs
R Rand
arXiv preprint arXiv:1904.04304, 2019
92019
Formal verification vs. quantum uncertainty
R Rand, K Hietala, M Hicks
3rd Summit on Advances in Programming Languages (SNAPL 2019), 2019
92019
Gottesman Types for Quantum Programs
R Rand, A Sundaram, K Singhal, B Lackey
Proceedings of the 17th International Conference on Quantum Physics and …, 2021
72021
Phantom types for quantum programs
R Rand, J Paykin, S Zdancewic
The Fourth International Workshop on Coq for Programming Languages, 2018
72018
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
62023
Verified translation between low-level quantum languages
K Singhal, R Rand, M Hicks
The First International Workshop on Programming Languages for Quantum Computing, 2020
62020
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
42022
VyZX: A Vision for Verifying the ZX Calculus
A Lehmann, B Caldwell, R Rand
arXiv preprint arXiv:2205.05781, 2022
42022
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20