Contech: A Tool for Analyzing Parallel Programs

[1]  Charles E. Leiserson,et al.  The Cilk++ concurrency platform , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[2]  Aamer Jaleel,et al.  Analyzing Parallel Programs with PIN , 2010, Computer.

[3]  Christian Bienia,et al.  Benchmarking modern multiprocessors , 2011 .

[4]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.