
Registered user since Mon 31 Oct 2022
Name:Nicolai Oswald
Country:Switzerland
Affiliation:NVIDIA
Personal website:https://nicolai-oswald.de/
Research interests:Cache Coherence, Memory Consistency, Compilers & Synthesis, Mathematical Modelling, Graph Theory, Formal Verification
Contributions
PLDI 2023 | Compound Memory Models | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile