Talks SPTDC 2020

Title will be announced soon

TBD

From crash to Byzantine fault tolerance, and beyond

In this lecture, Rodrigo will present the two main system and fault models that have been used for the last four decades.

Cryptographic tools for distributed computing

This short course presents a brief introduction to concepts and tools from modern cryptography.

Foundations of distributed storage

Idit will talk about distributed storage.

School closing

A recoverable lock that meets the MCS gold-standard

In this course, Prasad will describe the ongoing research that has led to the first recoverable algorithm that meets the gold standard set by MCS.

Algorand: Consensus and smart contracts

In this talk, Jing Chen will introduce Algorand’s core technology, recent development and roadmap.

School opening

Doctoral workshop

TBD

Reasoning about data consistency in distributed systems

We will present modern methods for formally specifying consistency models of distributed systems and reasoning about how their choice affects system correctness.

Discussion room

Title will be announced soon

TBD

Discussion room

Programming for persistent memory

This class will explore a variety of topics in the rapidly evolving field of persistent memory, including hardware (memory and processor) foundations; formal correctness criteria (memory persistency, durable linearizability); persistent data structures; run-time systems for failure atomicity; dynamic memory allocation; and operating system support for failure recovery and for safe, user-level sharing.

Discussion room

Discussion room

Discussion room

Discussion room

Exercise session

TBD

Title will be announced soon (part 2)

TBD

Title will be announced soon (part 2)

TBD