Analyzing Memory Accesses for Performance and Correctness of Parallel Programs