Abstract: The work aims to enable the use of common software engineering techniques and tools for quantum programming languages (e.g., OpenQASM). With the increased interest in quantum computing, ...

LintQ is a framework for static analysis of quantum programs written in Qiskit. It comprises: LintQ Core: a set of quantum-specific concepts that supports the definition of static analysis of quantum ...

A group of women incarcerated at the Allegheny County Jail is helping dogs get ready for adoption, and the dogs are helping them get prepared for re-entry into life. Just a few months back, Leia, a ...