Luca Negrini

30 papers A 3B 1C 1Misc 2Journal 9Unranked 12
YearRankTypeTitle / Venue / Authors
2026 — conf
JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution).
TACAS (2)
Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara
2026 J jnl
Whole-value analysis by abstract interpretation.
Frontiers Comput. Sci.
Luca Negrini
2025 — conf
An Overview of Termination in the Ethereum Blockchain.
BlockTEA
Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
2025 A conf
Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric.
ISSRE
Luca Olivieri, David Beste, Luca Negrini, Lea Schönherr, Antonio Emanuele Cinà, Pietro Ferrara
2025 J jnl
Design and Implementation of Static Analyses for Tezos Smart Contracts.
Distributed Ledger Technol. Res. Pract.
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas P. Jensen, Fausto Spoto
2025 Misc conf
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts.
SAC
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2025 — conf
Don't Panic: Error Handling Patterns in Go Smart Contracts and Blockchain Software.
BRAINS
Luca Olivieri, Luca Negrini
2025 — ed.
Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2025, Seoul, Republic of Korea, 16 June 2025
SOAP
Kihong Heo, Luca Negrini
2025 Misc conf
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts.
SAC
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2024 A conf
Automating ROS2 Security Policies Extraction through Static Analysis.
IROS
Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White
2024 J jnl
Challenges of software verification.
Int. J. Softw. Tools Technol. Transf.
Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara
2024 J jnl
Detection of Phantom Reads in Hyperledger Fabric.
IEEE Access
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
2024 C conf
European Union Data Act and Blockchain Technology: Challenges and New Directions.
DLT
Luca Olivieri, Luca Pasetto, Luca Negrini, Pietro Ferrara
2024 J jnl
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.
IEEE Access
Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi
2024 J jnl
Inference of access policies through static analysis.
Int. J. Softw. Tools Technol. Transf.
Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini
2024 — conf
Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA.
FTfJP@ECOOP
Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White
2024 — conf
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables.
NSAD@SAS
Luca Negrini, Sofia Presotto, Pietro Ferrara, Enea Zaffanella, Agostino Cortesi
2024 J jnl
Tarsis: An effective automata-based abstract domain for string analysis.
J. Softw. Evol. Process.
Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
2024 — conf
Teaching Through Practice: Advanced Static Analysis with LiSA.
FMTea
Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara
2024 — conf
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs.
FTfJP@ECOOP
Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella
2023 J jnl
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).
Dagstuhl Artifacts Ser.
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023 A conf
Information Flow Analysis for Detecting Non-Determinism in Blockchain.
ECOOP
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023 — ch.
LiSA: A Generic Framework for Multilanguage Static Analysis.
Challenges of Software Verification
Luca Negrini, Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi
2023 — conf
MichelsonLiSA: A Static Analyzer for Tezos.
PerCom Workshops
Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto
2023 — conf
Static Analysis of Data Transformations in Jupyter Notebooks.
SOAP@PLDI
Luca Negrini, Guruprerana Shabadi, Caterina Urban
2022 — conf
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.
SOAP@PLDI
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
2021 — conf
Static analysis for dummies: experiencing LiSA.
SOAP@PLDI
Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi
2021 B conf
Twinning Automata and Regular Expressions for String Static Analysis.
VMCAI
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2020 — conf
SARL: OO Framework Specification for Static Analysis.
VSTTE
Pietro Ferrara, Luca Negrini
2020 J jnl
Twinning automata and regular expressions for string static analysis.
CoRR
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi