Publications

Found 7 results
Filters: Autor is Alexander Hück  [Clear All Filters]
2022
A. Hück, Kreutzer, S., Protze, J., Lehr, J. - P., Bischof, C., Terboven, C., und Müller, M. S., „Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications“, IT Professional, Bd. 24, Nr. 2, S. 45-51, 2022.
T. Jammer, Hück, A., Lehr, J. - P., Protze, J., Schwitanski, S., und Bischof, C., „Towards a Hybrid MPI Correctness Benchmark Suite“, in Proceedings of the 29th European MPI Users' Group Meeting (EuroMPI/USA), 2022, S. 46-56.
2020
J. - P. Lehr, Hück, A., Fischer, M., und Bischof, C., „Compiler-assisted type-safe checkpointing“, in Proceedings of the ISC High Performance 2020 International Workshops (C3PO), 2020, S. 5-18.
J. - P. Lehr, Hück, A., Fischler, Y., und Bischof, C., „MetaCG: annotated call-graphs to facilitate whole-program analysis“, in Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis (TAPAS), 2020, S. 3-9.
A. Hück, Protze, J., Lehr, J. - P., Terboven, C., Bischof, C., und Müller, M. S., „Towards compiler-aided correctness checking of adjoint MPI applications“, in Proceedings of the 4th International Workshop on Software Correctness for HPC Applications (Correctness), 2020, S. 40-48.
2018
A. Hück, Lehr, J. - P., Kreutzer, S., Protze, J., Terboven, C., Bischof, C., und Müller, M. S., „Compiler-aided type tracking for correctness checking of MPI applications“, in Proceedings of the 2nd International Workshop on Software Correctness for HPC Applications (Correctness), 2018, S. 51-58.
J. - P. Lehr, Hück, A., und Bischof, C., „PIRA: Performance Instrumentation Refinement Automation“, in Proceedings of the 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems (AI-SEPS), 2018, S. 1-10.