M. Schröder: "Durability and Contention in Software Transactional Memory"; Supervisor: J. Knoop; Institut für Computersprachen, 2015; final examination: 2015-10-15.