Dennis Sprokholt

Registered user since Mon 13 Jun 2022

Name:Dennis Sprokholt
Country:Netherlands
Affiliation:TU Delft
Personal website: https://dennis.life/
Research interests:Verification, Architectures, Superoptimization

Contributions

Show activities from other conferences

PLDI 2022-profile
View general profile