Robert Rand

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 28

Top Topics

Quantum Computation

Formal Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, Patrick Eugster
An Algebraic Language for Specifying Quantum Networks. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand
ViCAR: Visualizing Categories with Automated Rewriting in Coq. CoRR (2024)
Adrian Lehmann, Ben Caldwell, Bhakti Shah, Robert Rand
VyZX: Formal Verification of a Graphical Quantum Language. CoRR (2023)
Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand
MCBeth: A Measurement-based Quantum Programming Language. Q-SE@ICSE (2023)
Finn Voichick, Leonidas Lampropoulos, Robert Rand
Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized Pulses. CoRR (2023)
Finn Voichick, Liyi Li, Robert Rand, Michael Hicks
Qunity: A Unified Language for Quantum and Classical Computing. Proc. ACM Program. Lang. 7 (POPL) (2023)
Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A Verified Optimizer for Quantum Circuits. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster
Towards an Algebraic Specification of Quantum Networks. QuNet@SIGCOMM (2023)
Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand
MCBeth: A Measurement Based Quantum Programming Language. CoRR (2022)
Robert Rand
Writing and verifying a Quantum optimizing compiler (keynote). CC (2022)
Finn Voichick, Robert Rand, Michael W. Hicks
Qunity: A Unified Language for Quantum and Classical Computing. CoRR (2022)
Giovanni De Micheli, Jie-Hong R. Jiang, Robert Rand, Kaitlin Smith, Mathias Soeken
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective. IEEE J. Emerg. Sel. Topics Circuits Syst. 12 (3) (2022)
Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu
A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm. CoRR (2022)
Adrian Lehmann, Ben Caldwell, Robert Rand
VyZX : A Vision for Verifying the ZX Calculus. CoRR (2022)
Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand
Q# as a Quantum Algorithmic Language. CoRR (2022)
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
Proving Quantum Programs Correct. ITP (2021)
Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey
Static Analysis of Quantum Programs via Gottesman Types. CoRR (2021)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A verified optimizer for Quantum circuits. Proc. ACM Program. Lang. 5 (POPL) (2021)
Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey
Gottesman Types for Quantum Programs. QPL (2020)
Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks
Proving Quantum Programs Correct. CoRR (2020)
Robert Rand, Kesha Hietala, Michael Hicks
Formal Verification vs. Quantum Uncertainty. SNAPL (2019)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
Verified Optimization in a Quantum Intermediate Representation. CoRR (2019)
Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks
A Verified Optimizer for Quantum Circuits. CoRR (2019)
Robert Rand
Verification Logics for Quantum Programs. CoRR (2019)
Robert Rand, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic
ReQWIRE: Reasoning about Reversible Quantum Circuits. QPL (2018)
Jennifer Paykin, Robert Rand, Steve Zdancewic
QWIRE: a core language for quantum circuits. POPL (2017)
Robert Rand, Jennifer Paykin, Steve Zdancewic
QWIRE Practice: Formal Verification of Quantum Circuits in Coq. QPL (2017)
Robert Rand, Steve Zdancewic
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs. MFPS (2015)
Kira V. Adaricheva, James B. Nation, Robert Rand
Ordered direct implicational basis of a finite closure system. Discret. Appl. Math. 161 (6) (2013)
Kira V. Adaricheva, James B. Nation, Robert Rand
Ordered direct implicational basis of a finite closure system. ISAIM (2012)
Kira V. Adaricheva, James B. Nation, Robert Rand
Ordered direct implicational basis of a finite closure system CoRR (2011)