Disciplined Inconsistency: language support for safely using weak consistency

sampa.cs.washington.edu