Robert Rand
University of Chicago
H-index: 11
North America-United States
Top articles of Robert Rand
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
ViCAR: Visualizing Categories with Automated Rewriting in Coq | arXiv preprint arXiv:2404.08163 | Bhakti Shah William Spencer Laura Zielinski Ben Caldwell Adrian Lehmann | 2024/4/11 |
Towards an Algebraic Specification of Quantum Networks | Anita Buckley Pavel Chuprikov Rodrigo Otoni Robert Rand Robert Soulé | 2023/9/10 | |
A formally certified end-to-end implementation of Shor’s factorization algorithm | Proceedings of the National Academy of Sciences | Yuxiang Peng Kesha Hietala Runzhou Tao Liyi Li Robert Rand | 2023/5/23 |
MCBeth: A Measurement-based Quantum Programming Language | Aidan Evans Seun Omonije Robert Soulé Robert Rand | 2023/5/17 | |
VyZX: Formal Verification of a Graphical Quantum Language | arXiv preprint arXiv:2311.11571 | Adrian Lehmann Ben Caldwell Bhakti Shah Robert Rand | 2023/11/20 |
Qunity: A unified language for quantum and classical computing | Proceedings of the ACM on Programming Languages | Finn Voichick Liyi Li Robert Rand Michael Hicks | 2023/1/9 |
Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized Pulses | arXiv preprint arXiv:2311.02769 | Finn Voichick Leonidas Lampropoulos Robert Rand | 2023/11/5 |
A Verified Optimizer for Quantum Circuits | ACM Transactions on Programming Languages and Systems | Kesha Hietala Robert Rand Liyi Li Shih-Han Hung Xiaodi Wu | 2023/9/22 |
Q# as a quantum algorithmic language | arXiv preprint arXiv:2206.03532 | Kartik Singhal Kesha Hietala Sarah Marshall Robert Rand | 2022/6/7 |
VyZX: a vision for verifying the ZX calculus | arXiv preprint arXiv:2205.05781 | Adrian Lehmann Ben Caldwell Robert Rand | 2022/5/11 |
Writing and verifying a Quantum optimizing compiler (keynote) | Robert Rand | 2022/3/19 | |
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs | Aarthi Sundaram Robert Rand Kartik Singhal Brad Lackey | 2022 | |
Beyond separation: Toward a specification language for modular reasoning about quantum programs | Programming Languages for Quantum Computing (PLanQC) 2022 Poster Abstract | Kartik Singhal ROBERT Rand MATTHEW Amy | 2022 |
Advances in quantum computation and quantum technologies: A design automation perspective | IEEE Journal on Emerging and Selected Topics in Circuits and Systems | Giovanni De Micheli Jie-Hong R Jiang Robert Rand Kaitlin Smith Mathias Soeken | 2022/9/8 |
Gottesman Types for Quantum Programs | Robert Rand Aarthi Sundaram Kartik Singhal Brad Lackey | 2021/9/6 | |
Proving quantum programs correct | Kesha Hietala Robert Rand Shih-Han Hung Liyi Li Michael Hicks | 2021/6/21 | |
A Rich Type System for Quantum Programs | arXiv preprint arXiv:2101.08939 | Aarthi Sundaram Robert Rand Kartik Singhal Brad Lackey | 2021/1/22 |
12th International Conference on Interactive Theorem Proving (ITP 2021) | Magnus O Myreen Nadia Polikarpova Andrei Popescu Thomas Bauereiss Peter Lammich | 2021 | |
Extending gottesman types beyond the clifford group | The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021) | Robert Rand Aarthi Sundaram Kartik Singhal Brad Lackey | 2021 |
Static Analysis of Quantum Programs via Gottesman Types | Robert Rand Aarthi Sundaram Kartik Singhal Brad Lackey | 2020/11 |