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

PLDI 2022-profile
View general profile