
In this lecture, Rodrigo will present the two main system and fault models that have been used for the last four decades.
Read moreThis short course presents a brief introduction to concepts and tools from modern cryptography.
Read moreIn 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 moreIn this talk, Jing Chen will introduce Algorand’s core technology, recent development and roadmap.
Read moreWe will present modern methods for formally specifying consistency models of distributed systems and reasoning about how their choice affects system correctness.
Read moreThis 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