Automated Performance and Correctness Debugging for Big Data Analytics - Jia Shen Teoh (2022)