ICFP/SPLASH 2025 (series) / Vincenzo Arceri
Registered user since Thu 22 Apr 2021
Name:Vincenzo Arceri
Country:Italy
Affiliation:University of Parma, Italy
Personal website: https://vincenzoarceri.github.io/
X (Twitter): https://x.com/ArceriVincenzo
Research interests:Abstract interpretation, Static analysis, Program analysis
Contributions
Using general profile