Julian Rosemann

According to our database, Julian Rosemann authored at least 3 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Non-interference Preserving Optimising Compilation.

Julian Rosemann, Sebastian Hack, Deepak Garg

Proc. ACM Program. Lang., 2025

2021

An abstract interpretation for SPMD divergence on reducible control flow graphs.

Julian Rosemann, Simon Moll, Sebastian Hack

Proc. ACM Program. Lang., 2021

2017

Verified Spilling and Translation Validation with Repair.

Julian Rosemann, Sigurd Schneider, Sebastian Hack

Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017