Vincenzo Arceri

Available identifiers

zbMath Open arceri.vincenzoMaRDI QIDQ1650955

List of research outcomes

Publication	Date of Publication	Type
Improving dynamic code analysis by code abstraction	2024-11-29	Paper
Decoupling the ascending and descending phases in abstract interpretation	2023-07-25	Paper
Relational string abstract domains	2022-07-08	Paper
Completeness of string analysis for dynamic languages	2021-11-25	Paper
Twinning automata and regular expressions for string static analysis	2021-10-18	Paper
Completeness of abstract domains for string analysis of JavaScript programs	2019-12-12	Paper
Abstract domains for type juggling	2018-07-16	Paper

Research outcomes over time

This page was built for person: Vincenzo Arceri