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