Simon Hudon
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
- Daniel Selsamonce
- David Swaseyonce
- Gregory Malechaonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Verification of Templated Code in C++ | RocqPL 2026 | 2026-01-17 |
Claims a method to verify C++ templates without expanding the trusted computing base by treating unresolved symbols as hygienic macros and using a shallowly… | ||
| Sealing Pointer-Based Optimizations Behind Pure Functions | ICFP 2020 | 2020-08-23 |
Shows how dependent types seal pointer tricks behind pure interfaces to turn exponential tree traversals into linear-time algorithms, implemented for Lean v4… | ||
| nothing matches | ||