Storage Systems Seminar: Proving the Correctness of Lockless Data Structures for NVM

Lockless data structures can be used with non-volatile memory devices to provide consistency across power loss or system crash. In this talk, Yan Li will briefly introduce existing lockless data structures, like doubly linked list and trees, and how to prove their correctness using PlusCal.

Monday, March 13, 2017 at 1:15 PM


CRSS Contact:
Li, Yan

Last modified 24 May 2019