Skip to main content
Search
Toggle navigation
Home
People
Research
Research Mission
Publications
Resources
Events
JOIN QuICS
About
Research
Publications
Publications
Export 6 results:
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Author
Title
Type
[
Year
]
Filters:
Author
is
Robert Rand
[Clear All Filters]
2021
K. Hietala
,
Rand, R.
,
Hung, S. - H.
,
Li, L.
, and
Hicks, M.
,
“
Proving Quantum Programs Correct
”
,
Schloss Dagstuhl
, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
K. Hietala
,
Rand, R.
,
Hung, S. - H.
,
Wu, X.
, and
Hicks, M.
,
“
A Verified Optimizer for Quantum Circuits
”
,
Proceedings of the ACM on Programming Languages
, vol. 5, no. POPL, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
K. Hietala
,
Li, L.
,
Gaur, A.
,
Green, A.
,
Rand, R.
,
Wu, X.
, and
Hicks, M.
,
“
Expanding the VOQC Toolkit
”
, in
The Second International Workshop on Programming Languages for Quantum Computing (PLanQC 2021)
, 2021.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
2019
K. Hietala
,
Rand, R.
,
Hung, S. - H.
,
Wu, X.
, and
Hicks, M.
,
“
Verified Optimization in a Quantum Intermediate Representation
”
, 2019.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
R. Rand
,
Paykin, J.
,
Lee, D. - H.
, and
Zdancewic, S.
,
“
ReQWIRE: Reasoning about Reversible Quantum Circuits
”
,
EPTCS
, vol. 287, 2019.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
R. Rand
,
“
Verification Logics for Quantum Programs
”
, 2019.
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS