Christophe Chareton
where else to find them
no profile links on file
what they talk about
where they keep going back
- PLanQC2 editions2020–2026
on a stage with
- Jad Issaonce
- Mathieu Nguyenonce
- Nicolas Blancoonce
all 4 in the filters
who talks about the same things
- Sébastien Bardin5 talks
- Chris Heunen8 talks
- Robert Rand11 talks
- Michael Carbin14 talks
- Jens Palsberg17 talks
- Jennifer Paykin8 talks
| title | conference | date |
|---|---|---|
| Hybrid Path-Sums for Hybrid Quantum Programs | PLDI 2026 | 2026-06-15 |
Presents a formalism called Hybrid Path-Sums (HPS), a symbolic representation plus rewriting rules and a core assertion language, and ships a working symbolic… | ||
| Democratizing quantum formal verification: the path-sum way | PLanQC 2026 | 2026-01-12 |
A verification tool called Cubri uses the path-sum symbolic execution format to represent quantum states as phased sums, claims compact proofs for many… | ||
| Toward Certified Quantum Programming | PLanQC 2020 | 2020-01-19 |
A core language called Cubics encodes circuits with a denotational path-sum semantics and lifted constructors whose specifications compose isomorphically with… | ||
| nothing matches | ||