Luca Olivieri
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Prog. Lang.×1Software Eng.×1
Frequent co-authors
Research Timeline
2026
A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)
The paper proposes a generic memory framework for advanced static program analysis, supporting various memory behaviors from different programming languages using Abstract Interpretation theory.
Highlighted terms show continued research focus across papers