Choreographies and Cost Semantics for Reliable Communicating Systems
Doctoral thesis, 2023

Show more

Author

Alejandro Gómez Londoño

Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Included papers

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

Leibniz International Proceedings in Informatics, LIPIcs,;Vol. 237(2022)

Paper in proceeding

Dancing in a forest of interactions: An interaction tree-based semantics for choreographies

Manuscript

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

Proceedings of the ACM on Programming Languages,;Vol. 4(2020)

Journal article

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

ACM International Conference Proceeding Series,;(2021)p. 1-9

Paper in proceeding

Popular science description

Show more

Research Project(s)

Pålitlig mjukvara via programmering och kompilering i logik

Swedish Foundation for Strategic Research (SSF) (FFL15-0191), 2017-01-01 -- 2021-12-31.

Categorizing

Subject Categories (SSIF 2011)

Computer Science

Identifiers

ISBN

978-91-7905-872-2

Other

Series

Doktorsavhandlingar vid Chalmers tekniska högskola. Ny serie: 5338

Publisher

Chalmers

Public defence

2023-06-12 10:00 -- 13:00

EDIT Room EA

Online

Opponent: Marco Carbone, Associate Professor at the Computer Science Department, IT University of Copenhagen, Denmark

More information

Latest update

5/17/2023