Julian Rosemann

Registered user since Mon 4 Jan 2021

Name:Julian Rosemann
Affiliation:Saarland University, Saarland Informatics Campus
Research interests:Static Analysis, Secure Compilation


CGO 2022 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
POPL 2021 Author of An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs within the POPL-track