Programming Languages Seminar
Choreographic Programming: Abstractions for Concurrent Dynamism and Modularity (Practice Job Talk)
Event Details
Date
Tuesday, October 13, 2026
Time
3-4 p.m.
Location
Description
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
Note: This job talk is focused on a general computer science audience, and does not require deep knowledge of programming language
Cost
Free
Contact
Accessibility
We value inclusion and access for all participants and are pleased to provide reasonable accommodations for this event. Please call 718-902-5854 (voice and text) or email stavansjain@gmail.com to make a disability-related accommodation request. Reasonable effort will be made to support your request.