C

cilkrecord

A project to record and replay lock acquisitions in Cilk programs. (We can change the name later.)