111 citations · 347 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 10 cited
Gottesman Types for Quantum Programs
Robert Rand, Aarthi Sundaram, Kartik Singhal +1
The Heisenberg representation of quantum operators provides a powerful technique for reasoning about quantum circuits, albeit those restricted to the common (non-universal) Cliffor…
quant-ph2021
Hoare meets Heisenberg: A Lightweight Logic for Quantum Programs
Aarthi Sundaram, Robert Rand, Kartik Singhal +2
We show that Gottesman's (1998) semantics for Clifford circuits based on the Heisenberg representation gives rise to a lightweight Hoare-like logic for efficiently characterizing a…