ARCERI, VINCENZO

ARCERI, VINCENZO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.016 secondi).
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