Vincenzo Arceri

According to our database, Vincenzo Arceri authored at least 28 papers between 2016 and 2024.

Collaborative distances:

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

2024

Challenges of software verification.

Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara

Int. J. Softw. Tools Technol. Transf., December, 2024

Speeding up static analysis with the split operator.

Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella

Int. J. Softw. Tools Technol. Transf., October, 2024

Challenges of software verification: the past, the present, the future.

Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi

Int. J. Softw. Tools Technol. Transf., August, 2024

Tarsis: An effective automata-based abstract domain for string analysis.

Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara

J. Softw. Evol. Process., August, 2024

Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis.

Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella

CoRR, 2024

Detection of Phantom Reads in Hyperledger Fabric.

Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi

IEEE Access, 2024

General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study.

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

IEEE Access, 2024

Teaching Through Practice: Advanced Static Analysis with LiSA.

Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara

Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024

Towards a Sound Construction of EVM Bytecode Control-Flow Graphs.

Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

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

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