We gratefully acknowledge support from
the Simons Foundation and member institutions.

Baptiste Roziere is qualified to endorse.

Leveraging Static Analysis for Bug Repair

Baptiste Roziere: Is registered as an author of this paper.
Can endorse for cs.AI, cs.CL, cs.CV, cs.LG, cs.PL, cs.SE. (why?)

Ruba Mutasim, Gabriel Synnaeve and David Pichardie are not registered as owners of this paper. (why?)