Sean Braithwaite

According to our database, Sean Braithwaite authored at least 5 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Tendermint Light Client.

Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder

CoRR, 2020

Tendermint Blockchain Synchronization: Formal Specification and Model Checking.

Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).

Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2017

Rein: Taming Tail Latency in Key-Value Stores via Multiget Scheduling.

Waleed Reda, Marco Canini, P. Lalith Suresh, Dejan Kostic, Sean Braithwaite

Proceedings of the Twelfth European Conference on Computer Systems, 2017

2015

BRB: BetteR Batch Scheduling to Reduce Tail Latencies in Cloud Data Stores.

Waleed Reda, P. Lalith Suresh, Marco Canini, Sean Braithwaite

Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, 2015