Powered by
11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022),
June 14, 2022,
San Diego, CA, USA
11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022)
Frontmatter
Papers
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Luca Olivieri
![ORCID logo](images/orcid.svg)
, Fabio Tagliaferro
![ORCID logo](images/orcid.svg)
, Vincenzo Arceri
![ORCID logo](images/orcid.svg)
, Marco Ruaro, Luca Negrini
![ORCID logo](images/orcid.svg)
, Agostino Cortesi
![ORCID logo](images/orcid.svg)
, Pietro Ferrara
![ORCID logo](images/orcid.svg)
, Fausto Spoto
![ORCID logo](images/orcid.svg)
, and Enrico Talin
(University of Verona, Italy; Corvallis, Italy; Commercio.network, Italy; University of Parma, Italy; Ca' Foscari University of Venice, Italy)
Publisher's Version
proc time: 1.35