Email Record: Symbolic analysis for parallelizing compilers /