Hippo

Our paper on Hippodrome, a new tool for automated repair of concurrent data races, built on top of Infer Static Analyser, will appear at ACM Transactions on Software Engineering and Methodology. This is a joint work with Andreea Costea, Abhishek Tiwari, Sigmund Chianasta, Kishore R, and Abhik Roychoudhury.