# SHF: Small: Open Choreographies via Session Types

> **NSF 01002526DB NSF RESEARCH & RELATED ACTIVIT** · SUNY at Buffalo (NY) · $598,636

## Abstract

Programming concurrent and distributed systems is notoriously difficult and error prone. Since most concurrent and distributed programs are designed as a set of communicating components, incorrect communication protocols can lead to difficult-to-debug errors. Choreographic programming is a recent programming paradigm which helps developers codesign computations, thereby eliminating the possibility of errors within communication protocols. Unfortunately, choreographic programs require that all components are programmed at the same time, preventing the use of off-the-shelf software. This project develops open choreographies: choreographies that allow codesigned components to communicate with independently designed programs. This project's novelties are the invention of open choreographies and the development of a method for expressing the protocols they expect of the non-codesigned programs. This project’s impacts are allowing the development of correct distributed and concurrent systems that can integrate into standard software development workflows. This project’s educational impacts include the training of PhD researchers as well as experiential learning and research opportunities through the University at Buffalo’s experiential learning and research program for undergraduates.

In particular, this project develops a new session typing discipline called scheduled session types which describe the protocols of concurrent software. This session typing discipline is then used

## Key facts

- **NSF award ID:** 2512151
- **Awardee organization:** SUNY at Buffalo (NY)
- **SAM.gov UEI:** LMCJKRFW5R81
- **PI:** Andrew K Hirsch
- **Primary program:** 01002526DB NSF RESEARCH & RELATED ACTIVIT
- **All programs:** SMALL PROJECT, PROGRAMMING LANGUAGES
- **Estimated total:** $598,636
- **Funds obligated:** $598,636
- **Transaction type:** Standard Grant
- **Period:** 09/01/2025 → 08/31/2028

## Primary source

NSF Award Search: https://www.nsf.gov/awardsearch/showAward?AWD_ID=2512151

## Citation

> US National Science Foundation, Award 2512151, SHF: Small: Open Choreographies via Session Types. Retrieved via AI Analytics 2026-06-07 from https://api.ai-analytics.org/grant/nsf/2512151. Licensed CC0.

---

*[NSF Awards dataset](/datasets/nsf-awards) · CC0 1.0*