Publications, talks and presentations
Publications
2022
Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
L. Olivieri, F. Tagliaferro, V. Arceri, M. Ruaro, L. Negrini, A. Cortesi, P. Ferrara, F. Spoto, E. Tallin
Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022)
Conference - ACM
2021
Static analysis for dummies: experiencing LiSA
P. Ferrara, L. Negrini, V. Arceri, A. Cortesi
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)
Conference - ACM