12 citations · 31 across the 17 of their papers we have counts for
Showing 2021 · cs.PLShow all
2 papers · 2 filters
cs.PL2021★ 1 cited
A Lightweight Approach to Computing Message Races with an Application to Causal-Consistent Reversible Debugging
Juan José González-Abril, Germán Vidal
This paper presents a lightweight formalism (a trace) to model message-passing concurrent executions where some common common problems can be identified, like lost or delayed messa…
cs.PL2021
A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency
Juan José González-Abril, Germán Vidal
The execution of concurrent programs generally involves some degree of nondeterminism, mostly due to the relative speeds of the concurrent processes. As a consequence, reproducibil…