Finn Hackett
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
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| TraceLinking Implementations with their Verified Designs | OOPSLA 2025 | 2025-10-16 |
TraceLink automatically maps runtime traces from PGo-generated Go programs back to their TLA+ designs, uses vector clocks to record causal partial orders, and… | ||
| Debugging for Scala Control Flow DSLs | The Scala Workshop 2025 | 2025-10-12 |
A prototype instruments a Scala control‑flow DSL (reimplemented with the standard tail‑calls module) to emit source locations and captured locals, then serves… | ||
| nothing matches | ||