Volgen
Robert Rand
Robert Rand
Assistant Professor of Computer Science, University of Chicago
Geverifieerd e-mailadres voor uchicago.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
2042017
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
1372021
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
932017
Ordered direct implicational basis of a finite closure system
K Adaricheva, JB Nation, R Rand
Discrete Applied Mathematics 161 (6), 707-723, 2013
532013
Proving quantum programs correct
K Hietala, R Rand, SH Hung, L Li, M Hicks
12th International Conference on Interactive Theorem Proving, ITP, 2021
502021
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
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
342023
Formally Verified Quantum Programming
R Rand
University of Pennsylvania, 2018
262018
Q# as a quantum algorithmic language
K Singhal, K Hietala, S Marshall, R Rand
arXiv preprint arXiv:2206.03532, 2022
242022
Verified optimization in a quantum intermediate representation
K Hietala, R Rand, SH Hung, X Wu, M Hicks
arXiv preprint arXiv:1904.06319, 2019
162019
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
152023
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
142022
Terminal games with three terminals have proper Nash equilibria
E Boros, R Rand
RUTCOR Research Report, RRR-22-2009, Rutgers University, 2009
132009
VyZX: a vision for verifying the ZX calculus
A Lehmann, B Caldwell, R Rand
arXiv preprint arXiv:2205.05781, 2022
112022
Gottesman Types for Quantum Programs
R Rand, A Sundaram, K Singhal, B Lackey
Proceedings of the 17th International Conference on Quantum Physics and …, 2021
102021
Formal verification vs. quantum uncertainty
R Rand, K Hietala, M Hicks
3rd Summit on Advances in Programming Languages (SNAPL 2019), 12: 1-12: 11, 2019
102019
Verification logics for quantum programs
R Rand
arXiv preprint arXiv:1904.04304, 2019
92019
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
72021
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20