Alexander Hck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
4
Active years
2015–2025
Best venue rank
A
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SC | Using Code Coverage to Assess Feature Gaps in MPI Correctness Tool Classification Tests. | Alexander Hck, Simon Schwitanski, Tim Jammer, Joachim Jenke, Yussur Mustafa Oraji, Christian H. Bischof |
| 2025 | SC | Extending MPI Correctness Benchmarking to the Fortran Language. | Yussur Mustafa Oraji, Alexander Hck, Christian H. Bischof |
| 2025 | SCAM | llvm-dimeta: A library for extracting source-level type information in LLVM IR using debug metadata. | Alexander Hck, Sebastian Kreutzer, Christian H. Bischof |
| 2024 | SC | Compiler-Aided Correctness Checking of CUDA-Aware MPI Applications. | Alexander Hck, Tim Ziegler, Simon Schwitanski, Joachim Jenke, Christian H. Bischof |
| 2024 | SC | Designing Quality MPI Correctness Benchmarks: Insights and Metrics. | Tim Jammer, Simon Schwitanski, Emmanuelle Saillard, Alexander Hck, Joachim Jenke, Radjasouria Vinayagame, Christian H. Bischof |
| 2023 | SC | Investigating the Real-World Applicability of MPI Correctness Benchmarks. | Alexander Hck, Tim Jammer, Joachim Jenke, Christian H. Bischof |
| 2020 | OOPSLA | MetaCG: annotated call-graphs to facilitate whole-program analysis. | Jan-Patrick Lehr, Alexander Hck, Yannic Fischler, Christian H. Bischof |
| 2020 | SC | Towards compiler-aided correctness checking of adjoint MPI applications. | Alexander Hck, Joachim Protze, Jan-Patrick Lehr, Christian Terboven, Christian H. Bischof, Matthias S. Mller |
| 2018 | ICCS | Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver. | Alexander Hck, Sebastian Kreutzer, Danny Messig, Arne Scholtissek, Christian H. Bischof, Christian Hasse |
| 2018 | SC | Compiler-aided Type Tracking for Correctness Checking of MPI Applications. | Alexander Hck, Jan-Patrick Lehr, Sebastian Kreutzer, Joachim Protze, Christian Terboven, Christian H. Bischof, Matthias S. Mller |
| 2016 | ICCS | Source Transformation of C++ Codes for Compatibility with Operator Overloading. | Alexander Hck, Jean Utke, Christian H. Bischof |
| 2015 | SCAM | Checking C++ codes for compatibility with operator overloading. | Alexander Hck, Christian H. Bischof, Jean Utke |