Talk at The International Conference on Parallel Computing ParCo2019. Slides on the docs section of the site.