Programming Language Foundations for Concurrency

Prerequisites: Undergraduate prerequisite: CASCS 320, CASCS 210 is recommended. Graduate prerequisite: a course in programming languages at the level of CASCS 320. - This course explores the complexities of concurrency in software systems, addressing challenges like arbitrary process execution and failures. It provides foundational knowledge and tools to help students design robust concurrent software using advanced programming language techniques and tools.