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	_	ritter-x2a

Fabian Ritter

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

• Some recommendations for creating a talk video.

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]
  

  @article{JRH:TACO21,
     author      = {Jung, Tina and Ritter, Fabian and Hack, Sebastian},
     title       = {PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations},
     year        = {2021},
     issue_date  = {July 2021},
     publisher   = {Association for Computing Machinery},
     address     = {New York, NY, USA},
     volume      = {18},
     number      = {4},
     issn        = {1544--3566},
     url         = {https://doi.org/10.1145/3460434},
     doi         = {10.1145/3460434},
     journal     = {ACM Trans. Archit. Code Optim.},
     month       = jul,
     articleno   = {45},
     numpages    = {27},
     keywords    = {spatial memory safety, LLVM, Presburger, C language, Optimization}
   }

Conferences

• Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures
  Ritter, F. and Hack, S.
  Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024, pages 317–330, ACM, 2024. [doi] [url] [bib]
  

  @conference{Ritter:conf/asplos/0002H24,
     author       = {Ritter, Fabian and Hack, Sebastian},
     editor       = {Rajiv Gupta and Nael B. Abu{-}Ghazaleh and Madan Musuvathi and Dan Tsafrir},
     title        = {Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures},
     booktitle    = {Proceedings of the 29th {ACM} International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, {ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024},
     pages        = {317--330},
     publisher    = {{ACM}},
     year         = {2024},
     url          = {https://doi.org/10.1145/3620666.3651363},
     doi          = {10.1145/3620666.3651363},
     timestamp    = {Sat, 04 May 2024 10:55:04 +0200},
     biburl       = {https://dblp.org/rec/conf/asplos/0002H24.bib},
     bibsource    = {dblp computer science bibliography, https://dblp.org}
   }

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

  @conference{Ritter:OOPSLA22:10.1145/3563288,
     author = {Ritter, Fabian and Hack, Sebastian},
     title = {AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers},
     booktitle = {Proceedings of the ACM on Programming Languages, Vol. 6, No. OOPSLA2},
     year = {2022},
     issue_date = {October 2022},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {6},
     number = {OOPSLA2},
     url = {https://doi.org/10.1145/3563288},
     doi = {10.1145/3563288},
     journal = {Proc. ACM Program. Lang.},
     month = {oct},
     articleno = {125},
     numpages = {29},
     keywords = {Throughput Prediction, Abstraction, Differential Testing, Basic Blocks}
   }

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

  @conference{DBLP:conf/pldi/0002H20,
     author    = {Fabian Ritter and Sebastian Hack},
     editor    = {Alastair F. Donaldson and Emina Torlak},
     title     = {{PMEvo}: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization},
     booktitle = {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},
     publisher = {{ACM}},
     year      = {2020},
     url       = {https://doi.org/10.1145/3385412.3385995},
     doi       = {10.1145/3385412.3385995},
     timestamp = {Tue, 09 Jun 2020 13:52:54 +0200},
     biburl    = {https://dblp.org/rec/conf/pldi/0002H20.bib},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     webpdf    = {https://compilers.cs.uni-saarland.de/papers/ritter_pmevo_pldi20.pdf},
     booktitle_short = {PLDI},
   }

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

  @conference{DBLP:conf/tacas/DarulovaINRBB18,
     author    = {Eva Darulova and Anastasiia Izycheva and Fariha Nasir and Fabian Ritter and Heiko Becker and Robert Bastian},
     title     = {Daisy - Framework for Analysis and Optimization of Numerical Programs (Tool Paper)},
     booktitle = {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},
     year      = {2018},
     crossref  = {DBLP:conf/tacas/2018-1},
     url       = {https://doi.org/10.1007/978-3-319-89960-2\_15},
     doi       = {10.1007/978-3-319-89960-2\_15},
     timestamp = {Tue, 14 May 2019 10:00:53 +0200},
     biburl    = {https://dblp.org/rec/bib/conf/tacas/DarulovaINRBB18},
     bibsource = {dblp computer science bibliography, https://dblp.org}
   }

PhD Thesis

• Inferring and Analyzing Microarchitectural Performance Models
  Ritter, F.
  Ph.D. Thesis, Saarland University, 2024. [doi] [url] [bib]
  

  @phdthesis{Ritter:2024:PhD,
     author = {Fabian Ritter},
     title = {Inferring and Analyzing Microarchitectural Performance Models},
     school = {Saarland University},
     year = {2024},
     url = {http://dx.doi.org/10.22028/D291-43305},
     doi = {10.22028/D291-43305},
   }

BSc Thesis

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

  @BACHELORSTHESIS{Ritter:2015:BSc,
       author = { Fabian Ritter },
       title = { {C}ompiler {O}ptimizations using {S}ymbolic {A}bstraction },
       school = {Saarland University},
       year = { 2015 },
       month = { November},
       webpdf  = {http://compilers.cs.uni-saarland.de/publications/theses/ritter_bsc.pdf},
       abstract = { },
   }