Hippodrome: Data Race Repair Using Static Analysis Summaries. - Andreea Costea; Abhishek Tiwari 001; Sigmund Chianasta; Kishore R; Abhik Roychoudhury; Ilya Sergey (ACM Trans. Softw. Eng. Methodol., 2023)