Causal-consistent reversible debugging for Erlang

Causal-consistent reversible debugging allows one to explore a computation backwards from a visible misbehavior looking for the bug causing it, following causality links and navigating among different processes. I will explain the main ideas underlying causal-consistent reversible debugging and then give a brief demo using the CauDEr reversible debugger.

Talk objectives: attendees will learn what causal-consistent reversible debugging is, and how it can be used in practice via the CauDEr tool (admittedly a research prototype, not yet ready for production). Interested people may decide to join the CauDEr project to contribute to making it production ready.

Audience: Erlang programmers.