_id,doi,title 8725,10.4230/LIPIcs.DISC.2020.3,The splay-list: A distribution-adaptive concurrent skip-list