ChiQP-Lab
ChiQP-Lab
Publications
People
News
Contact
1
An Algebraic Language for Specifying Quantum Networks
Anita Buckley
,
Pavel Chuprikov
,
Rodrigo Otoni
,
Robert Rand
,
Robert Soulé
,
Patrick Eugster
Automated Proof Generation for Associative and Distributive Rewriting with E-Graphs
Adrian Lehmann
,
Ben Caldwell
,
John Reppy
,
Robert Rand
ViCAR: Visualizing Categories with Automated Rewriting in Coq
Bhakti Shah
,
Your Name
,
Laura Zielinski
,
Ben Caldwell
,
Adrian Lehmann
,
Robert Rand
MCBeth: A Measurement-based Quantum Programming Language
QPL 2022 video:
Aidan Evans
,
Seun Omonije
,
Robert Soulé
,
Robert Rand
Towards an Algebraic Specification of Quantum Networks
Anita Buckley
,
Pavel Chuprikov
,
Rodrigo Otoni
,
Robert Rand
,
Robert Soulé
,
Patrick Eugster
Q# as a Quantum Algorithmic Language
Kartik Singhal
,
Sarah Marshall
,
Kesha Hietala
,
Robert Rand
Q# as a Quantum Algorithmic Language
Kartik Singhal
,
Kesha Hietala
,
Sarah Marshall
,
Robert Rand
Q*: Implementing Quantum Separation Logic in F*
Kesha Hietala
,
Sarah Marshall
,
Robert Rand
,
Nikhil Swamy
QuantumLib: A Library for Quantum Computing in Coq
Jacob Zweifler
,
Kesha Hietala
,
Robert Rand
Proving Quantum Programs Correct
Kesha Hietala
,
Robert Rand
,
Shih-Han Hung
,
Liyi Li
,
Michael Hicks
»
Cite
×