Andrew Kennedy
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 1 in the filters
on a stage with
- Jonas Jensenonce
- Nick Bentononce
- Pierre-Evariste Dagandonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| 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 | ||