Luca Negrini

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 12

Top Topics

Deterministic Finite Automata

Information Flow

Static Analysis

Top Venues

Publications

Sébastien Buchwalder, Pascal Faure, Luca Negrini, Anton Hromov, Martial Geiser, Filippo Piffaretti
Development of Multi-Mode Retinal Phototherapy Device. I2MTC (2024)
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
Detection of Phantom Reads in Hyperledger Fabric. IEEE Access 12 (2024)
Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
Tarsis: An effective automata-based abstract domain for string analysis. J. Softw. Evol. Process. 36 (8) (2024)
Luca Negrini, Guruprerana Shabadi, Caterina Urban
Static Analysis of Data Transformations in Jupyter Notebooks. SOAP@PLDI (2023)
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP (2023)
Luca Olivieri, Thomas P. Jensen, Luca Negrini, Fausto Spoto
MichelsonLiSA: A Static Analyzer for Tezos. PerCom Workshops (2023)
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI (2022)
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
Twinning Automata and Regular Expressions for String Static Analysis. VMCAI (2021)
Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi
Static analysis for dummies: experiencing LiSA. SOAP@PLDI (2021)
Pietro Ferrara, Luca Negrini
SARL: OO Framework Specification for Static Analysis. VSTTE (2020)
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
Twinning automata and regular expressions for string static analysis. CoRR (2020)