Tue 14 Jun 2022 13:30 - 14:30 at Boardroom - Keynote 2 + Papers Chair(s): Laure Gonnord, Laura Titolo
Wed 15 Jun 2022 01:30 - 02:30 at Boardroom - Keynote 2 + Papers Chair(s): Laure Gonnord, Laura Titolo

Big data analytics has revolutionized the world of software development in the past decade. Every day, data scientists write computer programs to clean, manipulate, and visualize data, in order to help us make data-driven decisions. As we rely more and more on data analytics software, we become increasingly vulnerable to programming or technical mistakes. Mistakes that do not cause software failures can have serious consequences, since they give no indication that something went wrong. A simple technical mistake made during data processing caused nearly 16,000 cases of Covid-19 between September 25th and October 2nd, 2020 to go unreported from official figures in the UK. As a consequence, Public Health England was unable to send out the relevant contact-tracing alerts. Mistakes in safety-critical applications can be deadly. In this talk, I will present ongoing work to develop an abstract interpretation-based static analysis framework for data scientists. In particular, I will focus on an analysis that infers necessary conditions on the structure and values of the data read by a data analytics program. The analysis builds on a family of underlying abstract domains, extended to indirectly reason about the input data rather than simply reasoning about the program variables. The choice of these abstract domains is a parameter of the analysis. We describe various instances built from existing abstract domains. We then demonstrate the potential of the approach on a number of representative examples and discuss ongoing efforts to target data analytics using Jupyter notebooks.

Tue 14 Jun

Displayed time zone: Pacific Time (US & Canada) change

13:30 - 15:00
Keynote 2 + PapersSOAP at Boardroom +12h
Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Laura Titolo NIA/NASA LaRC
13:30
60m
Keynote
Static Analysis for Data Scientists
SOAP
K: Caterina Urban Inria & École Normale Supérieure | Université PSL
14:30
25m
Talk
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
SOAP
P: Luca Olivieri University of Verona, Corvallis S.r.l., Fabio Tagliaferro University of Verona, Commercio.network S.p.A., Vincenzo Arceri University of Parma, Italy, Marco Ruaro Commercio.network S.p.A., Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Agostino Cortesi Università Ca' Foscari Venezia, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Fausto Spoto U. Verona, Enrico Talin Commercio.network S.p.A.

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

01:30 - 03:00
Keynote 2 + PapersSOAP at Boardroom
Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Laura Titolo NIA/NASA LaRC
01:30
60m
Keynote
Static Analysis for Data Scientists
SOAP
K: Caterina Urban Inria & École Normale Supérieure | Université PSL
02:30
25m
Talk
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
SOAP
P: Luca Olivieri University of Verona, Corvallis S.r.l., Fabio Tagliaferro University of Verona, Commercio.network S.p.A., Vincenzo Arceri University of Parma, Italy, Marco Ruaro Commercio.network S.p.A., Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Agostino Cortesi Università Ca' Foscari Venezia, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Fausto Spoto U. Verona, Enrico Talin Commercio.network S.p.A.