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
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
212021
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
192021
Static Program Analysis for String Manipulation Languages
V Arceri, I Mastroeni
Seventh International Workshop on Verification and Program Transformation, 2018
18*2018
Static analysis for ECMAScript string manipulation programs
V Arceri, I Mastroeni, S Xu
Applied Sciences 10 (10), 3525, 2020
152020
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
122019
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
102022
Relational string abstract domains
V Arceri, M Olliaro, A Cortesi, P Ferrara
International Conference on Verification, Model Checking, and Abstract …, 2022
102022
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
92021
LiSA: A generic framework for multilanguage static analysis
L Negrini, P Ferrara, V Arceri, A Cortesi
Challenges of Software Verification, 19-42, 2023
82023
A sound abstract interpreter for dynamic code
V Arceri, I Mastroeni
Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1979-1988, 2020
72020
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
42023
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
32023
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
Towards an operational semantics for Solidity
M Crosara, G Centurino, V Arceri
VALID, 1-6, 2019
2*2019
Tarsis: An effective automata‐based abstract domain for string analysis
L Negrini, V Arceri, A Cortesi, P Ferrara
Journal of Software: Evolution and Process, e2647, 2024
12024
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
12024
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
12022
Improving dynamic code analysis by code abstraction
I Mastroeni, V Arceri
arXiv preprint arXiv:2109.02813, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20