Contact

Tel_+49 681 302-2453
Mail_
Room_429
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken
Germany

Julian Rosemann

About Me

Research Interests

  • Static Analysis
  • Formal Verification
  • Correctness & Security Properties

Teaching

Lecturer's Assistant

  • Programmierung 2 (SS2020)

Teaching Assistant

  • Grundzüge der Theoretischen Informatik (WS2015/16)

Publications

Conferences

  • 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]
  • 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]