Cover Image

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Haas, Julian, Mogk, Ragnar, Bieniusa, Annette, Mezini, Mira
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Distributed, Parallel, and Cluster Computing
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Distributed Locking as a Data Type
by: Haas, Julian, et al.
Published: (2024)

A Datalog Framework for Conflict-Free Replicated Data Types
by: Yanakieva, Elena, et al.
Published: (2026)

Sal: Multi-modal Verification of Replicated Data Types
by: Ramesh, Pranav, et al.
Published: (2026)

LoRe: A Programming Model for Verifiably Safe Local-First Software
by: Haas, Julian, et al.
Published: (2023)

Coordination-free Collaborative Replication based on Operational Transformation
by: Takeichi, Masato
Published: (2024)

PartIR: Composing SPMD Partitioning Strategies for Machine Learning
by: Alabed, Sami, et al.
Published: (2024)

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

Model Checking and Synthesis for Optimal Use of Knowledge in Consensus Protocols
by: Alpturer, Kaya, et al.
Published: (2025)

Verifying Properties of Index Arrays in a Purely-Functional Data-Parallel Language
by: Hinnerskov, Nikolaj Hey, et al.
Published: (2025)

Approaches to Conflict-free Replicated Data Types
by: Almeida, Paulo Sérgio
Published: (2023)

Publish on Ping: A Better Way to Publish Reservations in Memory Reclamation for Concurrent Data Structures
by: Singh, Ajay, et al.
Published: (2025)

VeriFx: Correct Replicated Data Types for the Masses
by: De Porre, Kevin, et al.
Published: (2022)

TileLoom: Automatic Dataflow Planning for Tile-Based Languages on Spatial Dataflow Accelerators
by: Li, Wei, et al.
Published: (2025)

Type-Based Enforcement of Non-Interference for Choreographic Programming
by: Bertoni, Marco, et al.
Published: (2026)

Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime
by: M, Abdulla
Published: (2025)

Reliable Replication Protocols on SmartNICs
by: Katebzadeh, M. R. Siavash, et al.
Published: (2025)

Wait-free Replicated Data Types and Fair Reconciliation
by: Kuznetsov, Petr, et al.
Published: (2025)

Multi-Relational Algebra for Multi-Granular Data Analytics
by: Wu, Xi, et al.
Published: (2023)

Verifying Randomized Consensus Protocols with Common Coins
by: Gao, Song, et al.
Published: (2024)

Timetide: A programming model for logically synchronous distributed systems
by: Kenwright, Logan, et al.
Published: (2025)

MCFuser: High-Performance and Rapid Fusion of Memory-Bound Compute-Intensive Operators
by: Zhang, Zheng, et al.
Published: (2025)

An MLIR pipeline for offloading Fortran to FPGAs via OpenMP
by: Rodriguez-Canal, Gabriel, et al.
Published: (2025)

Choreographies as Macros
by: Bohosian, Alexander, et al.
Published: (2025)

On the Duality of Task and Actor Programming Models
by: Yadav, Rohan, et al.
Published: (2025)

Introducing Support for Move Operations in Melda CRDT
by: Brocco, Amos
Published: (2025)

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

Mapple: A Domain-Specific Language for Mapping Distributed Programs
by: Wei, Anjiang, et al.
Published: (2025)

Advances in Semantic Patching for HPC-oriented Refactorings with Coccinelle
by: Martone, Michele, et al.
Published: (2025)

NPB-Rust: NAS Parallel Benchmarks in Rust
by: Martins, Eduardo M., et al.
Published: (2025)

Stream programs are monoid homomorphisms with state
by: Hou, Tyler, et al.
Published: (2025)

KPerfIR: Towards an Open and Compiler-centric Ecosystem for GPU Kernel Performance Tooling on Modern AI Workloads
by: Guan, Yue, et al.
Published: (2025)

Hydra: Virtualized Multi-Language Runtime for High-Density Serverless Platforms
by: Ivanenko, Serhii, et al.
Published: (2022)

Assessing Opportunities of SYCL for Biological Sequence Alignment on GPU-based Systems
by: Costanzo, Manuel, et al.
Published: (2022)

Flo: a Semantic Foundation for Progressive Stream Processing
by: Laddad, Shadaj, et al.
Published: (2024)

OMP4Py: a pure Python implementation of OpenMP
by: Piñeiro, César, et al.
Published: (2024)

Evaluating SYCL as a Unified Programming Model for Heterogeneous Systems
by: Marowka, Ami
Published: (2026)

Suki: Choreographed Distributed Dataflow in Rust
by: Laddad, Shadaj, et al.
Published: (2024)

Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications
by: De Palma, Giuseppe, et al.
Published: (2024)

GuStL - An Experimental Guarded States Language
by: Schirmer, Oskar
Published: (2016)

Detrimental task execution patterns in mainstream OpenMP runtimes
by: Tuft, Adam S., et al.
Published: (2024)