Brief Announcement: Round eliminator: a tool for automatic speedup simulation

PODC 2020