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
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
Static Program Analysis for String Manipulation Languages
2019-01-01 Arceri, Vincenzo; Mastroeni, Isabella
| 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 | |
| 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 | |
| Static Program Analysis for String Manipulation Languages | 1-gen-2019 | Arceri, Vincenzo; Mastroeni, Isabella |