Luca NEGRINI

Qualifica
Ricercatore
E-mail
luca.negrini@unive.it
956516@stud.unive.it
SSD
INFORMATICA [INF/01]
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

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2024 Articolo su rivista Negrini L.; Arceri V.; Cortesi A.; Ferrara P. Tarsis: An effective automata-based abstract domain for string analysis in JOURNAL OF SOFTWARE, vol. article in press (ISSN 2047-7481)
DOI - Scheda ARCA: 10278/5050041
2023 Articolo su libro Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino LiSA: A Generic Framework for Multilanguage Static Analysis , Challenges of Software Verification, Springer Nature, vol. 238, pp. 19-42 (ISBN 978-981-19-9600-9; 978-981-19-9601-6) (ISSN 1868-4394)
DOI - Scheda ARCA: 10278/5031340
2023 Articolo in Atti di convegno Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto Information Flow Analysis for Detecting Non-Determinism in Blockchain , Proceedings of the 37th European Conference on Object-Oriented Programming (ECOOP 2023), Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, vol. 263, Convegno: European Conference on Object-Oriented Programming (ECOOP)
DOI - Scheda ARCA: 10278/5020965
2023 Articolo in Atti di convegno Olivieri, Luca; Jensen, Thomas; Negrini, Luca; Spoto, Fausto MichelsonLiSA: A Static Analyzer for Tezos , 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops), Institute of Electrical and Electronical Engineers, pp. 80-85, Convegno: BRAIN 2023: 2023 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops) (ISBN 978-1-6654-5381-3)
DOI - Scheda ARCA: 10278/5026160
2023 Articolo in Atti di convegno Negrini, Luca; Shabadi, Guruprerana; Urban, Caterina Static Analysis of Data Transformations in Jupyter Notebooks , SOAP 2023: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 8-13, Convegno: The 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9798400701702)
DOI - Scheda ARCA: 10278/5026140
2022 Articolo in Atti di convegno Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico Ensuring determinism in blockchain software with GoLiSA: an industrial experience report , SOAP 2022: Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 23-29, Convegno: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450392747)
DOI - Scheda ARCA: 10278/5004420
2021 Articolo in Atti di convegno Ferrara, Pietro; Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino Static analysis for dummies: experiencing LiSA , SOAP 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Association for Computing Machinery, pp. 1-6, Convegno: 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (ISBN 9781450384681)
DOI - Scheda ARCA: 10278/3741476
2021 Articolo in Atti di convegno Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino Twinning Automata and Regular Expressions for String Static Analysis , Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Springer, vol. 12597, pp. 267-290, Convegno: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (ISBN 978-3-030-67066-5; 978-3-030-67067-2)
DOI - Scheda ARCA: 10278/3736434
2020 Articolo in Atti di convegno Ferrara P.; Negrini L. SARL: OO Framework Specification for Static Analysis , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, vol. 12549, pp. 3-20, Convegno: 12th International Conference on Verified Software, VSTTE 2020, and 13th International Workshop on Numerical Software Verification, NSV 2020, 2020 (ISBN 978-3-030-63617-3; 978-3-030-63618-0) (ISSN 0302-9743)
DOI - Scheda ARCA: 10278/3738620