Folgen
Fabian Ritter
Fabian Ritter
PhD Candidate, Computer Science, Saarland Informatics Campus
Bestätigte E-Mail-Adresse bei cs.uni-saarland.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
732018
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
132020
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
42021
AnICA: analyzing inconsistencies in microarchitectural code analyzers
F Ritter, S Hack
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1-29, 2022
32022
Compiler Optimizations using Symbolic Abstraction
F Ritter
Saarland University, 2015
32015
Explainable Port Mapping Inference with Sparse Performance Counters for AMD's Zen Architectures
F Ritter, S Hack
arXiv preprint arXiv:2403.16063, 2024
2024
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6