publication venue for Acuerdo: Fast Atomic Broadcast over RDMA 2022 An Unbounded Nonblocking Double-ended Queue 2016 Generating Efficient Tensor Contractions for GPUs 2015