Synthesizing optimal collective algorithms.

Zixian Cai Zhengyang Liu Saeed Maleki Madanlal Musuvathi Todd Mytkowicz Jacob Nelson Olli Saarikivi

Published in: PPoPP (2021)

Keyphrases

worst case
data structure
significant improvement
computational cost
database
learning algorithm
computationally expensive
computational complexity
computational efficiency
recently developed
search engine
multi objective
orders of magnitude
data mining algorithms
closed form
greedy heuristic