A compiler and static analysis of task parallel C programs.