Vincenzo Arceri

46 papers A 1B 4C 2Misc 3Journal 17Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Helping LLMs improve code generation using feedback from testing and static analysis. Discov. Artif. Intell. Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2026	—	`conf`	JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution). TACAS (2) Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara
2026	J	`jnl`	PYRA : A high-level linter for data science software. Knowl. Based Syst. Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2025	J	`jnl`	Design and Implementation of Static Analyses for Tezos Smart Contracts. Distributed Ledger Technol. Res. Pract. Luca Olivieri, Luca Negrini, Vincenzo Arceri, Thomas P. Jensen, Fausto Spoto
2025	Misc	`conf`	Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts. SAC Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2025	J	`jnl`	Faster numeric static analyses with unconstrained variable oracles. PeerJ Comput. Sci. Vincenzo Arceri, Filippo Bianchi, Greta Dolcetti, Enea Zaffanella
2025	—	`conf`	Introducing Pyra: A High-Level Linter for Data Science Software. ECML/PKDD (10) Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2025	—	`conf`	On the Verification of ML Systems and Models. OVERLAY Greta Dolcetti, Vincenzo Arceri, Agostino Cortesi, Enea Zaffanella
2025	Misc	`conf`	Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts. SAC Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2024	J	`jnl`	Challenges of software verification. Int. J. Softw. Tools Technol. Transf. Vincenzo Arceri, Luca Negrini, Luca Olivieri, Pietro Ferrara
2024	J	`jnl`	Challenges of software verification: the past, the present, the future. Int. J. Softw. Tools Technol. Transf. Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi
2024	J	`jnl`	Detection of Phantom Reads in Hyperledger Fabric. IEEE Access Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi
2024	J	`jnl`	General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. IEEE Access Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi
2024	J	`jnl`	Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis. CoRR Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti, Sergio Maffeis, Agostino Cortesi, Enea Zaffanella
2024	—	`ed.`	Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, Pasadena, CA, USA, 22 October 2024 NSAD@SAS Vincenzo Arceri, Michele Pasqua
2024	J	`jnl`	Speeding up static analysis with the split operator. Int. J. Softw. Tools Technol. Transf. Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
2024	J	`jnl`	Tarsis: An effective automata-based abstract domain for string analysis. J. Softw. Evol. Process. Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
2024	—	`conf`	Teaching Through Practice: Advanced Static Analysis with LiSA. FMTea Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara
2024	—	`conf`	Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. FTfJP@ECOOP Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella
2023	—	`ch.`	"Fixing" the Specification of Widenings. Challenges of Software Verification Enea Zaffanella, Vincenzo Arceri
2023	—	`conf`	A Machine Learning Approach for Source Code Similarity via Graph-Focused Features. LOD (1) Giacomo Boldini, Alessio Diana, Vincenzo Arceri, Vincenzo Bonnici, Roberto Bagnara
2023	C	`conf`	BIOCHAIN: towards a platform for securely sharing microbiological data. IDEAS Vincenzo Bonnici, Vincenzo Arceri, Alessio Diana, Flavio Bertini, Eleonora Iotti, Alessia Levante, Valentina Bernini, Erasmo Neviani, Alessandro Dal Palù
2023	—	`ed.`	Challenges of Software Verification Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
2023	J	`jnl`	Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023	A	`conf`	Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto
2023	—	`ch.`	LiSA: A Generic Framework for Multilanguage Static Analysis. Challenges of Software Verification Luca Negrini, Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi
2023	—	`ch.`	Lifting String Analysis Domains. Challenges of Software Verification Martina Olliaro, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara
2023	—	`conf`	Speeding up Static Analysis with the Split Operator. SOAP@PLDI Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
2023	B	`conf`	Unconstrained Variable Oracles for Faster Numeric Static Analyses. SAS Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella
2022	B	`conf`	Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
2022	J	`jnl`	Decoupling the ascending and descending phases in Abstract Interpretation. CoRR Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella
2022	—	`conf`	Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin
2022	B	`conf`	Relational String Abstract Domains. VMCAI Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara
2021	J	`jnl`	Analyzing Dynamic Code: A Sound Abstract Interpreter for ACM Trans. Priv. Secur. Vincenzo Arceri, Isabella Mastroeni
2021	J	`jnl`	Completeness of string analysis for dynamic languages. Inf. Comput. Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
2021	—	`conf`	Improving Dynamic Code Analysis by Code Abstraction. VPT@ETAPS Isabella Mastroeni, Vincenzo Arceri
2021	—	`conf`	Static analysis for dummies: experiencing LiSA. SOAP@PLDI Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi
2021	B	`conf`	Twinning Automata and Regular Expressions for String Static Analysis. VMCAI Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2020	Misc	`conf`	A sound abstract interpreter for dynamic code. SAC Vincenzo Arceri, Isabella Mastroeni
2020	—	`—`	Taming Strings in Dynamic Languages - An Abstract Interpretation-based Static Analysis Approach. Vincenzo Arceri
2020	J	`jnl`	Twinning automata and regular expressions for string static analysis. CoRR Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
2019	—	`conf`	An Abstract Domain for Objects in Dynamic Programming Languages. FM Workshops (2) Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni
2019	—	`conf`	An Automata-based Abstract Semantics for String Manipulation Languages. VPT@Programming Vincenzo Arceri, Isabella Mastroeni
2019	C	`conf`	Completeness of Abstract Domains for String Analysis of JavaScript Programs. ICTAC Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni
2017	J	`jnl`	SEA: String Executability Analysis by Abstract Interpretation. CoRR Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni
2016	—	`conf`	Abstract Domains for Type Juggling. NSAD@SAS Vincenzo Arceri, Sergio Maffeis