Registered user since Mon 13 Jun 2022
Name:Dennis Sprokholt
Country:Netherlands
Affiliation:TU Delft
Personal website: https://dennis.life/
X (Twitter): https://x.com/sourcedennis
GitHub: https://github.com/sourcedennis
Research interests:Verification, Architectures, Superoptimization
Contributions
PLDI 2022-profile
View general profile
View general profile