Ethan Buchman

According to our database, Ethan Buchman authored at least 10 papers between 2015 and 2022.

Collaborative distances:

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

2022

Robust and Fast Blockchain State Synchronization.

Enrique Fynn, Ethan Buchman, Zarko Milosevic, Robert Soulé, Fernando Pedone

Proceedings of the 26th International Conference on Principles of Distributed Systems, 2022

Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use.

Ethan Buchman, Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi, Josef Widder

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

The design, architecture and performance of the Tendermint Blockchain Network.

Daniel Cason, Enrique Fynn, Nenad Milosevic, Zarko Milosevic, Ethan Buchman, Fernando Pedone

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

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

2019

Byzantine Fault Tolerant State Machine Replication in Any Programming Language.

Ethan Buchman

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

2018

The latest gossip on BFT consensus.

Ethan Buchman, Jae Kwon, Zarko Milosevic

CoRR, 2018

2015

Understanding Minimum Probability Flow for RBMs Under Various Kinds of Dynamics.

Daniel Jiwoong Im, Ethan Buchman, Graham W. Taylor

Proceedings of the 3rd International Conference on Learning Representations, 2015

An Empirical Investigation of Minimum Probability Flow Learning Under Different Connectivity Patterns.

Daniel Jiwoong Im, Ethan Buchman, Graham W. Taylor

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2015