
Registered user since Mon 13 Jun 2022
Name:Dennis Sprokholt
Country:Netherlands
Affiliation:TU Delft
Personal website:https://dennis.life/
Twitter:https://twitter.com/sourcedennis
Research interests:Verification, Architectures, Superoptimization
Contributions
PLDI 2022 | Lasagne: A Static Binary Translator for Weak Memory Model Architectures | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2022-profile
View general profile
View general profile