Static Analysis of Data Science Software

Caterina Urban (1, 2)

1 DI-ENS - Département d'informatique - ENS Paris
2 ANTIQUE - Analyse Statique par Interprétation Abstraite

Data science software is playing an increasingly important role in every aspect of our daily lives and is even slowly creeping into mission critical scenarios, despite being often opaque and unpredictable. In this paper, we will discuss some key challenges and a number of research questions that we are currently addressing in developing static analysis methods and tools for data science software.

Domaines: Langage de programmation [cs.PL]; Logique en informatique [cs.LO]; Ordinateur et société [cs.CY]; Intelligence artificielle [cs.AI]; Réseau de neurones [cs.NE]

Caterina Urban. Static Analysis of Data Science Software. SAS 2019 - 26th Static Analysis Symposium, Oct 2019, Porto, Portugal. pp.17-23, ⟨10.1007/978-3-030-32304-2_2⟩. ⟨hal-02397699⟩