Julian Rosemann

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 2

Top Topics

Abstract Interpretation

Machine Translation

Top Venues

Proc. ACM Program. Lang.

Publications

Julian Rosemann, Simon Moll, Sebastian Hack
An abstract interpretation for SPMD divergence on reducible control flow graphs. Proc. ACM Program. Lang. 5 (POPL) (2021)
Julian Rosemann, Sigurd Schneider, Sebastian Hack
Verified Spilling and Translation Validation with Repair. ITP (2017)