M Pradel, M Huggler, TR Gross - Proceedings of the 2014 International …, 2014 - dl.acm.org
Developers of thread-safe classes struggle with two opposing goals. The class must be
correct, which requires synchronizing concurrent accesses, and the class should provide …