ARCERI, VINCENZO
ARCERI, VINCENZO
DIPARTIMENTO DI INFORMATICA
A Sound Abstract Interpreter for Dynamic Code
2020-01-01 Arceri, Vincenzo; Mastroeni, Isabella
Abstract Domains for Type Juggling
2017-01-01 Arceri, Vincenzo; Maffeis, Sergio
An abstract domain for objects in dynamic programming languages
2020-01-01 Arceri, Vincenzo; Pasqua, Michele; Mastroeni, Isabella
Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval
2021-01-01 Arceri, Vincenzo; Mastroeni, Isabella
Completeness of Abstract Domains for String Analysis of JavaScript Programs
2019-01-01 Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella
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
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
SEA: String Executability Analysis by Abstract Interpretation
2017-01-01 Arceri, Vincenzo; DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella
Static Analysis for ECMAScript String Manipulation Programs
2020-01-01 Arceri, Vincenzo; Mastroeni, Isabella; Xu, Sunyi
Static Program Analysis for String Manipulation Languages
2019-01-01 Arceri, Vincenzo; Mastroeni, Isabella
Taming Strings in Dynamic Languages - An Abstract Interpretation-based Static Analysis Approach
2020-01-01 Arceri, Vincenzo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Sound Abstract Interpreter for Dynamic Code | 1-gen-2020 | Arceri, Vincenzo; Mastroeni, Isabella | |
| Abstract Domains for Type Juggling | 1-gen-2017 | Arceri, Vincenzo; Maffeis, Sergio | |
| An abstract domain for objects in dynamic programming languages | 1-gen-2020 | Arceri, Vincenzo; Pasqua, Michele; Mastroeni, Isabella | |
| Analyzing Dynamic Code: A Sound Abstract Interpreter for evil eval | 1-gen-2021 | Arceri, Vincenzo; Mastroeni, Isabella | |
| Completeness of Abstract Domains for String Analysis of JavaScript Programs | 1-gen-2019 | Arceri, Vincenzo; Olliaro, Martina; Cortesi, Agostino; Mastroeni, Isabella | |
| 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 | |
| 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 | |
| SEA: String Executability Analysis by Abstract Interpretation | 1-gen-2017 | Arceri, Vincenzo; DALLA PREDA, Mila; Giacobazzi, Roberto; Mastroeni, Isabella | |
| Static Analysis for ECMAScript String Manipulation Programs | 1-gen-2020 | Arceri, Vincenzo; Mastroeni, Isabella; Xu, Sunyi | |
| Static Program Analysis for String Manipulation Languages | 1-gen-2019 | Arceri, Vincenzo; Mastroeni, Isabella | |
| Taming Strings in Dynamic Languages - An Abstract Interpretation-based Static Analysis Approach | 1-gen-2020 | Arceri, Vincenzo |