7 September 2022

Our paper on “Implementing and Verifying Release-Acquire Transactional Memory in C11” has been accepted to OOPSLA 2022!

A preprint of the paper can be found here.