Follow
Marius Poke
Marius Poke
Informal Systems
Verified email at informal.systems
Title
Cited by
Cited by
Year
Dare: High-performance state machine replication on rdma networks
M Poke, T Hoefler
Proceedings of the 24th International Symposium on High-Performance Parallel …, 2015
1802015
Using automated performance modeling to find scalability bugs in complex codes
A Calotoiu, T Hoefler, M Poke, F Wolf
Proceedings of the International Conference on High Performance Computing …, 2013
1802013
AllConcur: Leaderless concurrent atomic broadcast
M Poke, T Hoefler, CW Glass
Proceedings of the 26th International Symposium on High-Performance Parallel …, 2017
292017
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm
M Poke, CW Glass
arXiv preprint arXiv:1708.04863, 2017
42017
Allconcur: Leaderless concurrent atomic broadcast (extended version)
M Poke, T Hoefler, CW Glass
arXiv preprint arXiv:1608.05866, 2016
32016
A dual digraph approach for leaderless atomic broadcast
M Poke, CW Glass
2019 38th Symposium on Reliable Distributed Systems (SRDS), 203-20317, 2019
22019
A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version)
M Poke, CW Glass
arXiv preprint arXiv:1708.08309, 2017
22017
Algorithms for High-Performance State-Machine Replication
M Poke
Universitätsbibliothek der HSU/UniBwH, 2019
2019
DARE
M Poke, T Hoefler
Proceedings of the 24th International Symposium on High-Performance Parallel …, 2015
2015
The system can't perform the operation now. Try again later.
Articles 1–9