From clarity to efficiency for distributed algorithms (2012)

by Y A Liu, S D Stoller, B Lin, M Gorbovitski
Venue:In Proceedings of the 27th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications