Alejandro Gómez-Londoño

Choreographies and Cost Semantics for Reliable Communicating Systems Choreographies and Cost Semantics for Reliable Communicating Systems 1 An end-to-end verified compiler for a choreography language 2 Do You Have Space for Dessert?

Alejandro Gómez-Londoño, 2020 .

Kalas: A Verified, End-To-End Compiler for a Choreographic Language

Johannes Åman Pohjola, Michael Norrish, Alejandro Gómez-Londoño, 2022, ITP.