publication venue for An efficient parallel termination detection algorithm 2006 COMPILE-TIME ANALYSIS AND OPTIMIZATION OF EXPLICITLY PARALLEL PROGRAMS* 1997