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
  • Low-Level Performance Analysis
  • Memory Safety
  • using formal methods for all of the above


  • PMEvo: A tool to infer CPU performance characteristics from measurements.
  • PICO: Presburger Optimization for Memory Safety Instrumentations
  • 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)

Other Resources


Journal Papers

  • PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations
    Jung, T., Ritter, F. and Hack, S.
    ACM Trans. Archit. Code Optim., 18 (4), 2021. [doi] [url] [bib]


  • PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization - PLDI 2020
    Ritter, F. and Hack, S.
    Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, pages 608–622, ACM, 2020. [doi] [url] [pdf] [bib]
  • 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]