ARCERI, Vincenzo
ARCERI, Vincenzo
Dipartimento di Scienze Matematiche, Fisiche e Informatiche
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features
2024-01-01 Boldini, G.; Diana, A.; Arceri, V.; Bonnici, V.; Bagnara, R.
A sound abstract interpreter for dynamic code
2020-01-01 Arceri, V.; Mastroeni, I.
Abstract Domains for Type Juggling
2017-01-01 Arceri, V.; Maffeis, S.
An abstract domain for objects in dynamic programming languages
2020-01-01 Arceri, V.; Pasqua, M.; Mastroeni, I.
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval
2021-01-01 Arceri, V.; Mastroeni, I.
BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data
2022-01-01 Bonnici, Vincenzo; Arceri, Vincenzo; Bertini, Flavio; Iotti, Eleonora; DAL PALU', Alessandro
BIOCHAIN: Towards a platform for securely sharing microbiological data
2023-01-01 Bonnici, V.; Arceri, V.; Diana, A.; Bertini, F.; Iotti, E.; Levante, A.; Bernini, V.; Neviani, E.; Dal Palu, A.
Challenges of Software Verification
2023-01-01 Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro; Olliaro, Martina
Challenges of software verification: the past, the present, the future
2024-01-01 Ferrara, P.; Arceri, V.; Cortesi, A.
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Completeness of string analysis for dynamic languages
2021-01-01 Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I.
Decoupling the Ascending and Descending Phases in Abstract Interpretation
2022-01-01 Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea
Design and Implementation of Static Analyses for Tezos Smart Contracts
2024-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
Detection of Phantom Reads in Hyperledger Fabric
2024-01-01 Olivieri, L.; Negrini, L.; Arceri, V.; Chachar, B.; Ferrara, P.; Cortesi, A.
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
2022-01-01 Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study
2024-01-01 Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino
Improving dynamic code analysis by code abstraction
2021-01-01 Mastroeni, I.; Arceri, V.
Information Flow Analysis for Detecting Non-Determinism in Blockchain
2023-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact)
2023-01-01 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto
Lifting String Analysis Domains
2023-01-01 Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Machine Learning Approach for Source Code Similarity via Graph-Focused Features | 1-gen-2024 | Boldini, G.; Diana, A.; Arceri, V.; Bonnici, V.; Bagnara, R. | |
| A sound abstract interpreter for dynamic code | 1-gen-2020 | Arceri, V.; Mastroeni, I. | |
| Abstract Domains for Type Juggling | 1-gen-2017 | Arceri, V.; Maffeis, S. | |
| An abstract domain for objects in dynamic programming languages | 1-gen-2020 | Arceri, V.; Pasqua, M.; Mastroeni, I. | |
| Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval | 1-gen-2021 | Arceri, V.; Mastroeni, I. | |
| BIOCHAIN-AI: a platform for securely sharing and analysing microbiological data | 1-gen-2022 | Bonnici, Vincenzo; Arceri, Vincenzo; Bertini, Flavio; Iotti, Eleonora; DAL PALU', Alessandro | |
| BIOCHAIN: Towards a platform for securely sharing microbiological data | 1-gen-2023 | Bonnici, V.; Arceri, V.; Diana, A.; Bertini, F.; Iotti, E.; Levante, A.; Bernini, V.; Neviani, E.; Dal Palu, A. | |
| Challenges of Software Verification | 1-gen-2023 | Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro; Olliaro, Martina | |
| Challenges of software verification: the past, the present, the future | 1-gen-2024 | Ferrara, P.; Arceri, V.; Cortesi, A. | |
| Completeness of Abstract Domains for String Analysis of JavaScript Programs | 1-gen-2019 | Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I. | |
| Completeness of string analysis for dynamic languages | 1-gen-2021 | Arceri, V.; Olliaro, M.; Cortesi, A.; Mastroeni, I. | |
| Decoupling the Ascending and Descending Phases in Abstract Interpretation | 1-gen-2022 | Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea | |
| Design and Implementation of Static Analyses for Tezos Smart Contracts | 1-gen-2024 | Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto | |
| Detection of Phantom Reads in Hyperledger Fabric | 1-gen-2024 | Olivieri, L.; Negrini, L.; Arceri, V.; Chachar, B.; Ferrara, P.; Cortesi, A. | |
| Ensuring determinism in blockchain software with GoLiSA: an industrial experience report | 1-gen-2022 | Olivieri, Luca; Tagliaferro, Fabio; Arceri, Vincenzo; Ruaro, Marco; Negrini, Luca; Cortesi, Agostino; Ferrara, Pietro; Spoto, Fausto; Talin, Enrico | |
| General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study | 1-gen-2024 | Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino | |
| Improving dynamic code analysis by code abstraction | 1-gen-2021 | Mastroeni, I.; Arceri, V. | |
| Information Flow Analysis for Detecting Non-Determinism in Blockchain | 1-gen-2023 | Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto | |
| Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact) | 1-gen-2023 | Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Tagliaferro, Fabio; Ferrara, Pietro; Cortesi, Agostino; Spoto, Fausto | |
| Lifting String Analysis Domains | 1-gen-2023 | Olliaro, Martina; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro |