Programming Languages Seminar

Choreographic programming is an emerging paradigm for writing concurrent programs where developers write a single centralized program that compiles to an individual program for each node. Choreographies provide a high-level abstraction for modeling concurrent systems that both yields intuitive interfaces for programmers and enables correct-by-construction guarantees. Note: This job talk is focused on a general computer science audience, and does not require deep knowledge of programming language