956 citations · 1.5k across the 16 of their papers we have counts for
17 papers
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm
Marius Poke, Colin W. Glass
Agreement plays a central role in distributed systems working on a common task. The increasing size of modern distributed systems makes them more susceptible to single component fa…
A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version)
Marius Poke, Colin W. Glass
Many distributed systems work on a common shared state; in such systems, distributed agreement is necessary for consistency. With an increasing number of servers, these systems bec…
AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version)
Marius Poke, Torsten Hoefler, Colin W. Glass
Many distributed systems require coordination between the components involved. With the steady growth of such systems, the probability of failures increases, which necessitates sca…
Performance Evaluation of Unified Parallel C for Molecular Dynamics
Kamran Idrees, Christoph Niethammer, Aniello Esposito +1
Partitioned Global Address Space (PGAS) integrates the concepts of shared memory programming and the control of data distribution and locality provided by message passing into a si…
Optimized Polynomial Evaluation with Semantic Annotations
Daniel Rubio Bonilla, Colin W. Glass, Jan Kuper
In this paper we discuss how semantic annotations can be used to introduce mathematical algorithmic information of the underlying imperative code to enable compilers to produce cod…
Effective use of the PGAS Paradigm: Driving Transformations and Self-Adaptive Behavior in DASH-Applications
Kamran Idrees, Tobias Fuchs, Colin W. Glass
DASH is a library of distributed data structures and algorithms designed for running the applications on modern HPC architectures, composed of hierarchical network interconnections…