Hippodrome: Data Race Repair Using Static Analysis Summaries. - COSTEA, ANDREEA; TIWARI, ABHISHEK; CHIANASTA, SIGMUND; R., KISHORE; ROYCHOUDHURY, ABHIK; SERGEY, ILYA (ACM Transactions on Software Engineering & Methodology, 2023)