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
Konferenzveröffentlichung, 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.09.2023-13.09.2023)
doi: 10.1145/3615318.3615322
Konferenzveröffentlichung, 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.09.2022-28.09.2022)
doi: 10.1145/3555819.3555853
Konferenzveröffentlichung, 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
Artikel, 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.11.2020-21.11.2020)
doi: 10.1145/3427764.3428320
Konferenzveröffentlichung, Bibliographie

Lehr, Jan-Patrick ; Hück, Alexander ; Fischer, Moritz ; Bischof, Christian
Hrsg.: 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.06.2020-25.06.2020)
doi: 10.1007/978-3-030-59851-8_1
Konferenzveröffentlichung, Bibliographie

Hück, Alexander (2020)
Compiler Support for Operator Overloading and Algorithmic Differentiation in C++.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011522
Dissertation, Erstveröffentlichung

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.11.2020-19.11.2020)
doi: 10.1109/Correctness51934.2020.00010
Konferenzveröffentlichung, 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.11.2018-16.11.2018)
doi: 10.1109/Correctness.2018.00011
Konferenzveröffentlichung, Bibliographie

Hück, Alexander ; Kreutzer, Sebastian ; Messig, Danny ; Scholtissek, Arne ; Bischof, Christian ; Hasse, Christian
Hrsg.: 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
Buchkapitel, 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
Konferenzveröffentlichung, 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
Artikel, 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
Artikel, 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
Artikel, Bibliographie

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

Hück, Alexander ; Willkomm, J. ; Bischof, Christian
Hrsg.: 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
Buchkapitel, Bibliographie

Hück, Alexander ; Willkomm, Johannes ; Bischof, Christian (2014)
Automatic Differentiation with ADiMat.
Ferienakademie 2014. Sarntal/Südtirol
Konferenzveröffentlichung, 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
Konferenzveröffentlichung, Bibliographie

Hück, Alexander ; Bischof, Christian (2014)
Automatic Differentiation for Matlab With ADiMat.
ESCO 2014 4th European Seminar on Computing. Pilsen, Czech Republic
Konferenzveröffentlichung, 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 (06.10.2014-10.10.2014)
Konferenzveröffentlichung, Bibliographie

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

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