research
∙
04/06/2020
Formal Verification of Flow Equivalence in Desynchronized Designs
Seminal work by Cortadella, Kondratyev, Lavagno, and Sotiriou includes a...
share
research
∙
11/01/2019
Weird Machines as Insecure Compilation
Weird machines—the computational models accessible by exploiting securit...
research
∙
04/08/2019
A HoTT Quantum Equational Theory (Extended Version)
This paper presents an equational theory for the QRAM model of quantum c...
research
∙
01/29/2019
ReQWIRE: Reasoning about Reversible Quantum Circuits
Common quantum algorithms make heavy use of ancillae: scratch qubits tha...
research
∙
03/02/2018