Follow
Vincenzo Arceri
Vincenzo Arceri
Assistant Professor (no-tenure track), University of Parma
Verified email at unipr.it - Homepage
Title
Cited by
Cited by
Year
Static analysis for dummies: experiencing LiSA
P Ferrara, L Negrini, V Arceri, A Cortesi
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of …, 2021
282021
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval
V Arceri, I Mastroeni
ACM Transactions on Privacy and Security (TOPS) 24 (2), 1-38, 2021
232021
Static Program Analysis for String Manipulation Languages
V Arceri, I Mastroeni
Seventh International Workshop on Verification and Program Transformation, 2018
19*2018
LiSA: A generic framework for multilanguage static analysis
L Negrini, P Ferrara, V Arceri, A Cortesi
Challenges of Software Verification, 19-42, 2023
172023
Static analysis for ECMAScript string manipulation programs
V Arceri, I Mastroeni, S Xu
Applied Sciences 10 (10), 3525, 2020
162020
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report
L Olivieri, F Tagliaferro, V Arceri, M Ruaro, L Negrini, A Cortesi, P Ferrara, ...
Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of …, 2022
152022
Abstract domains for type juggling
V Arceri, S Maffeis
Electronic Notes in Theoretical Computer Science 331, 41-55, 2017
152017
Completeness of abstract domains for string analysis of javascript programs
V Arceri, M Olliaro, A Cortesi, I Mastroeni
Theoretical Aspects of Computing–ICTAC 2019: 16th International Colloquium …, 2019
132019
Relational string abstract domains
V Arceri, M Olliaro, A Cortesi, P Ferrara
International Conference on Verification, Model Checking, and Abstract …, 2022
122022
Twinning automata and regular expressions for string static analysis
L Negrini, V Arceri, P Ferrara, A Cortesi
Verification, Model Checking, and Abstract Interpretation: 22nd …, 2021
122021
Information flow analysis for detecting non-determinism in blockchain
L Olivieri, L Negrini, V Arceri, F Tagliaferro, P Ferrara, A Cortesi, F Spoto
Proceedings of the 37th European Conference on Object-Oriented Programming …, 2023
112023
A sound abstract interpreter for dynamic code
V Arceri, I Mastroeni
Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1979-1988, 2020
82020
Speeding up static analysis with the split operator
V Arceri, G Dolcetti, E Zaffanella
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of …, 2023
72023
Design and Implementation of Static Analyses for Tezos Smart Contracts
L Olivieri, L Negrini, V Arceri, T Jensen, F Spoto
Distributed Ledger Technologies: Research and Practice, 2024
52024
Towards an operational semantics for Solidity
M Crosara, G Centurino, V Arceri
VALID, 1-6, 2019
5*2019
Detection of Phantom Reads in Hyperledger Fabric
L Olivieri, L Negrini, V Arceri, B Chachar, P Ferrara, A Cortesi
IEEE Access, 2024
22024
BIOCHAIN: towards a platform for securely sharing microbiological data
V Bonnici, V Arceri, A Diana, F Bertini, E Iotti, A Levante, V Bernini, ...
Proceedings of the 27th International Database Engineered Applications …, 2023
22023
Decoupling the ascending and descending phases in abstract interpretation
V Arceri, I Mastroeni, E Zaffanella
Asian Symposium on Programming Languages and Systems, 25-44, 2022
22022
Completeness of string analysis for dynamic languages
V Arceri, M Olliaro, A Cortesi, I Mastroeni
Information and Computation 281, 104791, 2021
22021
Taming Strings in Dynamic Languages-An Abstract Interpretation-based Static Analysis Approach
V Arceri
22020
The system can't perform the operation now. Try again later.
Articles 1–20