« Home

All publications

You can find all available PDFs for the publications in this page here. Each individual publication’s page will contain a direct link to the corresponding manuscript when available.

2026

• Giacomo Boldini. Modular Abstract Interpretation for Stack-Heap Analysis of C/C++ via LLVM IR
  Student Research Competition @ SPLASH/ISSTA 2026. Companion Proceedings of the 2026 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion '26), ACM, pp. 42–44
  Extended abstract (ACM Student Research Competition). 🏆 1st Place (Graduate Category) - October 5, 2026 - Oakland, CA, USA
• Giacomo Boldini, Luca Negrini, Luca Olivieri, Pietro Ferrara. A Modular Framework for Stack-Heap and Value Abstractions
  33rd International Static Analysis Symposium (SAS 2026) at SPLASH/ISSTA 2026. LNCS vol. 16977, Springer, 2027, pp. 143–185
  Conference paper - October 6, 2026 - Oakland, CA, USA

2024

• Giacomo Boldini, Alessio Diana, Vincenzo Arceri, Vincenzo Bonnici, Roberto Bagnara. A Machine Learning Approach for Source Code Similarity via Graph-Focused Features
  The 9th International Conference on Machine Learning, Optimization, and Data Science (LOD2023)
  Conference paper - - Grasmere, Lake District, England – UK