23:35

Addressable quantum gates

ACM SIGPLAN

11:07

Expanding the VOQC Toolkit

ACM SIGPLAN

14:45

Toward A Quantum Programming Language for Higher Level Formal Verification

ACM SIGPLAN

18:33

Reducing the CNOT count for Clifford+T circuits on NISQ architectures

ACM SIGPLAN

17:25

Toward a Type Theoretic Interpretation of Q# and Statically Enforcing the No Cloning Theorem

ACM SIGPLAN

18:28

Quantum routing with fast reversals

ACM SIGPLAN

15:45

qKleene: Verification of Quantum RAM Made Easy

ACM SIGPLAN

18:47

Mitiq: A Python toolkit for quantum error mitigation

ACM SIGPLAN

20:25

JKQ: JKU Tools for Quantum Computing

ACM SIGPLAN

31:32

Theory, Design, and Implementation of Projection-based Assertions for Quantum Debugging

ACM SIGPLAN

30:54

Quantum compilation using the ZX calculus

ACM SIGPLAN

32:49

From Verified Compilation to Shor's Algorithm

ACM SIGPLAN

16:13

Extending Gottesman Types Beyond the Clifford Group

ACM SIGPLAN

15:31

Open Quantum Assembly Language

ACM SIGPLAN

16:48

Quantum and classical registers

ACM SIGPLAN