Publications

Ariadne: Analysis for machine learning programs

• • Julian Dolby
  • Avraham Shinnar
  • et al.
• 2018
• MAPL/PLDI 2018