Iulian Neamtiu Michael W. Hicks Safe and timely updates to multi-threaded programs. 13-24 2009 PLDI http://doi.acm.org/10.1145/1542476.1542479 conf/pldi/2009 db/conf/pldi/pldi2009.html#NeamtiuH09