List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| 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 Programming Languages and Systems | 2023-07-25 | Paper |
| Relational string abstract domains | 2022-07-08 | Paper |
| Completeness of string analysis for dynamic languages Information and Computation | 2021-11-25 | Paper |
| Twinning automata and regular expressions for string static analysis (available as arXiv preprint) | 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
