Commit cb18a846 authored by Viktor Vafeiadis's avatar Viktor Vafeiadis
Browse files

bib: lazy-list, elimination-stack

parent a8342b5f
......@@ -1863,6 +1863,19 @@
year = 1995
}
@InProceedings{ heller2005:lazy-list,
author = {Steve Heller and Maurice Herlihy and Victor Luchangco and Mark Moir and
{Scherer III}, William N. and Nir Shavit},
title = {A Lazy Concurrent List-Based Set Algorithm},
booktitle = {OPODIS 2005},
series = {LNCS},
volume = {3974},
pages = {3--16},
publisher = {Springer},
year = {2005},
doi = {10.1007/11795490\_3},
}
@InProceedings{ hendler2010:flat-combining,
title = {Flat combining and the synchronization-parallelism
tradeoff},
......@@ -1874,6 +1887,17 @@
optpublisher = {ACM}
}
@Article{ hendler2010:elimination,
author = {Danny Hendler and Nir Shavit and Lena Yerushalmi},
title = {A scalable lock-free stack algorithm},
journal = {J. Parallel Distributed Comput.},
volume = {70},
number = {1},
pages = {1--12},
year = {2010},
doi = {10.1016/j.jpdc.2009.08.011},
}
@InProceedings{ henzinger2013:aspect-linear,
title = {Aspect-Oriented Linearizability Proofs},
author = {Thomas A. Henzinger and Ali Sezgin and Viktor Vafeiadis},
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment