Giacomo BOLDINI

Position
PhD Student
PhD
INFORMATICA
39° Ciclo - Immatricolati nel 2023
Area tematica
Static Analysis approaches for improving critical Software Engineering
Supervisore
Pietro Ferrara / Paolo Falcarin
E-mail
giacomo.boldini@unive.it
956773@stud.unive.it
Website
https://www.unive.it/people/giacomo.boldini (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais

Teaching activity current year

Teaching activity previous years

Activities and research skills

Publication highlights

giacomo boldini, luca negrini, luca olivieri, pietro ferrara A Modular Framework for Stack-Heap and Value Abstractions , Proceedings of the 33rd Static Analysis Symposium (SAS 2026), Springer Nature, Convegno: 33rd Static Analysis Symposium (SAS 2026)
2026, Article in Conference Proceedings - ARCA card: 10278/5126327


Giacomo Boldini Modular Abstract Interpretation for Stack-Heap Analysis of C/C++ via LLVM IR , Companion Proceedings of the 2026 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Companion '26), ACM, Convegno: SPLASH Companion '26, 04/10/2026-09/10/2026 (ISBN 979-8-4007-2910-2)
DOI 2026, Abstract in Atti di convegno - ARCA card: 10278/5126247


List of publications

Curriculum vitae

 

cafoscariNEWS