Publications

2025

• • Matteo Acclavio, 
  • Giulia Manara, 
  • Fabrizio Montesi, 

  Formulas as Processes, Deadlock-freedom as Choreographies. In Vafeiadis, V. (eds) Programming Languages and Systems. ESOP 2025. Lecture Notes in Computer Science, vol 15694. Springer, Cham., 2025.
  • doi.org
• • Dan Plyukhin, 
  • Xueying Qin, 
  • Fabrizio Montesi, 

  Relax! The Semilenient Core of Choreographic Programming (Functional Pearl). In Proc. ACM Program. Lang. ICFP 2025, pp. 269:1-269:27, 2025.
  • doi.org
• • Dan Plyukhin, 
  • Gul Agha, 
  • Fabrizio Montesi, 

  CRGC: Fault-Recovering Actor Garbage Collection in Pekko. In Proc. ACM Program. Lang. PLDI 2025, pp. 185:1-185:25, 2025.
  • doi.org | 
  • Video | 
  • Slides

2024

• • Dan Plyukhin, 
  • Marco Peressotti, 
  • Fabrizio Montesi, 

  Ozone: Fully Out-of-Order Choreographies. In proceedings of ECOOP 2024, pp. 31:1-31:28, 2024.
  • doi.org | 
  • Cite | 
  • Video | 
  • Slides
• • Saverio Giallorenzo, 
  • Fabrizio Montesi, 
  • Marco Peressotti, 

  Choral: Object-oriented Choreographic Programming. In ACM Trans. Program. Lang. Syst. 46., 2024.
  • doi.org | 
  • Website

2023

• • Fabrizio Montesi, 

  Introduction to Choreographies. Cambridge University Press, 2023.
  • doi.org