TY  - RPRT
TI  - Synthesizing Optimal Collective Algorithms
AU  - Zixian Cai
AU  - Zhengyang Liu
AU  - Saeed Maleki
AU  - Madan Musuvathi
AU  - Todd Mytkowicz
AU  - Jacob Nelson
AU  - Olli Saarikivi
PY  - 2021
DO  - 10.1145/3437801.3441620
UR  - https://arxiv.org/abs/2008.08708
ID  - 2008.08708
ER  -