Advanced Topics in Computer Science: Programming Languages (for distributed systems), Distributed Systems

What makes programming distributed systems hard? In the recent past, a great deal of effort has been spent trying answer this question. While much work appears in the systems community (building new abstractions) a great deal of work has also appeared in the programming languages community (making new abstractions easier to program against). But a gulf still remains: the assumptions that systems designers make of their languages, and that language designers make of their systems, do not yet reliably align. In this seminar, we explore work on both sides of this divide and take some initial steps towards bridging the gap between them.