A Typed Tensor Language for Shared-State Federated Computation

Theofilos Mailis, Kalliopi-Christina Despotidou, Konstantinos Filippopolitis +6

Shared-state federated computations combine client-local tensor computation, mergeable aggregation into shared state, and shared-only post-processing. We introduce a typed tensor l…