• Contech: A Tool for Analyzing Parallel Programs 

      Railing, Brian P.; Hein, Eric R.; Vassenko, Phillip; Conte, Thomas M. (Georgia Institute of Technology, 2013)
      The behavior and structure of a shared-memory parallel program can be characterized by a task graph that encodes the instructions, memory accesses, and dependencies of each piece of parallel work. Task graphs are not ...