Talks SPTDC 2020

Prasad Jayanti

Dartmouth

Day 2 / 15:30  / Track 1 / EN /

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.

Read more

Michael Scott

University of Rochester

Day 1 / 14:30  / Track 1 / EN /

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.

Read more

Christian Cachin

University of Bern

Day 2 / 10:30  / Track 1 / EN /

Cryptographic tools for distributed computing

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

Read more

Idit Keidar

Technion

Day 3 / 15:30  / Track 1 / EN /

Foundations of distributed storage

Idit will talk about distributed storage.

Read more

Alexey Gotsman

IMDEA

Day 1 / 12:30  / Track 1 / EN /

Reasoning about data consistency in distributed systems (part 2)

TBD

Read more

Michael Scott

University of Rochester

Day 1 / 16:30  / Track 1 / EN /

Programming for persistent memory (part 2)

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

Jing Chen

Algorand

Day 4 / 15:30  / Track 1 / EN /

Algorand: A secure, scalable and decentralized blockchain

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

Read more

Alexey Gotsman

IMDEA

Day 1 / 10:30  / Track 1 / EN /

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.

Read more

Rodrigo Miragaia Rodrigues

IST

Day 4 / 10:30  / Track 1 / EN /

Consistency 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 Bern

Day 2 / 12:30  / Track 1 / EN /

Cryptographic tools for distributed computing (part 2)

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

Read more