Cover Image

Hyperproperty-Preserving Register Specifications (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shimon, Yoav Ben, Lahav, Ori, Shoham, Sharon
Format:	Preprint
Published:	2024
Subjects:	Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

What Cannot Be Implemented on Weak Memory?
by: Castañeda, Armando, et al.
Published: (2024)

uBFT: Microsecond-scale BFT using Disaggregated Memory [Extended Version]
by: Aguilera, Marcos K., et al.
Published: (2022)

Probabilistic Byzantine Fault Tolerance (Extended Version)
by: Avelãs, Diogo, et al.
Published: (2024)

Vertical Atomic Broadcast and Passive Replication (Extended Version)
by: Bravo, Manuel, et al.
Published: (2024)

DAG-based Consensus with Asymmetric Trust [Extended Version]
by: Amores-Sesar, Ignacio, et al.
Published: (2025)

Adjusted Objects: An Efficient and Principled Approach to Scalable Programming (Extended Version)
by: Kane, Boubacar, et al.
Published: (2025)

Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (Extended Version)
by: Ryabinin, Fedor, et al.
Published: (2025)

TEE is not a Healer: Rollback-Resistant Reliable Storage (Extended Version)
by: Keshavarzi, Sadegh, et al.
Published: (2025)

PULSE: Accelerating Distributed Pointer-Traversals on Disaggregated Memory (Extended Version)
by: Tang, Yupeng, et al.
Published: (2023)

A Programming Model for Disaggregated Memory over CXL
by: Assa, Gal, et al.
Published: (2024)

Communication Requirements for Linearizable Registers
by: Nataf, Raïssa, et al.
Published: (2026)

Proving Highly-Concurrent Traversals Correct
by: Feldman, Yotam M. Y., et al.
Published: (2020)

Tight Bounds on Channel Reliability via Generalized Quorum Systems (Extended Version)
by: Naser-Pastoriza, Alejandro, et al.
Published: (2025)

Undo and Redo Support for Replicated Registers
by: Stewen, Leo, et al.
Published: (2024)

Knowledge Connectivity Requirements for Solving BFT Consensus with Unknown Participants and Fault Threshold (Extended Version)
by: Heydari, Hasan, et al.
Published: (2024)

Ladon: High-Performance Multi-BFT Consensus via Dynamic Global Ordering (Extended Version)
by: Lyu, Hanzheng, et al.
Published: (2024)

Fully Adaptive Self-Stabilizing Transformer for LCL Problems
by: Bitton, Shimon, et al.
Published: (2021)

DEX: Scalable Range Indexing on Disaggregated Memory [Extended Version]
by: Lu, Baotong, et al.
Published: (2024)

Lion: Minimizing Distributed Transactions through Adaptive Replica Provision (Extended Version)
by: Zheng, Qiushi, et al.
Published: (2024)

Batch-Schedule-Execute: On Optimizing Concurrent Deterministic Scheduling for Blockchains (Extended Version)
by: Hay, Yaron, et al.
Published: (2024)

Fine-Grained Vectorized Merge Sorting on RISC-V: From Register to Cache
by: Zhang, Jin, et al.
Published: (2024)

Runtime Instrumentation for Reactive Components (Extended Version)
by: Aceto, Luca, et al.
Published: (2024)

Actor Capabilities for Message Ordering (Extended Version)
by: Gordon, Colin S.
Published: (2025)

Efficient Wait-Free Linearizable Implementations of Approximate Bounded Counters Using Read-Write Registers
by: Johnen, Colette, et al.
Published: (2024)

Orthrus: Accelerating Multi-BFT Consensus through Concurrent Partial Ordering of Transactions (Extended Version)
by: Lyu, Hanzheng, et al.
Published: (2024)

Concurrent Data Structures Made Easy (Extended Version)
by: Le, Callista, et al.
Published: (2024)

POPQC: Parallel Optimization for Quantum Circuits (Extended Version)
by: Liu, Pengyu, et al.
Published: (2025)

Generic Multicast (Extended Version)
by: Bolina, José Augusto, et al.
Published: (2024)

A Formal Framework for Predicting Distributed System Performance under Faults (Extended Version)
by: Zhou, Ziwei, et al.
Published: (2026)

Arma: Byzantine Fault Tolerant Consensus with Horizontal Scalability
by: Manevich, Yacov, et al.
Published: (2024)

Distributed Recoverable Sketches (Extended Version)
by: Cohen, Diana, et al.
Published: (2025)

Atlas: Hierarchical Partitioning for Quantum Circuit Simulation on GPUs (Extended Version)
by: Xu, Mingkuan, et al.
Published: (2024)

Data Version Management and Machine-Actionable Reproducibility for HPC
by: Knüpfer, Andreas, et al.
Published: (2025)

Extending JSON CRDTs with Move Operations
by: Da, Liangrun, et al.
Published: (2023)

Computational Power of Mobile Robots in Synchronous Environment: Discrete Version
by: Sharma, Avisek, et al.
Published: (2024)

Junctiond: Extending FaaS Runtimes with Kernel-Bypass
by: Saurez, Enrique, et al.
Published: (2024)

Keigo: Co-designing Log-Structured Merge Key-Value Stores with a Non-Volatile, Concurrency-aware Storage Hierarchy (Extended Version)
by: Adão, Rúben, et al.
Published: (2025)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
by: Kocal, Ali Rasim, et al.
Published: (2026)

Privacy-Preserving and Trustworthy Localization in an IoT Environment
by: Zocca, Guglielmo, et al.
Published: (2024)

Generalize Synchronization Mechanism: Specification, Properties, Limits
by: Chien, Chih-Wei, et al.
Published: (2023)