Hück, Alexander ; Jammer, Tim ; Jenke, Joachim ; Bischof, Christian (2023)
Investigating the Real-World Applicability of MPI Correctness Benchmarks.
International Conference on High Performance Computing, Network, Storage, and Analysis 2023. Denver, USA (12.11.2023 - 17.11.2023)
doi: 10.1145/3624062.3624091
Conference or Workshop Item, Bibliographie

Hück, Alexander ; Jammer, Tim ; Jenke, Joachim ; Bischof, Christian (2023)
Investigating the Usage of MPI at Argument-Granularity in HPC Codes.
30th European MPI Users' Group Meeting (EuroMPI'23). Bristol, United Kingdom (11.-13.09.2023)
doi: 10.1145/3615318.3615322
Conference or Workshop Item, Bibliographie

Jammer, Tim ; Hück, Alexander ; Lehr, Jan-Patrick ; Protze, Joachim ; Schwitanski, Simon ; Bischof, Christian (2022)
Towards a Hybrid MPI Correctness Benchmark Suite.
29th European MPI Users' Group Meeting. Chattanooga, USA (26.-28.09.2022)
doi: 10.1145/3555819.3555853
Conference or Workshop Item, Bibliographie

Hück, Alexander ; Kreutzer, Sebastian ; Protze, Joachim ; Lehr, Jan-Patrick ; Bischof, Christian ; Terboven, Christian ; Müller, Matthias S. (2022)
Compiler-Aided Type Correctness of Hybrid MPI-OpenMP Applications.
In: IT Professional, 24 (2)
doi: 10.1109/MITP.2021.3093949
Article, Bibliographie

Lehr, Jan-Patrick ; Hück, Alexander ; Fischler, Yannic ; Bischof, Christian (2020)
MetaCG : Annotated call-graphs to facilitate whole-program analysis.
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity. Virtual Conference (15.-21.11.)
doi: 10.1145/3427764.3428320
Conference or Workshop Item, Bibliographie

Lehr, Jan-Patrick ; Hück, Alexander ; Fischer, Moritz ; Bischof, Christian
eds.: Jagode, Heike ; Anzt, Hartwig ; Juckeland, Guido ; Ltaief, Hatem (2020)
Compiler-Assisted Type-Safe Checkpointing.
35th International Conference on High Performance 2020 Computing. Frankfurt, Germany (21.-25.06.)
doi: 10.1007/978-3-030-59851-8_1
Conference or Workshop Item, Bibliographie

Hück, Alexander (2020)
Compiler Support for Operator Overloading and Algorithmic Differentiation in C++.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011522
Ph.D. Thesis, Primary publication

Hück, Alexander ; Protze, Joachim ; Lehr, Jan-Patrick ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2020)
Towards compiler-aided correctness checking of adjoint MPI applications.
4th International Workshop on Software Correctness for HPC Applications (Correctness). Virtual Conference (09.-19.11.2020)
doi: 10.1109/Correctness51934.2020.00010
Conference or Workshop Item, Bibliographie

Hück, Alexander ; Lehr, Jan-Patrick ; Kreutzer, Sebastian ; Protze, Joachim ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2018)
Compiler-aided type tracking for correctness checking of MPI applications.
2nd International Workshop on Software Correctness for HPC Applications (Correctness). Dallas, TX, USA (11.-16. Nov. 2018)
doi: 10.1109/Correctness.2018.00011
Conference or Workshop Item, Bibliographie

Hück, Alexander ; Kreutzer, Sebastian ; Messig, Danny ; Scholtissek, Arne ; Bischof, Christian ; Hasse, Christian
eds.: Shi, Y. ; Fu, H. ; Tian, Y. ; Krzhizhanovskaya, V. V. ; Lees, M. H. ; Sloot, P. M. A. (2018)
Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver.
In: Computational Science – ICCS 2018
doi: 10.1007/978-3-319-93713-7_43
Book Section, Bibliographie

Lehr, Jan-Patrick ; Hück, Alexander ; Bischof, Christian (2018)
PIRA: Performance Instrumentation Refinement Automation.
Proceedings of the 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems. Boston, MA, USA
doi: 10.1145/3281070.3281071
Conference or Workshop Item, Bibliographie

Hück, Alexander ; Bischof, Christian ; Sagebaum, Max ; Gauger, Nicolas R. ; Jurgelucks, Benjamin ; Larour, Eric ; Perez, Gilberto (2017)
A usability case study of algorithmic differentiation tools on the ISSM ice sheet model.
In: Optimization Methods and Software, 33 (4-6)
doi: 10.1080/10556788.2017.1396602
Article, Bibliographie

Hück, Alexander ; Utke, Jean ; Bischof, Christian (2016)
Source Transformation of C++ Codes for Compatibility with Operator Overloading.
In: Procedia Computer Science, 80
doi: 10.1016/j.procs.2016.05.470
Article, Bibliographie

Hück, Alexander ; Bischof, Christian ; Utke, Jean (2015)
Checking C++ Codes for Compatibility with Operator Overloading.
In: 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM), 15
doi: 10.1109/SCAM.2015.7335405
Article, Bibliographie

Hück, Alexander ; Bischof, Christian (2015)
OO-Lint for Operator Overloading in C++.
2015 European LLVM Conference. London, UK
Conference or Workshop Item, Bibliographie

Hück, Alexander ; Willkomm, J. ; Bischof, Christian
eds.: Mehl, Miriam ; Bischoff, Manfred ; Schäfer, Michael (2015)
Source Transformation for the Optimized Utilization of the Matlab Runtime System for Automatic Differentiation.
In: Recent Trends in Computational Engineering - CE2014
doi: 10.1007/978-3-319-22997-3_7
Book Section, Bibliographie

Hück, Alexander ; Willkomm, Johannes ; Bischof, Christian (2014)
Automatic Differentiation with ADiMat.
Ferienakademie 2014. Sarntal/Südtirol
Conference or Workshop Item, Bibliographie

Hück, Alexander ; Bischof, Christian (2014)
Automatic Source Transformation and Performance Evaluation for Optimized Utilization of the Matlab Runtime System.
15th European Workshop on Automatic Differentiation. INRIA Sophia-Antipolis, France
Conference or Workshop Item, Bibliographie

Hück, Alexander ; Bischof, Christian (2014)
Automatic Differentiation for Matlab With ADiMat.
ESCO 2014 4th European Seminar on Computing. Pilsen, Czech Republic
Conference or Workshop Item, Bibliographie

Hück, Alexander ; Bischof, Christian (2014)
Source Transformation for the Optimized Utilization of the Matlab Runtime System for Automatic Differentiation.
3rd International Workshop on Computational Engineering. Stuttgart, Germany (October 6-10, 2014)
Conference or Workshop Item, Bibliographie

Hück, Alexander (2013)
Automatic Source Transformation and Performance Evaluation for Optimized Utilization of the Matlab Runtime System.
Technische Universität Darmstadt
Master Thesis, Bibliographie

Hück, Alexander (2010)
Analysis of the communication overhead of complex control applications for mobile robots.
Technische Universität Darmstadt
Bachelor Thesis, Bibliographie