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

Fabian Ritter

Research Interests

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


  • AnICA: A tool to discover and concisely describe inconsistencies in microarchitectural code analyzers.
  • MemInstrument: A framework to Compile Memory Safe Executables from C Code.
  • 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

  • Compiler Construction (WS2022/23)
  • Compiler Construction (WS2020/21)
  • Compiler Construction (WS2018/19)
  • Seminar: Memory Safety (SS2018)
  • Compiler Construction (WS2017/18)

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]


  • AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
    Ritter, F. and Hack, S.
    Proceedings of the ACM on Programming Languages, Vol. 6, No. OOPSLA2, Association for Computing Machinery, 2022. [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]