Ethan Buchman

11 papers A* 1B 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cycles Protocol: A Peer-to-Peer Electronic Clearing System.
CoRR
Ethan Buchman, Paolo Dini, Shoaib Ahmed, Andrew Miller, Tomaz Fleischman
2022 — conf
Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use.
DSN (Supplements)
Ethan Buchman, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi, Josef Widder
2022 B conf
Robust and Fast Blockchain State Synchronization.
OPODIS
Enrique Fynn, Ethan Buchman, Zarko Milosevic, Robert Soulé, Fernando Pedone
2021 B conf
The design, architecture and performance of the Tendermint Blockchain Network.
SRDS
Daniel Cason, Enrique Fynn, Nenad Milosevic, Zarko Milosevic, Ethan Buchman, Fernando Pedone
2020 J jnl
A Tendermint Light Client.
CoRR
Sean Braithwaite, Ethan Buchman, Ismail Khoffi, Igor Konnov, Zarko Milosevic, Romain Ruetschi, Josef Widder
2020 — conf
Formal Specification and Model Checking of the Tendermint Blockchain Synchronization Protocol (Short Paper).
FMBC@CAV
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2020 — conf
Tendermint Blockchain Synchronization: Formal Specification and Model Checking.
ISoLA (1)
Sean Braithwaite, Ethan Buchman, Igor Konnov, Zarko Milosevic, Ilina Stoilkovska, Josef Widder, Anca Zamfir
2019 A* conf
Byzantine Fault Tolerant State Machine Replication in Any Programming Language.
PODC
Ethan Buchman
2018 J jnl
The latest gossip on BFT consensus.
CoRR
Ethan Buchman, Jae Kwon, Zarko Milosevic
2015 — conf
An Empirical Investigation of Minimum Probability Flow Learning Under Different Connectivity Patterns.
ECML/PKDD (1)
Daniel Jiwoong Im, Ethan Buchman, Graham W. Taylor
2015 — conf
Understanding Minimum Probability Flow for RBMs Under Various Kinds of Dynamics.
ICLR (Workshop)
Daniel Jiwoong Im, Ethan Buchman, Graham W. Taylor