Sean Braithwaite

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 6

Top Topics

Deterministic Finite Automaton

Transition Systems

Formal Specification

Temporal Properties

Top Venues

Computer Communication Review

Publications

Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder
A Tendermint Light Client. CoRR (2020)
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
Tendermint Blockchain Synchronization: Formal Specification and Model Checking. ISoLA (1) (2020)
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper). FMBC@CAV (2020)
Waleed Reda, Marco Canini, P. Lalith Suresh, Dejan Kostic, Sean Braithwaite
Rein: Taming Tail Latency in Key-Value Stores via Multiget Scheduling. EuroSys (2017)
Waleed Reda, P. Lalith Suresh, Marco Canini, Sean Braithwaite
BRB: BetteR Batch Scheduling to Reduce Tail Latencies in Cloud Data Stores. SIGCOMM (2015)
Waleed Reda, P. Lalith Suresh, Marco Canini, Sean Braithwaite
BRB: BetteR Batch Scheduling to Reduce Tail Latencies in Cloud Data Stores. Computer Communication Review (2015)