Marius Poke
Marius Poke
Agreement Solutions
Verified email at agreementsolutions.com
Title
Cited by
Cited by
Year
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
1342013
Dare: High-performance state machine replication on rdma networks
M Poke, T Hoefler
Proceedings of the 24th International Symposium on High-Performance Parallel …, 2015
1092015
Allconcur: Leaderless concurrent atomic broadcast
M Poke, T Hoefler, CW Glass
Proceedings of the 26th International Symposium on High-Performance Parallel …, 2017
192017
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm
M Poke, CW Glass
arXiv preprint arXiv:1708.04863, 2017
32017
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 (Extended Version)
M Poke, CW Glass
arXiv preprint arXiv:1708.08309, 2017
22017
A Dual Digraph Approach for Leaderless Atomic Broadcast
M Poke, CW Glass
2019 38th Symposium on Reliable Distributed Systems (SRDS), 203-20317, 2019
2019
Algorithms for High-Performance State-Machine Replication
M Poke
2019
The system can't perform the operation now. Try again later.
Articles 1–8