Maya Arbel, Guy Golan-Gueta, Eshcar Hillel, Idit Keidar. Towards Automatic Lock Removal for Scalable Synchronization. In Yoram Moses, editor, Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Volume 9363 of Lecture Notes in Computer Science, pages 170-184, Springer, 2015. [doi]