Not registered as user yet

Name:Herman Geuvers
Affiliation:Radboud University Nijmegen, Netherlands

Contributions

PLDI 2022 Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
Show activities from other conferences

Using general profile