Distributed graph analytics : programming, languages, and their compilation (2020)