6 citations · 6 across the 4 of their papers we have counts for
4 papers
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors
Gideon Mohr, Marco Guarnieri, Jan Reineke
Microarchitectural attacks compromise security by exploiting software-visible artifacts of microarchitectural optimizations such as caches and speculative execution. Defending agai…
Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction
Andreas Abel, Shrey Sharma, Jan Reineke
Basic-block throughput models such as uiCA, IACA, GRANITE, Ithemal, llvm-mca, OSACA, or CQA guide optimizing compilers and help performance engineers identify and eliminate bottlen…
Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis
Valentin Touzeau, Jan Reineke
While instruction cache analysis is essentially a solved problem, data cache analysis is more challenging. In contrast to instruction fetches, the data accesses generated by a memo…
Security Analysis of Cache Replacement Policies
Pablo Cañones, Boris Köpf, Jan Reineke
Modern computer architectures share physical resources between different programs in order to increase area-, energy-, and cost-efficiency. Unfortunately, sharing often gives rise…