Liuba Shrira — Implementation techniques for libraries of transactional concurrent data types (#2)