Vincenzo Arceri

According to our database, Vincenzo Arceri authored at least 20 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact).

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Dagstuhl Artifacts Ser., 2023

Unconstrained Variable Oracles for Faster Numeric Static Analyses.

Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella

Proceedings of the Static Analysis - 30th International Symposium, 2023

Speeding up Static Analysis with the Split Operator.

Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella

Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2023

A Machine Learning Approach for Source Code Similarity via Graph-Focused Features.

Giacomo Boldini, Alessio Diana, Vincenzo Arceri, Vincenzo Bonnici, Roberto Bagnara

Proceedings of the Machine Learning, Optimization, and Data Science, 2023

BIOCHAIN: towards a platform for securely sharing microbiological data.

Vincenzo Bonnici, Vincenzo Arceri, Alessio Diana, Flavio Bertini, Eleonora Iotti, Alessia Levante, Valentina Bernini, Erasmo Neviani, Alessandro Dal Palù

Proceedings of the International Database Engineered Applications Symposium Conference, 2023

Information Flow Analysis for Detecting Non-Determinism in Blockchain.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Relational String Abstract Domains.

Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

Ensuring determinism in blockchain software with GoLiSA: an industrial experience report.

Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

Decoupling the Ascending and Descending Phases in Abstract Interpretation.

Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella

Proceedings of the Programming Languages and Systems - 20th Asian Symposium, 2022

2021

Analyzing Dynamic Code: A Sound Abstract Interpreter for <i>Evil</i> Eval.

Vincenzo Arceri, Isabella Mastroeni

ACM Trans. Priv. Secur., 2021

Completeness of string analysis for dynamic languages.

Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni

Inf. Comput., 2021

Improving Dynamic Code Analysis by Code Abstraction.

Isabella Mastroeni, Vincenzo Arceri

Proceedings of the 9th International Workshop on Verification and Program Transformation, 2021

Twinning Automata and Regular Expressions for String Static Analysis.

Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Static analysis for dummies: experiencing LiSA.

Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi

Proceedings of the SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2021

2020

A sound abstract interpreter for dynamic code.

Vincenzo Arceri, Isabella Mastroeni

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2019

An Automata-based Abstract Semantics for String Manipulation Languages.

Vincenzo Arceri, Isabella Mastroeni

Proceedings of the Proceedings Seventh International Workshop on Verification and Program Transformation, 2019

Completeness of Abstract Domains for String Analysis of JavaScript Programs.

Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni

Proceedings of the Theoretical Aspects of Computing - ICTAC 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31, 2019

An Abstract Domain for Objects in Dynamic Programming Languages.

Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

SEA: String Executability Analysis by Abstract Interpretation.

Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni

CoRR, 2017

2016

Abstract Domains for Type Juggling.

Vincenzo Arceri, Sergio Maffeis

Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, 2016