Showing 1–11 of 11 results
/ Date/ Name
May 16, 2023PCOAST: A Pauli-based Quantum Circuit Optimization FrameworkApr 8, 2019A HoTT Quantum Equational Theory (Extended Version)Jul 23, 2024Condensed Encodings of Projective Clifford Operations in Arbitrary DimensionJul 23, 2024Qudit Quantum Programming with Projective CliffordsApr 6, 2020Formal Verification of Flow Equivalence in Desynchronized DesignsMay 16, 2023Optimization at the Interface of Unitary and Non-unitary Quantum Operations in PCOASTNov 1, 2019Weird Machines as Insecure CompilationMar 2, 2018QWIRE Practice: Formal Verification of Quantum Circuits in CoqJan 24, 2025Verifying Fault-Tolerance of Quantum Error Correction CodesJan 29, 2019ReQWIRE: Reasoning about Reversible Quantum CircuitsFeb 17, 2015A Linear/Producer/Consumer Model of Classical Linear Logic