about this paper

presentation abstract bibitem
Aurélie Kong, Jérôme Feret and Gregor Gössler.
CESAn: a Core Erlang Semantics Analyser.
> In Proceedings of the international workshop on Components Operationally: Reversibility and System Engineering, CORSE'25. 2025 (to celebrate the 65th birthday of Jean-Bernard Stefani). Lille, France, C. Antares Mezzina and A. Schmidtt (Eds). To appear in Springer Festschrifts.

Abstract: In the concurrent distributed language Erlang, processes in- teract through message passing and signals. One of the main sources of non-determinism that make Erlang programs difficult to debug, is the order in which messages are handled. We present a prototype tool called CESAn that implements a small-step semantics that faithfully represents message handling in Core Erlang, enabling the user to investigate the causes of non-determinism in Erlang stemming from message handling. We see CESAn as a building block for debugging and analysis tools for Erlang. 

@inproceedings{ChangFG25,
author = {Aur{\'{e}}lie Kong Win Chang and J{\'{e}}r{\^{o}}me Feret and Gregor G{\"{o}}ssler},
editor       = {Claudio Antares Mezzina and Alan Schmidtt},
title        = {CESAn: a Core Erlang Semantics Analyser},
booktitle    = {Proceedings of the international workshop on Components Operationally: Reversibility and System Engineering, CORSE'25.},
year         = {2025},
publisher    = {springer}, 
note         = {to appear in Springer Festschrifts}}