Mon 18 Jun 2018 09:30 - 10:00 at Columbus Ballroom A - Program Analysis

Machine learning has transformed domains like vision and translation, and is now increasingly used in science. The correctness of such code is vital. In most programming domains, preventing and catching programming errors is aided by supportive tooling. Python is popular for machine learning, in part because of its wealth of machine learning libraries, and is felt to make development faster, however it supports less error detection at code creation time. This is especially problematic for machine learning: given the statistical nature of what is computed, code with subtle errors may run and produce results that look plausible but are in fact meaningless. This can vitiate scientific results. We report on Ariadne: applying a traditional static framework, WALA, to machine learning code that uses Tensorflow. We have created a static analysis infrastructure for Python, a type system for tracking tensors, one of machine learning’s core data structures, and a data flow based analysis to track correct usage of tensors.

Mon 18 Jun

mapl-2018-papers
09:30 - 10:30: MAPL 2018 - Program Analysis at Columbus Ballroom A
mapl-2018-papers09:30 - 10:00
Talk
Julian DolbyIBM Thomas J. Watson Research Center, Avraham ShinnarIBM Research, Allison AllainIBM Research, Jenna ReinenIBM Research
mapl-2018-papers10:00 - 10:30
Talk
Hongfa XueGeorge Washington University, Guru VenkataramaniGeorge Washington University, Tian LanGeorge Washington University