 Reasoning about data consistency in distributed systems
|
Discussion room |
 Programming for persistent memory
|
 Cryptographic tools for distributed computing
|
 A recoverable lock that meets the MCS gold-standard
|
 Foundations of distributed storage
|
 From crash to Byzantine fault tolerance, and beyond
|
 Algorand: Consensus and smart contracts
|
