conf.researchr.org / Dennis Sprokholt
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 | Author of Lasagne: A Static Binary Translator for Weak Memory Model Architectures within the PLDI-track |