The paper can be downloaded from here.
Category:
Implementing and Verifying Release-Acquire Transactional Memory (Extended Version)
October 25th, 2022 by sadeghVerifying C11-Style Weak Memory Libraries via Refinement
September 30th, 2021 by sadeghThe paper can be downloaded from here.
Integrating Owicki-Gries for C11-Style Memory Models into Isabelle/HOL
April 6th, 2020 by sadeghThe paper can be downloaded from here.