Researcher profile

Luı́s Cruz-Filipe

2 papers in the PaperMetrix corpus

Publications

Papers by this author

Connectors meet Choreographies

2018 · arXiv (Cornell University)

We present Cho-Reo-graphies (CR), a new language model that unites two powerful programming paradigms for concurrent software based on communicating processes: Choreographic Programming and Exogenous Coordination. In CR, programmers specify the desired communications among processes …
Formalizing a Hoare Calculus for Choreographic Programming

2026 · University of Southern Denmark Research Portal (University of Southern Denmark)

Choreographic programming is a paradigm where developers write the global specification (called choreography) of a communicating system, and then a correct-by-construction distributed implementation is compiled automatically. Choreographies formalize the way many practitioners think about distributed …