Nick Benton
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Andrew Kennedyonce
- Jonas Jensenonce
- Pierre-Evariste Dagandonce
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Pete's Footprints | O'Hearn Fest (POPL 2024) | 2024-01-14 |
Thirty years of follow-on work traces specific technical moves: an effect system in a Standard ML compiler used to prove correctness of optimizations… | ||
| 10-Year Most Influential Paper Talk: Coq: the world's best macro assembler? | PPDP 2023 | 2023-10-22 |
Ten years ago a Coq formalization models a subset of 32-bit x86 with executable bit/byte memory, an assembler written in Coq that assembles assembly notation… | ||
| nothing matches | ||