Algorithms for High-Performance State-Machine Replication.
PhD thesis, 2019
A Dual Digraph Approach for Leaderless Atomic Broadcast.
Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019
A Dual Digraph Approach for Leaderless Atomic Broadcast (Extended Version).
CoRR, 2017
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm.
CoRR, 2017
AllConcur: Leaderless Concurrent Atomic Broadcast.
Proceedings of the 26th International Symposium on High-Performance Parallel and Distributed Computing, 2017
AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version).
CoRR, 2016
DARE: High-Performance State Machine Replication on RDMA Networks.
Proceedings of the 24th International Symposium on High-Performance Parallel and Distributed Computing, 2015
Using automated performance modeling to find scalability bugs in complex codes.
Proceedings of the International Conference for High Performance Computing, 2013