Gabriela F. Cretu-Ciocarlie Mihai Budiu Moisés Goldszmidt Hunting for Problems with Artemis. 2008 WASL http://www.usenix.org/events/wasl/tech/full_papers/cretu/cretu.pdf conf/osdi/2008wasl db/conf/osdi/wasl2008.html#Cretu-CiocarlieBG08