SeDaNo

[…page under construction…]

Sedano

(the word “sedano” is Italian for “celery”)

The goal of the Safe Data Science Notebooks research project is…

Completed Projects

  • Ali El Husseini (École Normale Supérieure Paris-Saclay, France)
    Static Analysis by Abstract Interpretation for Jupyter Notebooks
    M2 Internship, École Normale Supérieure Paris-Saclay & École Normale Supérieure, France, 2022
  • Luca Negrini (PhD Student, Università Ca’ Foscari Venezia, Italy)
    Static Analysis by Abstract Interpretation for Jupyter Notebooks
    Research Internship, École Normale Supérieure, France, 2022
  • Guruprerana Shabadi (Bachelor Student, École Polytechnique, France)
    Static Analysis by Abstract Interpretation for Jupyter Notebooks
    L3 Internship, École Normale Supérieure, France, 2022

Publications

. An Abstract Interpretation-Based Data Leakage Static Analysis. In TASE, 2024.

PDF Project HAL

. Static Analysis of Data Transformations in Jupyter Notebooks. In SOAP, 2023.

PDF Project HAL ACM

. An Abstract Interpretation-Based Data Leakage Static Analysis. CoRR abs/2211.16073, 2022.

PDF Project arXiv