Contact

Tel	_	+49 681 302-2453
Mail	_
Room	_	429
Address	_	Saarland Informatics Campus Building E1 3 66123 Saarbrücken Germany

Julian Rosemann

About Me

• Curriculum Vitae

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]
  

  @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}
   }