Benyamin Bashari

dblp:295/3495 · DBLP profile ↗
← Back
4ranked-venue papers
4as first author
4since 2021 · last 2025
0000-0002-6984-9032ORCID · corroborated

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

Systems, architecture and hardware · 3 · 3 first-author · 3 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
2 papers
Distributed computing theory · 100%
Software engineering, system software, and programming languages
1 paper
Concurrent programming · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Distributed computing theory
shared memory
1.222023
Efficient Bounded Timestamping from Standard Synchronization Primitives · PODC 2023
An Efficient Adaptive Partial Snapshot Implementation · PODC 2021
Distributed computing theory › concurrent objects
concurrent data structures
0.712023
Efficient Bounded Timestamping from Standard Synchronization Primitives · PODC 2023
Distributed computing theory
timestamping
0.712023
Efficient Bounded Timestamping from Standard Synchronization Primitives · PODC 2023
Concurrent programming › synchronization
synchronization primitives
0.212023
Efficient Bounded Timestamping from Standard Synchronization Primitives · PODC 2023
YearPublicationVenuePosition
2025 Efficient bounded timestamping from standard synchronization primitives
Benyamin Bashari, Ali Jamadi, Philipp Woelfel
Distributed Comput.1
2024 A Fully Concurrent Adaptive Snapshot Object for RMWable Shared-Memory
Benyamin Bashari, David Yu Cheng Chan, Philipp Woelfel
DISC1
2023 Efficient Bounded Timestamping from Standard Synchronization Primitives
abstract
Bounded timestamps [10, 20] allow a temporal ordering of events in executions of concurrent algorithms. They are a fundamental and well studied building block used in many shared memory algorithms. A concurrent timestamp system keeps track of m timestamps, which is usually greater or equal to the number of processes in the system, n. A process may, at any point, obtain a new timestamp, and later determine a total order of all process's most recent timestamps. Known timestamp algorithms do not scale well in the number of processes. Getting a new timestamp takes at least a linear number of steps, and a lower bound by Israeli and Li [20] implies that each timestamp needs to be represented by at least Ω(m) bits.
Benyamin Bashari, Ali Jamadi, Philipp Woelfel
PODC1
2021 An Efficient Adaptive Partial Snapshot Implementation
abstract
The standard single-writer snapshot type allows processes to obtain a consistent snapshot of an array of n memory locations, each of which can be updated by one of n processes. In almost all algorithms, a \Scan operation returns a linearizable snapshot of the entire array. Under realistic assumptions, where hardware registers do not have the capacity to store many array entries, this inherently leads to a step complexity of Ω(n).
Benyamin Bashari, Philipp Woelfel
PODC1