Towards a High Level Linter for Data ScienceFull Paper
Due to its interdisciplinary nature, the development of data science code is subject to a wide range of potential mistakes that can easily compromise the final results. Several tools have been proposed that can help the data scientist in identifying the most common, low level programming issues. We discuss the steps needed to implement a tool that is rather meant to focus on higher level errors that are specific of the data science pipeline. To this end, we propose a static analysis assigning ad hoc abstract datatypes to the program variables, which are then checked for consistency when calling functions defined in data science libraries. By adopting a descriptive (rather than prescriptive) abstract type system, we obtain a linter tool reporting data science related code smells. While being still work in progress, the current prototype is able to identify and report the code smells contained in several examples of questionable data science code.
Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | NSAD: Session 1NSAD at Pacific B Chair(s): Vincenzo Arceri University of Parma, Italy, Michele Pasqua University of Verona | ||
09:00 5m | Opening NSAD | ||
09:05 55mKeynote | Abstract Domains for Machine Learning VerificationKeynote NSAD Caterina Urban Inria - École Normale Supérieure DOI | ||
10:00 30mFull-paper | Towards a High Level Linter for Data ScienceFull Paper NSAD Greta Dolcetti Ca’ Foscari University of Venice, Agostino Cortesi Ca’ Foscari University of Venice, Caterina Urban Inria - École Normale Supérieure, Enea Zaffanella University of Parma DOI |