ISMM 2022
Tue 14 Jun 2022 San Diego, California, United States
co-located with PLDI 2022
PLDI 2022 (series) / ISMM 2022 (series) / Dennis Sprokholt
Dennis Sprokholt

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

Show activities from other conferences

PLDI 2022-profile
View general profile