Natacha Crooks
where else to find them
bluesky:nacrooks.bsky.social
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 5 in the filters
on a stage with
- Amaury Chamayouonce
- Audrey Chengonce
- Benjamin Marshonce
all 31 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Ambulance: Saving BFT through Racing | 20th USENIX Symposium on Operating Systems Design and Implementation (OSDI '26) | 2026-07-13 |
Ambulance replaces timeouts with protocol-rigged races where the leader runs a two-step path and others a three-step path so the leader has a one-step head… | ||
| Picsou: Enabling Replicated State Machines to Communicate Efficiently | OSDI '25 | 2025-07-07 |
Picsou introduces a formal primitive, Cross-Cluster Consistent Broadcast (C3B), and a practical protocol that uses TCP-like cumulative ACKs plus rotating… | ||
| Smart Casual Verification of the Confidential Consortium Framework | NSDI '25 | 2025-04-28 |
Specifies CCF's distributed consensus and client-consistency model in TLA+, instruments the C++ code to emit tiny JSON state traces, and repurposes the TLC… | ||
| Take Out the TraChe: Maximizing (Tra)nsactional Ca(che) Hit Rate | OSDI 2023 | 2023-07-10 |
Defines transactional hit rate and builds DeToX, a cache layer that groups keys by dependency (levels and interchangeable groups), scores groups by minimum… | ||
| LOCA: A Location-Oblivious Cellular Architecture | NSDI 2023 | 2023-04-17 |
LOCA claims to hide user location from operators while still delivering identity-based services by splitting duties between an MVNO-style broker and… | ||
| nothing matches | ||