Alejandro Gómez-Londoño

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 4

Top Topics

Correlation Coefficient

Markov Modulated

Top Venues

Proc. ACM Program. Lang.

Arch. Formal Proofs

Publications

Johannes Åman Pohjola, Alejandro Gómez-Londoño, James Shaker, Michael Norrish
Kalas: A Verified, End-To-End Compiler for a Choreographic Language. ITP (2022)
Alejandro Gómez-Londoño
Hood-Melville Queue. Arch. Formal Proofs 2021 (2021)
Alejandro Gómez-Londoño, Magnus O. Myreen
A flat reachability-based measure for CakeML's cost semantics. IFL (2021)
Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan
Do you have space for dessert? a verified space cost semantics for CakeML programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)