Towards Language Support for Distributed Systems

The talk goes over recent (2018) research, but is much more focused on PL than distributed systems