Automated Performance And Correctness Debugging For Big Data Analytics