Giacomo BOLDINI

Qualifica
Dottorando
Dottorato
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
Sito web
https://www.unive.it/persone/giacomo.boldini (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais

Didattica anno corrente

Didattica anni precedenti

Attività e competenze di ricerca

Pubblicazioni in evidenza

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, Articolo in Atti di convegno - Scheda ARCA: 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 - Scheda ARCA: 10278/5126247


Tutte le pubblicazioni

Curriculum vitae

 

cafoscariNEWS