Vincenzo Arceri
Vincenzo Arceri
Non-tenured Track Assistant Professor, University of Parma
Email verificata su unipr.it - Home page
Titolo
Citata da
Citata da
Anno
Static Program Analysis for String Manipulation Languages
V Arceri, I Mastroeni
Seventh International Workshop on Verification and Program Transformation, 2018
14*2018
Abstract domains for type juggling
V Arceri, S Maffeis
Electronic Notes in Theoretical Computer Science 331, 41-55, 2017
112017
Static analysis for ECMAScript string manipulation programs
V Arceri, I Mastroeni, S Xu
Applied Sciences 10 (10), 3525, 2020
72020
Completeness of abstract domains for string analysis of javascript programs
V Arceri, M Olliaro, A Cortesi, I Mastroeni
International Colloquium on Theoretical Aspects of Computing, 255-272, 2019
72019
A sound abstract interpreter for dynamic code
V Arceri, I Mastroeni
Proceedings of the 35th Annual ACM Symposium on Applied Computing, 1979-1988, 2020
52020
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
42021
Twinning automata and regular expressions for string static analysis
L Negrini, V Arceri, P Ferrara, A Cortesi
International Conference on Verification, Model Checking, and Abstract …, 2021
22021
An abstract domain for objects in dynamic programming languages
V Arceri, M Pasqua, I Mastroeni
International Symposium on Formal Methods, 136-151, 2019
12019
SEA: String Executability Analysis by Abstract Interpretation
V Arceri, MD Preda, R Giacobazzi, I Mastroeni
arXiv preprint arXiv:1702.02406, 2017
12017
Improving Dynamic Code Analysis by Code Abstraction
I Mastroeni, V Arceri
arXiv preprint arXiv:2109.02813, 2021
2021
Completeness of string analysis for dynamic languages
V Arceri, M Olliaro, A Cortesi, I Mastroeni
Information and Computation, 104791, 2021
2021
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
2021
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–12