Anita Buckley,
Pavel Chuprikov,
Rodrigo Otoni,
Robert Rand,
Robert Soulé,
Patrick Eugster
(2024).
An Algebraic Language for Specifying Quantum Networks.
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024).
Kesha Hietala,
Robert Rand,
Liyi Li,
Shih-Han Hung,
Xiaodi Wu,
Michael Hicks
(2023).
A Verified Optimizer for Quantum Circuits.
ACM Transactions on Programming Languages and Systems.
Anita Buckley,
Pavel Chuprikov,
Rodrigo Otoni,
Robert Rand,
Robert Soulé,
Patrick Eugster
(2023).
Towards an Algebraic Specification of Quantum Networks.
Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum Computing.
Kesha Hietala,
Sarah Marshall,
Robert Rand,
Nikhil Swamy
(2022).
Q*: Implementing Quantum Separation Logic in F*.
The Third International Workshop on Programming Languages for Quantum Computing (PLanQC 2022).
Kartik Singhal,
Kesha Hietala,
Sarah Marshall,
Robert Rand
(2022).
Q# as a Quantum Algorithmic Language.
Proceedings of the 19th International Conference on Quantum Physics and Logic (QPL 2022).
Kartik Singhal,
Sarah Marshall,
Kesha Hietala,
Robert Rand
(2021).
Toward a Type-Theoretic Interpretation of Q#.
International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).
Kesha Hietala,
Liyi Li,
Akshaj Gaur,
Aaron Green,
Robert Rand,
Xiaodi Wu,
Michael Hicks
(2021).
Expanding the VOQC Toolkit.
International Workshop on Programming Languages for Quantum Computing (PLanQC 2021).
Sarah Marshall,
Kartik Singhal,
Kesha Hietala,
Robert Rand
(2021).
Toward Formalizing the Q# Programming Language.
International Conference on Quantum Physics and Logic (QPL 2021) Poster.
Kesha Hietala,
Robert Rand,
Shih-Han Hung,
Xiaodi Wu,
Michael Hicks
(2021).
A Verified Optimizer for Quantum Circuits.
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2021).
Robert Rand,
Aarthi Sundaram,
Kartik Singhal,
Brad Lackey
(2020).
Gottesman Types for Quantum Programs.
International Conference on Quantum Physics and Logic (QPL 2020).
Kesha Hietala,
Robert Rand,
Shih-Han Hung,
Xiaodi Wu,
Michael Hicks
(2020).
A Verified Optimizer for Quantum Circuits.
International Workshop on Programming Languages for Quantum Computing (PLanQC 2020).
Robert Rand,
Jennifer Paykin,
Steve Zdancewic
(2018).
Phantom Types for Quantum Programs.
International Workshop on Coq for Programming Languages (CoqPL 2018).
Jennifer Paykin,
Robert Rand,
Steve Zdancewic
(2017).
QWIRE: A Core Language for Quantum Circuits.
ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017).