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 | 74 | 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 | 16 | 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 Proceedings of the 29th ACM International Conference on Architectural …, 2024 | | 2024 |