Seguir
Vincenzo Arceri
Vincenzo Arceri
Assistant Professor (no-tenure track), University of Parma
Email confirmado em unipr.it - Página inicial
Título
Citado por
Citado por
Ano
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
182021
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 dummies: experiencing LiSA
P Ferrara, L Negrini, V Arceri, A Cortesi
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of …, 2021
162021
Abstract domains for type juggling
V Arceri, S Maffeis
Electronic Notes in Theoretical Computer Science 331, 41-55, 2017
152017
Static analysis for ECMAScript string manipulation programs
V Arceri, I Mastroeni, S Xu
Applied Sciences 10 (10), 3525, 2020
142020
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
82022
Relational string abstract domains
V Arceri, M Olliaro, A Cortesi, P Ferrara
International Conference on Verification, Model Checking, and Abstract …, 2022
82022
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
82021
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
LiSA: A generic framework for multilanguage static analysis
L Negrini, P Ferrara, V Arceri, A Cortesi
Challenges of Software Verification, 19-42, 2023
62023
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
Information flow analysis for detecting non-determinism in blockchain
L Olivieri, L Negrini, V Arceri, T Fabio, P Ferrara, A Cortesi, NF Spoto
Proceedings of the 37th European Conference on Object-Oriented Programming …, 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
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
An abstract domain for objects in dynamic programming languages
V Arceri, M Pasqua, I Mastroeni
Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020
12020
SEA: String Executability Analysis by Abstract Interpretation
V Arceri, MD Preda, R Giacobazzi, I Mastroeni
arXiv preprint arXiv:1702.02406, 2017
12017
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20