Choreographies as Macros

Alexander Bohosian; Andrew K. Hirsch

doi:10.4204/EPTCS.420.2

Choreographies as Macros

Alexander Bohosian
, Andrew K. Hirsch

Department of Computer Science and Engineering

University at Buffalo

SUNY Buffalo

Research output: Contribution to journal › Conference article › peer-review

Abstract

Concurrent programming often entails meticulous pairing of sends and receives between participants to avoid deadlock. Choreographic programming alleviates this burden by specifying the system as a single program. However, there are more applications than implementations of choreographies, and developing new implementations takes a lot of time and effort. Our work uses Racket to expedite building a new choreographic language called Choret. Racket has a powerful macro system which allows Choret to reuse much of its infrastructure for greater functionality and correctness.

Original language	English
Pages (from-to)	12-21
Number of pages	10
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	420
DOIs	https://doi.org/10.4204/EPTCS.420.2
State	Published - May 27 2025
Event	16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2025 - Hamilton, Canada Duration: May 4 2025 → …

Access to Document

10.4204/EPTCS.420.2

Cite this

@article{6ea459fc77904703aa552fd7d416f867,

title = "Choreographies as Macros",

abstract = "Concurrent programming often entails meticulous pairing of sends and receives between participants to avoid deadlock. Choreographic programming alleviates this burden by specifying the system as a single program. However, there are more applications than implementations of choreographies, and developing new implementations takes a lot of time and effort. Our work uses Racket to expedite building a new choreographic language called Choret. Racket has a powerful macro system which allows Choret to reuse much of its infrastructure for greater functionality and correctness.",

author = "Alexander Bohosian and Hirsch, \{Andrew K.\}",

note = "Publisher Copyright: {\textcopyright} A. Bohosian \& A. K. Hirsch.; 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2025 ; Conference date: 04-05-2025",

year = "2025",

month = may,

day = "27",

doi = "10.4204/EPTCS.420.2",

language = "English",

volume = "420",

pages = "12--21",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Choreographies as Macros

AU - Bohosian, Alexander

AU - Hirsch, Andrew K.

N1 - Publisher Copyright: © A. Bohosian & A. K. Hirsch.

PY - 2025/5/27

Y1 - 2025/5/27

N2 - Concurrent programming often entails meticulous pairing of sends and receives between participants to avoid deadlock. Choreographic programming alleviates this burden by specifying the system as a single program. However, there are more applications than implementations of choreographies, and developing new implementations takes a lot of time and effort. Our work uses Racket to expedite building a new choreographic language called Choret. Racket has a powerful macro system which allows Choret to reuse much of its infrastructure for greater functionality and correctness.

AB - Concurrent programming often entails meticulous pairing of sends and receives between participants to avoid deadlock. Choreographic programming alleviates this burden by specifying the system as a single program. However, there are more applications than implementations of choreographies, and developing new implementations takes a lot of time and effort. Our work uses Racket to expedite building a new choreographic language called Choret. Racket has a powerful macro system which allows Choret to reuse much of its infrastructure for greater functionality and correctness.

UR - https://www.scopus.com/pages/publications/105007041556

U2 - 10.4204/EPTCS.420.2

DO - 10.4204/EPTCS.420.2

M3 - Conference article

SN - 2075-2180

VL - 420

SP - 12

EP - 21

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2025

Y2 - 4 May 2025

ER -

Choreographies as Macros

Abstract

Access to Document

Other files and links

Fingerprint

Cite this