Back to Search Start Over

Static Analysis of Data Science Software

Authors :
Caterina Urban
Département d'informatique - ENS Paris (DI-ENS)
Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris)
Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)
Analyse Statique par Interprétation Abstraite (ANTIQUE)
Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Paris (ENS Paris)
Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Inria de Paris
Institut National de Recherche en Informatique et en Automatique (Inria)
Bor-Yuh Evan Chang
École normale supérieure - Paris (ENS-PSL)
Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)
Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL)
Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris
Département d'informatique de l'École normale supérieure (DI-ENS)
École normale supérieure - Paris (ENS Paris)
Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS Paris)
Source :
Static Analysis ISBN: 9783030323035, SAS, SAS 2019-26th Static Analysis Symposium, SAS 2019-26th Static Analysis Symposium, Oct 2019, Porto, Portugal. pp.17-23, ⟨10.1007/978-3-030-32304-2_2⟩
Publication Year :
2019
Publisher :
Springer International Publishing, 2019.

Abstract

International audience; 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.

Details

ISBN :
978-3-030-32303-5
ISBNs :
9783030323035
Database :
OpenAIRE
Journal :
Static Analysis ISBN: 9783030323035, SAS, SAS 2019-26th Static Analysis Symposium, SAS 2019-26th Static Analysis Symposium, Oct 2019, Porto, Portugal. pp.17-23, ⟨10.1007/978-3-030-32304-2_2⟩
Accession number :
edsair.doi.dedup.....dcb248a01924cb329bebee48a8721202