Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Giacomo Boldini

h-index 1 View on Semantic Scholar

We have 2 of 2 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

Modular Abstract Interpretation for Stack-Heap Analysis of C/C++ via LLVM IR

Detecting memory errors in C/C++ by static analysis means reasoning about program values and memory structure together, but value- and memory-oriented analyses are usually combined in fixed, domain-specific ways. This work proposes a modular, parametric framework, based on abstract interpretation theory, with a split-s...

Giacomo Boldini · 0 citations
Jul 2026

A Modular Framework for Stack-Heap and Value Abstractions (Extended Version)

A generic memory framework to handle stack and heap memory during the analysis is proposed and formalized, able to support various behaviors from different programming languages while remaining parametric, allowing different memory and value analyses to be independently chosen and combined.

Giacomo Boldini, L. Negrini, Luca Olivieri et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.