Alexander Hück

21 papers C 6Misc 1Journal 3Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Dynamic Contract Analysis for Parallel Programming Models.
CoRR
Yussur Mustafa Oraji, Alexander Hück, Christian H. Bischof
2025 — conf
Extending MPI Correctness Benchmarking to the Fortran Language.
SC Workshops
Yussur Mustafa Oraji, Alexander Hück, Christian H. Bischof
2025 — conf
Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests.
SC Workshops
Alexander Hück, Simon Schwitanski, Tim Jammer, Joachim Jenke, Yussur Mustafa Oraji, Christian H. Bischof
2025 C conf
Verifying MPI API Usage Requirements with Contracts.
EuroMPI
Yussur Mustafa Oraji, Simon Schwitanski, Alexander Hück, Joachim Jenke, Sebastian Kreutzer, Christian H. Bischof
2025 C conf
llvm-dimeta: A library for extracting source-level type information in LLVM IR using debug metadata.
SCAM
Alexander Hück, Sebastian Kreutzer, Christian H. Bischof
2024 — conf
Compiler-Aided Correctness Checking of CUDA-Aware MPI Applications.
SC Workshops
Alexander Hück, Tim Ziegler, Simon Schwitanski, Joachim Jenke, Christian H. Bischof
2024 — conf
Designing Quality MPI Correctness Benchmarks: Insights and Metrics.
SC Workshops
Tim Jammer, Simon Schwitanski, Emmanuelle Saillard, Alexander Hück, Joachim Jenke, Radjasouria Vinayagame, Christian H. Bischof
2024 C conf
MPI-BugBench: A Framework for Assessing MPI Correctness Tools.
EuroMPI
Tim Jammer, Emmanuelle Saillard, Simon Schwitanski, Joachim Jenke, Radjasouria Vinayagame, Alexander Hück, Christian H. Bischof
2023 — conf
Investigating the Real-World Applicability of MPI Correctness Benchmarks.
SC Workshops
Alexander Hück, Tim Jammer, Joachim Jenke, Christian H. Bischof
2023 C conf
Investigating the Usage of MPI at Argument-Granularity in HPC Codes.
EuroMPI
Alexander Hück, Tim Jammer, Joachim Jenke, Christian H. Bischof
2022 J jnl
Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications.
IT Prof.
Alexander Hück, Sebastian Kreutzer, Joachim Protze, Jan-Patrick Lehr, Christian H. Bischof, Christian Terboven, Matthias S. Müller
2022 C conf
Towards a Hybrid MPI Correctness Benchmark Suite.
EuroMPI
Tim Jammer, Alexander Hück, Jan-Patrick Lehr, Joachim Protze, Simon Schwitanski, Christian H. Bischof
2020 — —
Compiler Support for Operator Overloading and Algorithmic Differentiation in C++.
Alexander Hück
2020 — conf
Compiler-Assisted Type-Safe Checkpointing.
ISC Workshops
Jan-Patrick Lehr, Alexander Hück, Moritz Fischer, Christian H. Bischof
2020 — conf
MetaCG: annotated call-graphs to facilitate whole-program analysis.
TAPAS@SPLASH
Jan-Patrick Lehr, Alexander Hück, Yannic Fischler, Christian H. Bischof
2020 — conf
Towards compiler-aided correctness checking of adjoint MPI applications.
CORRECTNESS@SC
Alexander Hück, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H. Bischof, Matthias S. Müller
2018 J jnl
A usability case study of algorithmic differentiation tools on the ISSM ice sheet model.
Optim. Methods Softw.
Alexander Hück, Christian H. Bischof, Max Sagebaum, Nicolas R. Gauger, Benjamin Jurgelucks, Eric Y. Larour, Gilberto Perez
2018 — conf
Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver.
ICCS (3)
Alexander Hück, Sebastian Kreutzer, Danny Messig, Arne Scholtissek, Christian H. Bischof, Christian Hasse
2018 — conf
Compiler-aided Type Tracking for Correctness Checking of MPI Applications.
CORRECTNESS@SC
Alexander Hück, Jan-Patrick Lehr, Sebastian Kreutzer, Joachim Protze, Christian Terboven, Christian H. Bischof, Matthias S. Müller
2016 Misc conf
Source Transformation of C++ Codes for Compatibility with Operator Overloading.
ICCS
Alexander Hück, Jean Utke, Christian H. Bischof
2015 C conf
Checking C++ codes for compatibility with operator overloading.
SCAM
Alexander Hück, Christian H. Bischof, Jean Utke