Leroy: Library Learning for Imperative Programming Languages - Bellur, Abhiram (arXiv.org)