Workshop: A. Khyzha — Language perspective on correctness of software transactional memory