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

SPTDC 2019 (08.07.2019 — 12.07.2019)

img Recoverable algorithms for non-volatile memory

img The coordination power of distributed computing models

img The coordination power of distributed computing models (part 2)

img The Paxos algorithm or how to win a Turing Award

img Byzantine agreement

img Lower bounds in distributed computing

img Nonblocking data structures

img Byzantine fault-tolerance, state machine replication and blockchains

img Practical aspects of multicore programming

img Blockchain Topics: proof-of-work, smart contracts, and cross-chain swaps