Check my socials
SAS24: The 31st Static Analysis SymposiumOctober 20-22, 2024 in PasadenaGiacoFest at ACM POPL2026!!! (and some pics)January 17th, 2026, Rennes France