Registered user since Mon 29 Nov 2021

Name:Justus Fasse
Country:Belgium
Affiliation:Université Grenoble-Alpes; KU Leuven

Contributions

SOAP 2023 Completeness Thresholds for Memory Safety of Array Traversing Programs
Show activities from other conferences

PLDI 2023-profile
View general profile