VLDB 2026 Research / reviewers in the wild / expert
Adrián Palacios
dblp:164/4773
· DBLP profile ↗
4ranked-venue papers
1as first author
1since 2021 · last 2021
0000-0002-8747-1790ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 1 first-authorTheory of computation · 3 · 1 first-author · 1 since 2021Computer networks · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent ProgramsabstractCausal-consistent reversible debugging is an innovative technique for debugging concurrent systems. It allows one to go back in the execution focusing on the actions that most likely caused a visible misbehavior. When such an action is selected, the debugger undoes it, including all and only its consequences. This operation is called a causal-consistent rollback. In this way, the user can avoid being distracted by the actions of other, unrelated processes. In this work, we introduce its dual notion: causal-consistent replay. We allow the user to record an execution of a running program and, in contrast to traditional replay debuggers, to reproduce a visible misbehavior inside the debugger including all and only its causes. Furthermore, we present a unified framework that combines both causal-consistent replay and causal-consistent rollback. Although most of the ideas that we present are rather general, we focus on a popular functional and concurrent programming language based on message passing: Erlang. Ivan Lanese, Adrián Palacios, Germán Vidal |
Fundam. Informaticae | 2 |
| 2019 | Causal-Consistent Replay Debugging for Message Passing Programs
Ivan Lanese, Adrián Palacios, Germán Vidal |
FORTE | 2 |
| 2016 | A Reversible Semantics for Erlang
Naoki Nishida 0001, Adrián Palacios, Germán Vidal |
LOPSTR | 2 |
| 2015 | Concolic Execution in Functional Programming by Program Instrumentation
Adrián Palacios, Germán Vidal |
LOPSTR | 1 |