Registered user since Mon 15 Jun 2020

Name:Ike Mulder
Affiliation:Radboud University Nijmegen
Personal website:https://ikemulder.nl

Contributions

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

PLDI 2022-profile
View general profile