Robert Rand

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