Marius Poke

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 6

Top Topics

Data Dissemination

Digital Television

Formal Specification

Top Venues

Helmut Schmidt University, Hamburg, Germany (PHD)

Education History

Helmut Schmidt University, Hamburg, Germany

PHD

Publications

Marius Poke, Colin W. Glass
A Dual Digraph Approach for Leaderless Atomic Broadcast. SRDS (2019)
Marius Poke, Torsten Hoefler, Colin W. Glass
AllConcur: Leaderless Concurrent Atomic Broadcast. HPDC (2017)
Marius Poke, Colin W. Glass
A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version). CoRR (2017)
Marius Poke, Colin W. Glass
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm. CoRR (2017)
Marius Poke, Torsten Hoefler, Colin W. Glass
AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version). CoRR (2016)
Marius Poke, Torsten Hoefler
DARE: High-Performance State Machine Replication on RDMA Networks. HPDC (2015)
Alexandru Calotoiu, Torsten Hoefler, Marius Poke, Felix Wolf
Using automated performance modeling to find scalability bugs in complex codes. SC (2013)