research
∙
11/06/2021
Abstraction for Crash-Resilient Objects (Extended Version)
We study abstraction for crash-resilient concurrent objects using non-vo...
share
research
∙
10/26/2020
Taming x86-TSO Persistency (Extended Version)
We study the formal semantics of non-volatile memory in the x86-TSO arch...
research
∙
10/02/2020
Proving Highly-Concurrent Traversals Correct
Modern highly-concurrent search data structures, such as search trees, o...
research
∙
08/08/2019
Privatization-Safe Transactional Memories (Extended Version)
Transactional memory (TM) facilitates the development of concurrent appl...
research
∙
01/12/2018