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

Ensuring determinism is mandatory when writing blockchain software. When determinism is not met it can lead to serious implications in the blockchain network while compromising the software development, release, and patching processes. In the industrial context, it is widespread to adopt general-purpose languages, such as Go, for developing blockchain solutions. However, it is not surprising that non-deterministic behaviors may arise, being these programming languages not originally designed for blockchain purposes. In this paper, we present an experience report on ensuring determinism in blockchain software with GoLiSA, a static analyzer based on abstract interpretation for Go applications, in an industrial context. In particular, we ran GoLiSA on Commercio.network, a blockchain-based solution for exchanging electronic documents in a legally binding way. Thanks to GoLiSA, non-trivial bugs got detected and the analysis performed made it possible to identify the critical points where to apply the fixes.

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.