Guillermo Toyos-Marfurt

dblp:371/1193 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Distributed computing theory › concurrent objects
progress conditions
1.012026
Conflict-Freedom as a Progress Condition · PODC 2026
Distributed computing theory › shared memory
shared-memory algorithms
1.012026
Conflict-Freedom as a Progress Condition · PODC 2026
Distributed computing theory › concurrent objects
universal constructions
1.012026
Conflict-Freedom as a Progress Condition · PODC 2026
Distributed computing theory › shared memory consistency
linearizability
0.312026
Conflict-Freedom as a Progress Condition · PODC 2026
YearPublicationVenuePosition
2026 Conflict-Freedom as a Progress Condition
abstract
An 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
PODC3
2025 Space-Time Trade-Off in Bounded Iterated Memory
Guillermo Toyos-Marfurt, Petr Kuznetsov
SSS1
2024 On the Bit Complexity of Iterated Memory
Guillermo Toyos-Marfurt, Petr Kuznetsov
SIROCCO1