Luca Negrini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
9
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution). | Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara |
| 2025 | ISSRE | Code Generation of Smart Contracts with LLMs: A Case Study on Hyperledger Fabric. | Luca Olivieri, David Beste, Luca Negrini, Lea Schnherr, Antonio Emanuele Cin, Pietro Ferrara |
| 2025 | SAC | Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi |
| 2025 | SAC | Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2024 | FTfJP | Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. | Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella |
| 2024 | FTfJP | Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA. | Giacomo Zanatta, Pietro Ferrara, Teodors Lisovenko, Luca Negrini, Gianluca Caiazza, Ruffin White |
| 2024 | IROS | Automating ROS2 Security Policies Extraction through Static Analysis. | Giacomo Zanatta, Gianluca Caiazza, Pietro Ferrara, Luca Negrini, Ruffin White |
| 2023 | ECOOP | Information Flow Analysis for Detecting Non-Determinism in Blockchain. | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto |
| 2023 | PERCOM | MichelsonLiSA: A Static Analyzer for Tezos. | Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto |
| 2023 | PLDI | Static Analysis of Data Transformations in Jupyter Notebooks. | Luca Negrini, Guruprerana Shabadi, Caterina Urban |
| 2022 | PLDI | 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 |
| 2021 | PLDI | Static analysis for dummies: experiencing LiSA. | Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi |
| 2021 | VMCAI | Twinning Automata and Regular Expressions for String Static Analysis. | Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi |