Ariadne: Analysis for machine learning programsJulian DolbyAvraham Shinnaret al.2018MAPL/PLDI 2018Conference paper