Jan Reineke

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 9

Top Topics

Parallel Algorithm

Top Venues

Publications

Gideon Mohr, Marco Guarnieri, Jan Reineke
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. CoRR (2024)
Gideon Mohr, Marco Guarnieri, Jan Reineke
Synthesizing Hardware-Software Leakage Contracts for RISC-V Open-Source Processors. DATE (2024)
Andreas Abel, Shrey Sharma, Jan Reineke
Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction. IISWC (2023)
Andreas Abel, Shrey Sharma, Jan Reineke
Facile: Fast, Accurate, and Interpretable Basic-Block Throughput Prediction. CoRR (2023)
Valentin Touzeau, Jan Reineke
Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. RTSS (2023)
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CCS (2023)
Ching-Chi Lin, Junjie Shi, Niklas Ueter, Mario Günzel, Jan Reineke, Jian-Jia Chen
Type-Aware Federated Scheduling for Typed DAG Tasks on Heterogeneous Multicore Platforms. IEEE Trans. Computers 72 (5) (2023)
Valentin Touzeau, Jan Reineke
Leveraging LLVM's ScalarEvolution for Symbolic Data Cache Analysis. CoRR (2023)
Zilong Wang, Gideon Mohr, Klaus von Gleissenthall, Jan Reineke, Marco Guarnieri
Specification and Verification of Side-channel Security for Open-source Processors via Leakage Contracts. CoRR (2023)