Alexey Gotsman
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Borja de Régilonce
- Fedor Ryabininonce
- Hengfeng Weionce
all 6 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| SwiftPaxos: Fast Geo-Replicated State Machines | 21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24) | 2024-04-16 |
Protocol executes a command in 2 message delays when there is no contention and in 3 delays otherwise, by letting replicas vote twice — once for a local… | ||
| Sound Sequentialization for Concurrent Program Verification | PLDI 2022 | 2022-06-13 |
Transforms concurrent code into a sequential program via sound sequentialization that picks one representative per commutativity equivalence class using… | ||
| UniStore: A fault-tolerant marriage of causal and strong consistency | USENIX ATC '21 | 2021-07-14 |
UniStore is a transactional POR store that actually implements optimistic certification using two‑phase commit + Paxos and a lightweight uniformity check that… | ||
| nothing matches | ||