Prasad Jayanti
DartmouthA 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.
Read moreTalks SPTDC 2020
Nir Shavit
MIT
Rodrigo Miragaia Rodrigues
ISTConsistency and isolation in storage and transactional systems
This lecture provides an overview of consistency, isolation, and the role of these concepts in modern storage systems.
Read more
Christian Cachin
University of BernCryptographic tools for distributed computing
This short course presents a brief introduction to concepts and tools from modern cryptography.
Read more
Idit Keidar
Technion
Alexey Gotsman
IMDEA
Jing Chen
AlgorandAlgorand: A secure, scalable and decentralized blockchain
In this talk, Jing Chen will introduce Algorand’s core technology, recent development and roadmap.
Read more
Marko Vukolic
IBM Research Zurich
Michael Scott
University of RochesterProgramming 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.
Read more