Contact

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

Fabian Ritter

About Me

Research Interests

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

Projects

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

Teaching

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

Publications

Conferences

  • PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization
    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] [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]