This package defines a transformation that converts synchronization into fully-atomic operations. @author C. Scott Ananian (cananian@alumni.princeton.edu)