Jennifer Paykin
where else to find them
what they talk about
where they keep going back
- PLanQC2 editions2020–2025
all 5 in the filters
on a stage with
who talks about the same things
- Robert Rand11 talks
- Michael Carbin14 talks
- Jens Palsberg17 talks
- Amanda Xu6 talks
- Li Zhou9 talks
- Finn Voichick3 talks
| title | conference | date |
|---|---|---|
| Specification, Semantics, and Verification of Quantum Programs | CPP 2026 | 2026-01-12 |
Survey of methods claims that circuit semantics are handled as density matrices/mixed states to make execution deterministic, that SMT‑style and tableau… | ||
| Qudit Quantum Programming with Projective Cliffords | POPL 2026 | 2026-01-11 |
Claims a lambda calculus called LambdaPC that encodes projective Cliffords as functions P ↦ UPU† for qudits of any dimension and proves expressiveness: every… | ||
| Programming with Projective Cliffords | PLanQC 2025 | 2025-01-25 |
Defines a lambda calculus LambdaPC whose well‑typed functions are exactly projective Cliffords acting by conjugation on the Pauli group, proves a Curry-Howard… | ||
| Exploring modal types for the Intel Quantum SDK (Extended Abstract) | TyDe 2023 | 2023-09-04 |
Defines a modal type system for the Intel Quantum SDK that enforces the SDK rule that every quantum kernel compiles to at most one quantum basic block, using… | ||
| Exploits as Insecure Compilation | PriSC 2020 | 2020-01-25 |
Defines an exploit as a target context that makes the compiled program exhibit a behavior impossible in the source and proves this is equivalent to violating a… | ||
| Quantum Computing for Programming Languages Researchers | PLanQC 2020 | 2020-01-19 |
Intro for PL researchers that reduces quantum programming to concrete mechanics and a tiny language with probabilistic operational semantics showing how… | ||
| nothing matches | ||