Memory Model Sensitive Analysis of Concurrent Data TypesSebastian Burckhardt8 August 2007AbstractConcurrency libraries can facilitate the development of multi-threaded programs by providing concurrent implementations of familiar data types such as queues and sets.