Alejandro Gómez Londoño

Publikationer (5)
Projekt (0)

Visar 5 publikationer

2023

Choreographies and Cost Semantics for Reliable Communicating Systems

Alejandro Gómez Londoño

Doktorsavhandling

Visa projekt

2022

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

Johannes Åman Pohjola, Alejandro Gómez Londoño, James Shaker et al

Leibniz International Proceedings in Informatics, LIPIcs. Vol. 237

Paper i proceeding

2021

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

Alejandro Gómez Londoño, Magnus Myreen

ACM International Conference Proceeding Series, p. 1-9

Paper i proceeding

2020

Choreographies and Cost Semantics for Reliable Communicating Systems

Alejandro Gómez Londoño

Licentiatavhandling

Visa projekt

2020

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

Alejandro Gómez Londoño, Johannes Åman Pohjala, Hira Taqdees Syeda et al

Proceedings of the ACM on Programming Languages. Vol. 4 (OOPSLA)

Artikel i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.

Det kan finnas fler projekt där Alejandro Gómez Londoño medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.