Mike Dodds
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
- Alexandre Moineonce
- Alwyn E. Goodloeonce
- Benoit Razetonce
all 15 in the filters
who talks about the same things
- Joey Dodds2 talks
- Adam Chlipala23 talks
- Michael Sammler16 talks
- Kathleen Fisher9 talks
- Andres Erbsen5 talks
- Cole Schlesinger3 talks
| title | conference | date |
|---|---|---|
| PLMW Panel | PLMW @ POPL 2025 | 2025-01-19 |
Career-panelists compare concrete career moves and tactics: experiences range from working at an employee‑owned consultancy with ~110 engineers to junior… | ||
| Daedalus: Safer Document Parsing | PLDI 2024 | 2024-06-24 |
A domain-specific language and compiler generate safe, analyzable parsers with C++ and Haskell backends and a foreign‑function interface for things like… | ||
| How Do We Know That Weak Memory Matters? | The Future of Weak Memory 2024 | 2024-01-15 |
Argues current evidence is weak that weak memory causes widespread system or security failures, citing only a single Rust Belt CVE and few reproducible… | ||
| Trustworthy Runtime Verification via Bisimulation | ICFP 2023 | 2023-09-04 |
CopilotVerifier automatically proves that a Copilot Haskell stream monitor and its compiled C (Clang→LLVM) output produce equivalent observable behavior by… | ||
| Formally Verifying Everybody's Cryptography | Strange Loop 2022 | 2022-09-22 |
Production TLS and crypto libraries get formal, with real code verified against machine-readable Cryptol specifications using symbolic execution at the LLVM… | ||
| nothing matches | ||