Vincenzo Arceri

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 24

Top Topics

Deterministic Finite Automata

Information Flow

Static Analysis

Top Venues

Publications

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
Detection of Phantom Reads in Hyperledger Fabric. IEEE Access 12 (2024)
Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
Tarsis: An effective automata-based abstract domain for string analysis. J. Softw. Evol. Process. 36 (8) (2024)
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
Unconstrained Variable Oracles for Faster Numeric Static Analyses. SAS (2023)
Vincenzo Bonnici, Vincenzo Arceri, Alessio Diana, Flavio Bertini, Eleonora Iotti, Alessia Levante, Valentina Bernini, Erasmo Neviani, Alessandro Dal Palù
BIOCHAIN: towards a platform for securely sharing microbiological data. IDEAS (2023)
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
Speeding up Static Analysis with the Split Operator. SOAP@PLDI (2023)
Giacomo Boldini, Alessio Diana, Vincenzo Arceri, Vincenzo Bonnici, Roberto Bagnara
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features. LOD (1) (2023)
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP (2023)
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara
Relational String Abstract Domains. VMCAI (2022)
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
Decoupling the ascending and descending phases in Abstract Interpretation. CoRR (2022)
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS (2022)
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI (2022)
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
Twinning Automata and Regular Expressions for String Static Analysis. VMCAI (2021)
Vincenzo Arceri, Isabella Mastroeni
Eval. ACM Trans. Priv. Secur. 24 (2) (2021)
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
Completeness of string analysis for dynamic languages. Inf. Comput. 281 (2021)
Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi
Static analysis for dummies: experiencing LiSA. SOAP@PLDI (2021)
Isabella Mastroeni, Vincenzo Arceri
Improving Dynamic Code Analysis by Code Abstraction. VPT@ETAPS (2021)
Vincenzo Arceri, Isabella Mastroeni
A sound abstract interpreter for dynamic code. SAC (2020)
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
Twinning automata and regular expressions for string static analysis. CoRR (2020)
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
Completeness of Abstract Domains for String Analysis of JavaScript Programs. ICTAC (2019)
Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni
An Abstract Domain for Objects in Dynamic Programming Languages. FM Workshops (2) (2019)
Vincenzo Arceri, Isabella Mastroeni
An Automata-based Abstract Semantics for String Manipulation Languages. VPT@Programming (2019)
Vincenzo Arceri, Sergio Maffeis
Abstract Domains for Type Juggling. Electron. Notes Theor. Comput. Sci. 331 (2017)
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
SEA: String Executability Analysis by Abstract Interpretation. CoRR (2017)