activity
20232025
most citedEnabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

2 citations · 3 across the 5 of their papers we have counts for

collaborators

5 papers

cond-mat.mtrl-sci2025

Nuclear spin-free 70Ge/28Si70Ge quantum well heterostructures grown on industrial SiGe-buffered wafers

P. Daoust, N. Rotaru, D. Biswas +9

The coherence of hole spin qubits in germanium planar heterostructures is limited by the hyperfine coupling to the nuclear spin bath due to 29Si and 73Ge isotopes. Thus, removing t…

cs.PL2025

Compiling a Q# Subset to QASM 3.0 in TypeScript via a JSON Based IR

Marcus Edwards

We implement a compile toolchain from Q# to QASM 3.0 including a full-featured lexer and parser implementation, as well as a compiler that supports a subset of Q# features. The lex…

quant-ph2025

Productive Quantum Programming Needs Better Abstract Machines

Santiago Núñez-Corrales, Olivia Di Matteo, John Dumbell +4

An effective, accessible abstraction hierarchy has made using and programming computers possible for people across all disciplines. Establishing such a hierarchy for quantum progra…

cs.PL2024★ 2 cited

Enabling the Verification and Formalization of Hybrid Quantum-Classical Computing with OpenQASM 3.0 compatible QASM-TS 2.0

Sean Kim, Marcus Edwards

The unique features of the hybrid quantum-classical computing model implied by the specification of OpenQASM 3.0 motivate new approaches to quantum program verification. We impleme…

cs.PL2023★ 1 cited

Three Quantum Programming Language Parser Implementations for the Web

Marcus Edwards

IBM has developed a quantum assembly (QASM) language particular to gate model quantum computing since 2017 [CBSG17]. Version 3.0 which adds timing, pulse control, and gate modifier…