The field of distributed computing is moving towards the development of more efficient and scalable protocols for achieving consensus and ensuring data consistency. Researchers are exploring new approaches, such as composable knowledge-based consensus protocols and protocol replicated data types, to improve the flexibility and composability of protocol design. Meanwhile, formal methods are being applied to verify the correctness and soundness of distributed systems, including the verification of soundness of DNN certifiers and the analysis of parameterized Petri nets. Another notable trend is the integration of functional programming concepts, such as monotonicity and streaming orders, into parallel and distributed languages. Noteworthy papers in this area include 'Functional Meaning for Parallel Streaming' and 'PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types'.
Advances in Distributed Computing and Formal Methods
Sources
Functional Meaning for Parallel Streaming
Extending Data Spatial Semantics for Scale Agnostic Programming
An overview of the efficiency and censorship-resistance guarantees of widely-used consensus protocols
Improving Interoperability in Scientific Computing via MaRDI Open Interfaces
Home Spaces and Semiflows for the Analysis of Parameterized Petri Nets
BoxRL-NNV: Boxed Refinement of Latin Hypercube Samples for Neural Network Verification
Handling the Selection Monad (Full Version)
Automated Verification of Soundness of DNN Certifiers
A refined operational semantics for FreeCHR
From Sound Workflow Nets to LTL$_f$ Declarative Specifications by Casting Three Spells
PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types
CRDT Emulation, Simulation, and Representation Independence
BoolE: Exact Symbolic Reasoning via Boolean Equality Saturation
Symbolic Parallel Composition for Multi-language Protocol Verification