Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Minh Tung Nguyen

dblp:404/7793 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2025
0009-0002-8321-5973ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 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
0.912025
An Exact Characterization of the Two-shot Deterministic Objects Solving Two-process Consensus · PODC 2025
Distributed computing theory
consensus
0.912025
An Exact Characterization of the Two-shot Deterministic Objects Solving Two-process Consensus · PODC 2025
Distributed computing theory › consensus
consensus number
0.912025
An Exact Characterization of the Two-shot Deterministic Objects Solving Two-process Consensus · PODC 2025
Distributed computing theory › synchronization primitives
synchronization power
0.312025
An Exact Characterization of the Two-shot Deterministic Objects Solving Two-process Consensus · PODC 2025
YearPublicationVenuePosition
2025 An Exact Characterization of the Two-shot Deterministic Objects Solving Two-process Consensus
abstract
A key question in distributed computing is determining the synchronization power of a shared object. This power is commonly measured using consensus, a distributed problem in which processes agree on a common input value. An object has consensus number n when n is the largest number for which we may solve consensus with copies of this object and registers. The seminal work of Herlihy and Ruppert [14] provides an exact characterization of the consensus number for deterministic one-shot objects (that can be accessed by each process at most once). This paper extends that study to deterministic two-shot objects (that can be accessed by each process at most twice) in a two-process system. We introduce three disjoint classes of two-shot objects: The first class is similar to one-shot objects in the sense that the first operation call gives enough information to solve consensus. Objects in the second class do not provide any useful information after the first call to one of the two processes. The last class contains objects for which calling the object twice is always necessary. In this class, the second operation to call is chosen adaptively, which may lead to using different operations in different schedules. For instance, the second operation used in a solo run might differ from the one called when processes interleave. We show that these three classes provide an exact characterization of the two-shot deterministic objects able to solve two-process consensus. To establish this, we first prove that any two-shot deterministic object solving two-process consensus must belong to one of the three classes. Then, we present matching consensus algorithms, one for each class.
Minh Tung Nguyen, Pierre Sutra
PODC1