- Non-interference Preserving Optimising Compilation
Rosemann, J., Hack, S. and Garg, D.
[bib]
@conference{rosemann2025non,
title={Non-interference Preserving Optimising Compilation},
author={Rosemann, Julian and Hack, Sebastian and Garg, Deepak},
journal={Proceedings of the ACM on Programming Languages},
volume={9},
number={OOPSLA2},
pages={1429--1454},
year={2025},
publisher={ACM New York, NY, USA}
}
- An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs - POPL 2021
Rosemann, J., Moll, S. and Hack, S.
Principles of Programming Languages, 2021.
[url]
[bib]
@conference{RSH:popl21,
author = {Julian Rosemann and Simon Moll and Sebastian Hack},
title = {An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs},
year = 2021,
month = january,
url = {https://compilers.cs.uni-saarland.de/papers/uniana_preprint.pdf},
booktitle = {Principles of Programming Languages},
booktitle_short = {POPL},
}
- Verified Spilling and Translation Validation with Repair
Rosemann, J., Schneider, S. and Hack, S.
Interactive Theorem Proving - 8th International Conference, ITP
2017, Brasilia, Brazil, September 26-29, 2017, Proceedings, pages 427–443, Springer, 2017.
[doi]
[url]
[bib]
@conference{DBLP:conf/itp/RosemannSH17,
author = {Julian Rosemann and Sigurd Schneider and Sebastian Hack},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Verified Spilling and Translation Validation with Repair},
booktitle = {Interactive Theorem Proving - 8th International Conference, {ITP}
2017, Brasilia, Brazil, September 26-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10499},
pages = {427--443},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66107-0},
doi = {10.1007/978-3-319-66107-0},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/itp/RosemannSH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
