
Registered user since Mon 8 Jun 2020
Name:Matthis Kruse
Country:Germany
Affiliation:CISPA Helmholtz Center for Information Security
Personal website: https://dasnacl.com
X (Twitter): https://x.com/dasnacl
GitHub: https://github.com/dasnacl
Research interests:Programming Language Design, Code Transformations, Compiler Construction
Contributions
2022
POPL 2022-profile
View general profile
View general profile