Talks SPTDC 2020

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.

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.

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.

Discussion room

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.

Algorand: Consensus and smart contracts

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

School opening

School closing

Discussion room

Discussion room

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.

Discussion room

Discussion room

Discussion room