All publications
2023
-
L. Negrini, P. Ferrara, V. Arceri, A. Cortesi. LiSA: A Generic Framework for Multilanguage Static Analysis
static-analysis abstract-interpretation multilanguage-analysis
Challenges of Software Verification, Intelligent Systems Reference Library (CSV 2023)
Book chapter - 22 July 2023 -
• PDF available
-
L. Olivieri, V. Arceri, L. Negrini, F. Tagliaferro, P. Ferrara, A. Cortesi, F. Spoto. Information Flow Analysis for Detecting Non-Determinism in Blockchain
blockchain static-analysis abstract-interpretation
Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Conference paper - 11 July 2023 - Seattle, Washington, USA
• PDF available
-
L. Negrini, G. Shabadi, C. Urban. Static Analysis of Data Transformations in Jupyter Notebooks
data-science static-analysis abstract-interpretation jupyter-notebooks
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2023)
Workshop paper - 17 June 2023 - Orlando, FL, USA & online
• PDF available
-
L. Olivieri, T. Jensen, L. Negrini, F. Spoto. MichelsonLiSA: A Static Analyzer for Tezos
blockchain static-analysis abstract-interpretation
2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (BRAIN 2023)
Workshop paper - 13 March 2023 - Atlanta, GA, USA
• PDF available
2022
-
L. Olivieri, F. Tagliaferro, V. Arceri, M. Ruaro, L. Negrini, A. Cortesi, P. Ferrara, F. Spoto, E. Tallin. Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
blockchain static-analysis abstract-interpretation
Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2022)
Workshop paper - 14 June 2022 - San Diego, CA, USA & online
• PDF available
2021
-
P. Ferrara, L. Negrini, V. Arceri, A. Cortesi. Static analysis for dummies: experiencing LiSA
dataflow-analysis static-analysis abstract-interpretation
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2021)
Workshop paper - 22 June 2021 - San Diego, CA, USA & online
• PDF available
-
L. Negrini, V. Arceri, P. Ferrara, A. Cortesi. Twinning Automata and Regular Expressions for String Static Analysis
string-analysis static-analysis abstract-interpretation
22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2021)
Conference paper - 18 January 2021 - Online conference
• PDF available
2020
-
P. Ferrara, L. Negrini. SARL: OO Framework Specification for Static Analysis
library-models software-frameworks static-analysis
12th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2020)
Conference paper - 20 July 2020 - Online conference
• PDF available