Αποστολή με SMS: Symbolic Analysis for Parallelizing Compilers