
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
POPL 2025-profile
View general profile
View general profile