
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