research
∙
07/30/2022
Implementing and Verifying Release-Acquire Transactional Memory (Extended Version)
Transactional memory (TM) is an intensively studied synchronisation para...
research
∙
08/16/2021
Verifying C11-Style Weak Memory Libraries via Refinement
Deductive verification of concurrent programs under weak memory has thus...
research
∙
12/28/2020
Verifying C11-Style Weak Memory Libraries
Deductive verification of concurrent programs under weak memory has thus...
research
∙
04/06/2020