Registered user since Mon 4 Jan 2021
Name:Julian Rosemann
Country:Germany
Affiliation:Saarland University, Saarland Informatics Campus
Personal website:https://compilers.cs.uni-saarland.de/people/rosemann/
Research interests:Static Analysis, Secure Compilation
Contributions
| POPL 2021 | An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2021-profile
View general profile
View general profile