Padhi, Jain, Perelman, Polozov, Gulwani, Millstein, 2017. FlashProfile: A Framework for Synthesizing Data Profiles, in: .