research
∙
10/23/2022
Keep CALM and CRDT On
Despite decades of research and practical experience, developers have fe...
share
research
∙
06/22/2022
GACT: Activation Compressed Training for General Architectures
Training large neural network (NN) models requires extensive memory reso...
research
∙
05/25/2022
Katara: Synthesizing CRDTs with Verified Lifting
Conflict-free replicated data types (CRDTs) are a promising tool for des...
research
∙
05/14/2022
The Sky Above The Clouds
Technology ecosystems often undergo significant transformations as they ...
research
∙
06/04/2020
