Caitie McCaffrey
where else to find them
github:caitiem20
bluesky:caitie.bsky.social
x:Caitie
linkedin:caitie-mccaffrey-7831379b
speakerdeck:caitiem20
what they talk about
all 5 in the filters
where they keep going back
- GOTO Chicago2 editions2015–2016
all 5 in the filters
on a stage with
- Inés Sombraonce
who talks about the same things
- Inés Sombra8 talks
- Christopher S. Meiklejohn20 talks
- Christopher Batey9 talks
- François René Rideau10 talks
- Anton Moldovan11 talks
- Jamie Allen9 talks
| title | conference | date |
|---|---|---|
| State of MCP | MCP Live! 2026 | 2026-09-09 |
MCP 2.0 (2026-07-28) makes the protocol stateless and sessionless, removing initialize-based handshakes and sessions and replacing them with server discovery… | ||
| The Verification of a Distributed System | Devoxx US 2017 | 2017-03-21 |
Covers practical verification: use TLA+ and Coq for provable specs (Amazon uses them on S3 and finds serious bugs), rely on 77% reproduced by unit tests and… | ||
| So we hear you like papers | Velocity 2016 Santa Clara | 2016-06-20 |
Paper introduces unreliable failure detectors as an abstraction that decouples failure detection from implementation, defines two properties—completeness… | ||
| The Verification of a Distributed System | GOTO Chicago 2016 | 2016-05-23 |
Practical verification mixes formal specs, targeted tests, and injected failures. Teams use TLA+ and model checkers — Amazon verifies 10+ core services and… | ||
| Building Scalable Stateful Services | Strange Loop 2015 | 2015-09-24 |
Argues that moving state into services yields data locality and lower latency, and that sticky routing enables stronger, available consistency; describes… | ||
| Applying the Saga Pattern | GOTO Chicago 2015 | 2015-05-11 |
Implements the saga pattern to process Halo 4 game stats across up to 32 player partitions, using Azure Table for per-player storage and Azure Service Bus as… | ||
| nothing matches | ||