Kartik Singhal
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLanQC4 editions2020–2025
on a stage with
all 7 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Imperative Quantum Programming with Ownership and Borrowing in Guppy | PLanQC 2025 | 2025-01-25 |
Guppy implements an imperative quantum type system that enforces ownership and borrowing so you cannot measure or deallocate a qubit you don’t own, borrows… | ||
| GUPPY: Pythonic Quantum-Classical Programming | PLanQC 2024 | 2024-01-20 |
Guppy implements a Python-embedded DSL that compiles high-level hybrid quantum-classical programs (including mid-circuit measurement and true classical control… | ||
| Toward a Type Theoretic Interpretation of Q# and Statically Enforcing the No Cloning Theorem | PLanQC 2021 | 2021-06-22 |
Formal definition of Q# via a core calculus lambda qsharp models qubits as opaque symbols and surface qubits as qref references, introduces lifetime variables… | ||
| A Verified Optimizer for Quantum Circuits & Verified Translation Between Low-Level Quantum Languages | PLanQC 2020 | 2020-01-19 |
A verified optimizer named Box implements peephole rules (X/Z propagation, gate cancellation) plus rotation‑merging and a naive swap‑based mapper, all… | ||
| nothing matches | ||