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,
Fabio Tagliaferro,
Vincenzo Arceri, Marco Ruaro,
Luca Negrini,
Agostino Cortesi,
Pietro Ferrara,
Fausto Spoto, 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.71