Luca Negrini

According to our database, Luca Negrini authored at least 8 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Dagstuhl Artifacts Ser., 2023

Static Analysis of Data Transformations in Jupyter Notebooks.

Luca Negrini, Guruprerana Shabadi, Caterina Urban

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

MichelsonLiSA: A Static Analyzer for Tezos.

Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

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, Enrico Talin

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

2021

Twinning Automata and Regular Expressions for String Static Analysis.

Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Static analysis for dummies: experiencing LiSA.

Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi

Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021

2020

SARL: OO Framework Specification for Static Analysis.

Pietro Ferrara, Luca Negrini

Proceedings of the Software Verification - 12th International Conference, 2020