The ART of practical synchronization. - Viktor Leis; Florian Scheibner; Alfons Kemper; Thomas Neumann 001 (DaMoN, 2016)