Dustin Jamner
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
all 8 in the filters
who talks about the same things
- Adam Chlipala23 talks
- Andres Erbsen5 talks
- Samuel Gruetter5 talks
- Ranjit Jhala19 talks
- Jérémie Koenig4 talks
- Kathleen Fisher9 talks
| 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… | ||
| Foundational Integration Verification of a Cryptographic Server | PLDI 2024 | 2024-06-24 |
A verified bare-metal garage-door server implements authenticated open/close commands and prevents replays by rotating seeds, and a single machine-checked… | ||
| 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 | ||