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 | 177 | 2013 |
Dare: High-performance state machine replication on rdma networks M Poke, T Hoefler Proceedings of the 24th International Symposium on High-Performance Parallel …, 2015 | 176 | 2015 |
Allconcur: Leaderless concurrent atomic broadcast M Poke, T Hoefler, CW Glass Proceedings of the 26th International Symposium on High-Performance Parallel …, 2017 | 28 | 2017 |
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm M Poke, CW Glass arXiv preprint arXiv:1708.04863, 2017 | 4 | 2017 |
Allconcur: Leaderless concurrent atomic broadcast (extended version) M Poke, T Hoefler, CW Glass arXiv preprint arXiv:1608.05866, 2016 | 3 | 2016 |
A Dual Digraph Approach for Leaderless Atomic Broadcast M Poke, CW Glass 2019 38th Symposium on Reliable Distributed Systems (SRDS), 203-20317, 2019 | 2 | 2019 |
A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version) M Poke, CW Glass arXiv preprint arXiv:1708.08309, 2017 | 2 | 2017 |
Algorithms for High-Performance State-Machine Replication M Poke Universitätsbibliothek der HSU/UniBwH, 2019 | | 2019 |