ARCERI, Vincenzo
ARCERI, Vincenzo
Dipartimento di Scienze Matematiche, Fisiche e Informatiche
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
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
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
Improving dynamic code analysis by code abstraction
2021-01-01 Mastroeni, I.; Arceri, V.
Relational String Abstract Domains
2022-01-01 Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Ferrara, Pietro
SEA: String Executability Analysis by Abstract Interpretation
2017-01-01 Arceri, Vincenzo; Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Static analysis for dummies: Experiencing LiSA
2021-01-01 Ferrara, P.; Negrini, L.; Arceri, V.; Cortesi, A.
Static analysis for ECMAscript string manipulation programs
2020-01-01 Arceri, V.; Mastroeni, I.; Xu, S.
Static program analysis for string manipulation languages
2019-01-01 Arceri, V.; Mastroeni, I.
Twinning Automata and Regular Expressions for String Static Analysis
2021-01-01 Negrini, L.; Arceri, V.; Ferrara, P.; Cortesi, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
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 | |
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 | |
Improving dynamic code analysis by code abstraction | 1-gen-2021 | Mastroeni, I.; Arceri, V. | |
Relational String Abstract Domains | 1-gen-2022 | Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Ferrara, Pietro | |
SEA: String Executability Analysis by Abstract Interpretation | 1-gen-2017 | Arceri, Vincenzo; Dalla Preda, Mila; Giacobazzi, Roberto; Mastroeni, Isabella | |
Static analysis for dummies: Experiencing LiSA | 1-gen-2021 | Ferrara, P.; Negrini, L.; Arceri, V.; Cortesi, A. | |
Static analysis for ECMAscript string manipulation programs | 1-gen-2020 | Arceri, V.; Mastroeni, I.; Xu, S. | |
Static program analysis for string manipulation languages | 1-gen-2019 | Arceri, V.; Mastroeni, I. | |
Twinning Automata and Regular Expressions for String Static Analysis | 1-gen-2021 | Negrini, L.; Arceri, V.; Ferrara, P.; Cortesi, A. |