Juan José González-Abril

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Causal Theories

Sum Product Algorithm

Distributed Shared Memory

Top Venues

Publications

Juan José González-Abril, Germán Vidal
Causal-Consistent Reversible Debugging: Improving CauDEr. CoRR (2024)
Juan José González-Abril, Germán Vidal
A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency. CoRR (2021)
Juan José González-Abril, Germán Vidal
Causal-Consistent Reversible Debugging: Improving CauDEr. PADL (2021)
Juan José González-Abril, Germán Vidal
Prefix-Based Tracing in Message-Passing Concurrency. LOPSTR (2021)
Juan José González-Abril, Germán Vidal
A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging. CoRR (2021)