Tel_+49 681 302-2034
Fax_+49 681 302-3065
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken

Fabian Ritter

About Me

Research Interests

  • Hardware Architecture Analysis
  • Program Analysis
  • Performance Analysis
  • Memory Safety
  • using formal methods for all of the above


  • PMEvo: A tool to infer CPU performance characteristics from measurements.
  • Sprattus: A framework to conveniently design static and dynamic program analyses using symbolic abstraction.


Lecturer's Assistant

Teaching Assistant

  • Compiler Construction (WS2015/16)
  • Nebenläufige Programmierung (SS2015)
  • Grundzüge der Theoretischen Informatik (WS2014/15)
  • Systemarchitektur (SS2016, SS2014)


Workshop Papers

  • Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)
    Darulova, E., Izycheva, A., Nasir, F., Ritter, F., Becker, H. and Bastian, R.
    Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I, pages 270–287, 2018. [doi] [url] [bib]

BSc Thesis

  • Compiler Optimizations using Symbolic Abstraction
    Ritter, F.
    B.Sc. Thesis, Saarland University, 2015. [pdf] [bib]