Robert Rand

According to our database, Robert Rand authored at least 24 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Verified Optimizer for Quantum Circuits.

Kesha Hietala, Robert Rand, Liyi Li, Shih-Han Hung, Xiaodi Wu, Michael Hicks

ACM Trans. Program. Lang. Syst., September, 2023

Qunity: A Unified Language for Quantum and Classical Computing.

Finn Voichick, Liyi Li, Robert Rand, Michael Hicks

Proc. ACM Program. Lang., January, 2023

VyZX: Formal Verification of a Graphical Quantum Language.

Adrian Lehmann, Ben Caldwell, Bhakti Shah, Robert Rand

CoRR, 2023

Shorter Pulses, Smaller Errors: Quantum Circuit Optimization via Parameterized Pulses.

Finn Voichick, Leonidas Lampropoulos, Robert Rand

CoRR, 2023

Towards an Algebraic Specification of Quantum Networks.

Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Rand, Robert Soulé, Patrick Eugster

Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing, 2023

MCBeth: A Measurement-based Quantum Programming Language.

Aidan Evans, Seun Omonije, Robert Soulé, Robert Rand

Proceedings of the 4th IEEE/ACM International Workshop on Quantum Software Engineering, 2023

2022

Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective.

Giovanni De Micheli, Jie-Hong R. Jiang, Robert Rand, Kaitlin N. Smith, Mathias Soeken

IEEE J. Emerg. Sel. Topics Circuits Syst., 2022

Q# as a Quantum Algorithmic Language.

Kartik Singhal, Kesha Hietala, Sarah Marshall, Robert Rand

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

VyZX : A Vision for Verifying the ZX Calculus.

Adrian Lehmann, Ben Caldwell, Robert Rand

CoRR, 2022

Qunity: A Unified Language for Quantum and Classical Computing.

Finn Voichick, Robert Rand, Michael W. Hicks

CoRR, 2022

A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.

Yuxiang Peng, Kesha Hietala, Runzhou Tao, Liyi Li, Robert Rand, Michael Hicks, Xiaodi Wu

CoRR, 2022

Writing and verifying a Quantum optimizing compiler (keynote).

Robert Rand

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

A verified optimizer for Quantum circuits.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

Proc. ACM Program. Lang., 2021

Static Analysis of Quantum Programs via Gottesman Types.

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey

CoRR, 2021

Proving Quantum Programs Correct.

Kesha Hietala, Robert Rand, Shih-Han Hung, Liyi Li, Michael Hicks

Proceedings of the 12th International Conference on Interactive Theorem Proving, 2021

2020

Gottesman Types for Quantum Programs.

Robert Rand, Aarthi Sundaram, Kartik Singhal, Brad Lackey

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

2019

Verified Optimization in a Quantum Intermediate Representation.

Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

CoRR, 2019

Verification Logics for Quantum Programs.

Robert Rand

CoRR, 2019

Formal Verification vs. Quantum Uncertainty.

Robert Rand, Kesha Hietala, Michael Hicks

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018

ReQWIRE: Reasoning about Reversible Quantum Circuits.

Robert Rand, Jennifer Paykin, Dong-Ho Lee, Steve Zdancewic

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017

QWIRE Practice: Formal Verification of Quantum Circuits in Coq.

Robert Rand, Jennifer Paykin, Steve Zdancewic

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

QWIRE: a core language for quantum circuits.

Jennifer Paykin, Robert Rand, Steve Zdancewic

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015

VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs.

Robert Rand, Steve Zdancewic

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

2013

Ordered direct implicational basis of a finite closure system.

Kira V. Adaricheva, James B. Nation, Robert Rand

Discret. Appl. Math., 2013