Alejandro Gómez-Londoño

According to our database, Alejandro Gómez-Londoño authored at least 4 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

Johannes Åman Pohjola, Alejandro Gómez-Londoño, James Shaker, Michael Norrish

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

2021

Hood-Melville Queue.

Alejandro Gómez-Londoño

Arch. Formal Proofs, 2021

A flat reachability-based measure for CakeML's cost semantics.

Alejandro Gómez-Londoño, Magnus O. Myreen

Proceedings of the 33rd Symposium on Implementation and Application of Functional Languages, 2021

2020

Do you have space for dessert? a verified space cost semantics for CakeML programs.

Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan

Proc. ACM Program. Lang., 2020