research
∙
04/27/2023
Reasoning about Choreographic Programs
Choreographic programming is a paradigm where a concurrent or distribute...
share
research
∙
03/07/2023
Certified Compilation of Choreographies with hacc
Programming communicating processes is challenging, because it requires ...
research
∙
02/28/2023
Now It Compiles! Certified Automatic Repair of Uncompilable Protocols
Choreographic programming is a paradigm where developers write the globa...
research
∙
09/05/2022
A Formal Theory of Choreographic Programming
Choreographic programming is a paradigm for writing coordination plans f...
research
∙
07/18/2022
From Infinity to Choreographies: Extraction for Unbounded Systems
Choreographies are formal descriptions of distributed systems, which foc...
research
∙
11/05/2021
Choreographies as Functions
We propose a new interpretation of choreographies as functions, whereby ...
research
∙
02/21/2021
Certifying Choreography Compilation
Choreographic programming is a paradigm for developing concurrent and di...
research
∙
02/04/2021
Formalising a Turing-Complete Choreographic Language in Coq
Theory of choreographic languages typically includes a number of complex...
research
∙
10/25/2019
Implementing choreography extraction
Choreography extraction deals with the generation of a choreography (a g...
research
∙
05/23/2019
Hypothetical answers to continuous queries over data streams
Continuous queries over data streams may suffer from blocking operations...
research
∙
09/21/2018
Machine-Assisted Proofs (ICM 2018 Panel)
This submission to arXiv is the report of a panel session at the 2018 In...
research
∙
08/15/2018
Multiparty Classical Choreographies
We present Multiparty Classical Choreographies (MCC), a language model w...
research
∙
04/24/2018
Connectors meet Choreographies
We present Cho-Reo-graphies (CR), a new language model that unites two p...
research
∙
11/30/2017
On Asynchrony and Choreographies
Choreographic Programming is a paradigm for the development of concurren...
research
∙
11/28/2017
Communications in Choreographies, Revisited
Choreographic Programming is a paradigm for developing correct-by-constr...
research
∙
11/23/2017
