👩💻 Join our community of thousands of amazing developers!
Hi, friends! This fall will be my first quarter teaching at UC Santa Cruz! I’m very excited to announce that this fall I’m teaching a graduate seminar on one of my favorite topics: languages and abstractions for programming distributed systems. Here’s an “official” course description: This graduate seminar course explores the theory and practice of distributed programming from a programming-languages perspective. We will focus on programming models, language-level abstractions, and verificati...