Implement 'X meets Z' algorithm
Submitted by Jamey Sharp @jamey
Assigned to Jamey Sharp @jamey
Description
Either the algorithm from "X meets Z: Verifying correctness in the presence of POSIX Threads" ought to be implemented, or we ought to prove correct the algorithm we actually want.
Edited by Alan Coopersmith