Contact

Tel_+49 681 302-2034
Mail_
Room_403
Address_Saarland Informatics Campus
Building E1 3
66123 Saarbrücken
Germany
ORCID_0000-0001-9227-0910
GitHub_fabian-r

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

Projects

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

Teaching

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

Publications

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]

Conferences

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