Ethan Buchman

According to our database1, Ethan Buchman authored at least 8 papers between 2015 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
The design, architecture and performance of the Tendermint Blockchain Network.
Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

2020
A Tendermint Light Client.
CoRR, 2020

Tendermint Blockchain Synchronization: Formal Specification and Model Checking.
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).
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019
Byzantine Fault Tolerant State Machine Replication in Any Programming Language.
Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

2018
The latest gossip on BFT consensus.
CoRR, 2018

2015
Understanding Minimum Probability Flow for RBMs Under Various Kinds of Dynamics.
Proceedings of the 3rd International Conference on Learning Representations, 2015

An Empirical Investigation of Minimum Probability Flow Learning Under Different Connectivity Patterns.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2015


  Loading...