activity
20012026
most citedLinearizability: A Typo

8 citations · 32 across the 12 of their papers we have counts for

collaborators

16 papers

cs.DC2026

Adaptive Snapshots Require Visible Reads

Niv Sulimany, Tomer Cory, Erez Petrank

Snapshots are widely used to record the state of a running execution. Snapshots have been extensively studied in the literature, with the goal of improving performance and extendin…

cs.DC2026

Skiplists with Foresight: Skipping Cache Misses

Tomer Cory, Niv Sulimany, Erez Petrank

A skiplist is a fundamental data structure widely used in systems and applications for indexing data stores. In this work, we introduce Foresight, a cache-friendly skiplist optimiz…

cs.DC2025★ 1 cited

A Study of Synchronization Methods for Concurrent Size

Hen Kas-Sharir, Gal Sela, Erez Petrank

The size of collections, maps, and data structures in general, constitutes a fundamental property. An implementation of the size method is required in most programming environments…

cs.DC2024

Concurrent aggregate queries

Gal Sela, Erez Petrank

Concurrent data structures serve as fundamental building blocks for concurrent computing. Many concurrent counterparts have been designed for basic sequential mechanisms; however,…

cs.DC2022★ 1 cited

The ERA Theorem for Safe Memory Reclamation

Gali Sheffi, Erez Petrank

Safe memory reclamation (SMR) schemes for concurrent data structures offer trade-offs between three desirable properties: ease of integration, robustness, and applicability. In thi…

cs.DB2022

EEMARQ: Efficient Lock-Free Range Queries with Memory Reclamation

Gali Sheffi, Pedro Ramalhete, Erez Petrank

Multi-Version Concurrency Control (MVCC) is a common mechanism for achieving linearizable range queries in database systems and concurrent data-structures. The core idea is to keep…