Luca NEGRINI

Qualifica
Ricercatore
E-mail
luca.negrini@unive.it
956516@stud.unive.it
SSD
Informatica [INFO-01/A]
Sito web
www.unive.it/persone/luca.negrini (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Research Institute
Research Institute for Complexity

Negrini, Luca Whole-value analysis by abstract interpretation in FRONTIERS IN COMPUTER SCIENCE, vol. 7 (ISSN 2624-9898)
DOI 2026, Articolo su rivista - Scheda ARCA: 10278/5110268


Olivieri, Luca; Pasetto, Luca; Negrini, Luca; Ferrara, Pietro An Overview of Termination in the Ethereum Blockchain , Blockchain Technology and Emerging Applications, Springer Nature Switzerland, pp. 226-248, Convegno: 4th EAI International Conference on Blockchain Technology and Emerging Applications (ISBN 9783032123343; 9783032123350) (ISSN 1867-8211)
DOI 2026, Articolo in Atti di convegno - Scheda ARCA: 10278/5109729


Arceri, Vincenzo; Merenda, Saverio Mattia; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode in BLOCKCHAIN: RESEARCH AND APPLICATIONS, vol. - (ISSN 2096-7209)
DOI 2025, Articolo su rivista - Scheda ARCA: 10278/5106021


Luca Olivieri, David Beste, Luca Negrini, Lea Schonherr, Antonio Emanuele Cina, Pietro Ferrara Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric , 2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE), Institute of Electrical and Electronics Engineers Inc., Convegno: ISSRE
DOI 2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5106388


Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts , SAC'25: Proceedings of the Symposium on Applied Computing, ACM PRESS, pp. 329-337, Convegno: 40th ACM/SIGAPP Symposium On Applied Computing
DOI 2025, Articolo in Atti di convegno - Scheda ARCA: 10278/5091431