research
∙
09/12/2023
Just-in-Time autotuning
Performance portability is a major concern on current architectures. One...
share
research
∙
04/21/2023
STaKTAU: profiling HPC applications' operating system usage
This paper presents a approach for measuring the time spent by HPC appli...
research
∙
02/18/2022
SKaMPI-OpenSHMEM: Measuring OpenSHMEM Communication Routines
Benchmarking is an important challenge in HPC, in particular, to be able...
research
∙
05/27/2021
Measuring OpenSHMEM Communication Routines with SKaMPI-OpenSHMEM User's manual
This document presents the OpenSHMEM extension for the Special Karlsruhe...
research
∙
09/29/2020
A task-based approach to parallel parametric linear programming solving, and application to polyhedral computations
Parametric linear programming is a central operation for polyhedral comp...
research
∙
03/02/2020
On-the-fly Optimization of Parallel Computation of Symbolic Symplectic Invariants
Group invariants are used in high energy physics to define quantum field...
research
∙
04/12/2019
Parallel parametric linear programming solving, and application to polyhedral computations
Parametric linear programming is central in polyhedral computations and ...
research
∙
02/12/2018
Quasi-Optimal Partial Order Reduction
A dynamic partial order reduction (DPOR) algorithm is optimal when it al...
research
∙
02/05/2015