Proceedings of the Programming Models and Languages for Distributed Computing '17 December 6, 2017 / - Meiklejohn, Christopher. (ACM,)