Reversible Debugging of Erlang Programs in CauDEr

This talk presents the notion of causal-consistent reversible debugging and its instance on Erlang provided by CauDEr. Reversible debugging allows us to explore an execution back and forth looking for a bug. Causal-consistent debugging tailors this approach to concurrent systems so that actions can be undone in any order as long as their consequences, if any, are undone first.

Authors

Ivan Lanese (ORCID: https://orcid.org/0000-0003-2527-9995)
Germán Vidal (ORCID: https://orcid.org/0000-0002-1857-6951)

Institutions

Universitat Politècnica de València (ES)
University of Bologna (IT)

Publication Details

Published: 2024-09-13
DOI: https://doi.org/10.1145/3678720.3685319
Primary Topic: Parallel Computing and Optimization Techniques
Type: article
Field-Weighted Citation Impact: 0.00

Controls

|||

ALL TIME

JAN

FEB

MAR

APR

MAY

JUN

JUL

AUG

SEP

OCT

article

Reversible Debugging of Erlang Programs in CauDEr

Ivan Lanese, Germán Vidal

Sep 13, 2024

Parallel Computing and Optimization Techniques

article

Reversible Debugging of Erlang Programs in CauDEr

Ivan Lanese, Germán Vidal

September 13, 2024article en

Abstract

This talk presents the notion of causal-consistent reversible debugging and its instance on Erlang provided by CauDEr. Reversible debugging allows us to explore an execution back and forth looking for a bug. Causal-consistent debugging tailors this approach to concurrent systems so that actions can be undone in any order as long as their consequences, if any, are undone first.

Universitat Politècnica de València (ES), University of Bologna (IT)

Openalex Percentile: Top 85%

Parallel Computing and Optimization Techniques

DOI Open Access PDF OpenAlex

AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Reversible Debugging of Erlang Programs in CauDEr — Ivan Lanese, Germán Vidal · (2024) | TGRS Research Map | TGRS