EDBT 2026 Demo / reviewers in the wild / expert
Guillermo Toyos-Marfurt
dblp:371/1193
· DBLP profile ↗
3ranked-venue papers
2as first author
3since 2021 · last 2026
0000-0002-6830-1649ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 since 2021Security and privacy · 1 · 1 first-author · 1 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Distributed computing theory · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Distributed computing theory › concurrent objects
progress conditions |
1.0 | 1 | 2026 | Conflict-Freedom as a Progress Condition · PODC 2026 |
Distributed computing theory › shared memory
shared-memory algorithms |
1.0 | 1 | 2026 | Conflict-Freedom as a Progress Condition · PODC 2026 |
Distributed computing theory › concurrent objects
universal constructions |
1.0 | 1 | 2026 | Conflict-Freedom as a Progress Condition · PODC 2026 |
Distributed computing theory › shared memory consistency
linearizability |
0.3 | 1 | 2026 | Conflict-Freedom as a Progress Condition · PODC 2026 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Conflict-Freedom as a Progress ConditionabstractAn obstruction-free implementation guarantees progress to every operation that is given enough time to take steps in isolation. But, as we show in this paper, the mere presence of concurrent operations alone does not have to prevent progress; only incomplete conflicting (non-commuting) operations may do so. This progress condition, that we call conflict-freedom, is a natural generalization of obstruction-freedom that promises efficient implementations for objects exhibiting semantic commutativity. We show that, as with obstruction-freedom, every sequential object has a read-write conflict-free linearizable implementation. Our conflict-free universal construction is based on a novel generalization of the instrumental commit-adopt object, interesting in its own right. Petr Kuznetsov, Pierre Sutra, Guillermo Toyos-Marfurt |
PODC | 3 |
| 2025 | Space-Time Trade-Off in Bounded Iterated Memory
Guillermo Toyos-Marfurt, Petr Kuznetsov |
SSS | 1 |
| 2024 | On the Bit Complexity of Iterated Memory
Guillermo Toyos-Marfurt, Petr Kuznetsov |
SIROCCO | 1 |