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