Using automated performance modeling to find scalability bugs in complex codes. - Alexandru Calotoiu; Torsten Hoefler; Marius Poke; Felix Wolf 001 (SC, 2013)

DARE: High-Performance State Machine Replication on RDMA Networks. - Marius Poke; Torsten Hoefler (HPDC, 2015)

AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version). - Marius Poke; Torsten Hoefler; Colin W. Glass (CoRR, 2016)

AllConcur: Leaderless Concurrent Atomic Broadcast. - Marius Poke; Torsten Hoefler; Colin W. Glass (HPDC, 2017)

Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm. - Marius Poke; Colin W. Glass (CoRR, 2017)

A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version). - Marius Poke; Colin W. Glass (CoRR, 2017)

A Dual Digraph Approach for Leaderless Atomic Broadcast. - Marius Poke; Colin W. Glass (SRDS, 2019)

Algorithms for High-Performance State-Machine Replication. - Marius Poke (2019)