Vladimir Livshits - Cornell University

foreach field (object){forward(field); scanLocal(field);}} scanLocal (object): shape = get_shape(object); run(f(shape), object, ... They probably intended to use shape analysis as a check to see whether a program could be made parallel. If the structure was a DAG or cycle, then they could not parallelize because different threads might try to ... ................
................