SPTDC 2020 (06.07.2020 — 09.07.2020)


img Reasoning about data consistency in distributed systems

img Discussion room

img Programming for persistent memory

img Cryptographic tools for distributed computing

img A recoverable lock that meets the MCS gold-standard

img Foundations of distributed storage

img From crash to Byzantine fault tolerance, and beyond

img Algorand: Consensus and smart contracts