Dan Alistarh
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
- Dmitry Khalanskiyonce
- Nikita Kovalonce
who talks about the same things
- Nikita Koval10 talks
- Aws Albarghouthi14 talks
- Jonathan Ragan-Kelley12 talks
- Vasileios Klimis4 talks
- Alastair F. Donaldson14 talks
- Gilbert Louis Bernstein9 talks
| title | conference | date |
|---|---|---|
| CQS: A Formally-Verified Framework for Fair and Abortable Synchronization | PLDI 2024 | 2024-06-24 |
CQS provides a queue-based synchronizer that implements fair FIFO ordering and efficient abortable operations by reserving array slots for suspend and resume… | ||
| Distributed and concurrent optimization for machine learning | Hydra 2020 | 2020-07-06 |
Shows concrete compression-and-sync tradeoffs: QSGD 4-bit quantization cuts communicated bits ~8–10x with a theoretical ~2x slowdown in convergence but… | ||
| nothing matches | ||