| Daisy-framework for analysis and optimization of numerical programs (tool paper) E Darulova, A Izycheva, F Nasir, F Ritter, H Becker, R Bastian Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 73 | 2018 |
| PMEvo: Portable inference of port mappings for out-of-order processors by evolutionary optimization F Ritter, S Hack Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 13 | 2020 |
| PICO: A Presburger In-bounds Check Optimization for Compiler-based Memory Safety Instrumentations T Jung, F Ritter, S Hack ACM Transactions on Architecture and Code Optimization (TACO) 18 (4), 1-27, 2021 | 4 | 2021 |
| AnICA: analyzing inconsistencies in microarchitectural code analyzers F Ritter, S Hack Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1-29, 2022 | 3 | 2022 |
| Compiler Optimizations using Symbolic Abstraction F Ritter Saarland University, 2015 | 3 | 2015 |
| Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures F Ritter, S Hack arXiv preprint arXiv:2403.16063, 2024 | | 2024 |
Sebastian HackProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
