@conference {208829, author = {Ra{\'u}l Guti{\'e}rrez Segal{\'e}s}, title = {Debugging and Extending Distributed Coordination Systems}, year = {2015}, address = {Dublin}, publisher = {USENIX Association}, month = may }