Log-free concurrent data structuresTudor DavidAleksandar Dragojevićet al.2018USENIX ATC 2018Conference paper