BRB: BetteR Batch Scheduling to Reduce Tail Latencies in Cloud Data Stores. - Waleed Reda; P. Lalith Suresh; Marco Canini; Sean Braithwaite (SIGCOMM, 2015)

Rein: Taming Tail Latency in Key-Value Stores via Multiget Scheduling. - Waleed Reda; Marco Canini; P. Lalith Suresh; Dejan Kostic; Sean Braithwaite (EuroSys, 2017)

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). - Sean Braithwaite; Ethan Buchman; Igor Konnov 001; Zarko Milosevic 001; Ilina Stoilkovska; Josef Widder; Anca Zamfir (FMBC@CAV, 2020)

Tendermint Blockchain Synchronization: Formal Specification and Model Checking. - Sean Braithwaite; Ethan Buchman; Igor Konnov 001; Zarko Milosevic 001; Ilina Stoilkovska; Josef Widder; Anca Zamfir (ISoLA (1), 2020)

A Tendermint Light Client. - Sean Braithwaite; Ethan Buchman; Ismail Khoffi; Igor Konnov 001; Zarko Milosevic 001; Romain Ruetschi; Josef Widder (CoRR, 2020)