10 citations · 22 across the 10 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.PL2021★ 3 cited
Quantum Hoare Type Theory: Extended Abstract
Kartik Singhal, John Reppy
As quantum computers become real, it is high time we come up with effective techniques that help programmers write correct quantum programs. In classical computing, formal verifica…
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…