Vincenzo Arceri

Registered user since Thu 22 Apr 2021

Name:Vincenzo Arceri
Country:Italy
Affiliation:University of Parma - Department of Mathematical, Physical, and Computer Sciences
Research interests:Abstract interpretation, Static analysis, Program analysis

Contributions

VMCAI 2022 Relational String Abstract Domains
Show activities from other conferences

POPL 2022-profile
View general profile