Gabriel Kammer
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Pyrosome: Verified Compilation for Modular Metatheory | OOPSLA 2025 | 2025-10-16 |
Pyrosome is a Coq framework that defines languages as lists of inference rules (GATs) and treats program equivalence as the reflexive‑transitive‑symmetric… | ||
| Pyrosome: A Framework for Modular, Extensible, Equivalence-Preserving Compilati... | CoqPL 2023 | 2023-01-21 |
A Coq framework for modular, extensible compiler verification that proves an inductive equivalence preservation theorem so adding one feature requires one new… | ||
| nothing matches | ||