TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 19.

Hück, Alexander ; Protze, Joachim ; Lehr, Jan-Patrick ; Terboven, Christian ; Bischof, Christian ; Müller, Matthias S. (2021):
Towards compiler-aided correctness checking of adjoint MPI applications. (Preprint)
In: Proceedings of Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, pp. 40-48,
Darmstadt, IEEE, 2020 IEEE/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness), 11.11.2020, ISBN 978-0-7381-1044-8,
DOI: 10.26083/tuprints-00018889,
[Conference or Workshop Item]

Lehr, Jan-Patrick ; Hück, Alexander ; Fischler, Yannic ; Bischof, Christian (2020):
MetaCG : Annotated call-graphs to facilitate whole-program analysis.
In: TAPAS 2020: Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, pp. 3-9,
ACM, SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity, Virtual Conference, 15.-21.11., ISBN 978-1-4503-8189-5,
DOI: 10.1145/3427764.3428320,
[Conference or Workshop Item]

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

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

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.
In: Software Correctness for HPC Applications, In: Proceedings of Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, pp. 40-48,
IEEE, 4th International Workshop on Software Correctness for HPC Applications (Correctness), Virtual Conference, 09.-19.11.2020, ISBN 978-0-7381-1045-5,
DOI: 10.1109/Correctness51934.2020.00010,
[Conference or Workshop Item]

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.
pp. 51-58, 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]

Hück, Alexander ; Kreutzer, Sebastian ; Messig, Danny ; Scholtissek, Arne ; Bischof, Christian ; Hasse, Christian
Shi, Y. ; Fu, H. ; Tian, Y. ; Krzhizhanovskaya, V. V. ; Lees, M. H. ; Sloot, P. M. A. (eds.) (2018):
Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver.
In: Lecture Notes in Computer Science, 10862, In: Computational Science – ICCS 2018, pp. 480-486, Springer International Publishing, ISBN 978-3-319-93713-7,
DOI: 10.1007/978-3-319-93713-7_43,
[Book Section]

Lehr, Jan-Patrick ; Hück, Alexander ; Bischof, Christian (2018):
PIRA: Performance Instrumentation Refinement Automation.
In: AI-SEPS 2018, pp. 1-10, New York, NY, USA, ACM, Proceedings of the 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems, Boston, MA, USA, ISBN 978-1-4503-6067-8,
DOI: 10.1145/3281070.3281071,
[Conference or Workshop Item]

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), pp. 844-867. ISSN 1055-6788,
DOI: 10.1080/10556788.2017.1396602,
[Article]

Hück, Alexander ; Utke, Jean ; Bischof, Christian (2016):
Source Transformation of C++ Codes for Compatibility with Operator Overloading.
In: Procedia Computer Science, 80, pp. 1485-1496. ISSN 18770509,
[Article]

Hück, Alexander ; Bischof, Christian ; Utke, Jean (2015):
Checking C++ Codes for Compatibility with Operator Overloading.
In: IEEE International Workshop on Source Code Analysis and Manipulation, In: 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM), 15, pp. 91-100. IEEE, [Article]

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

Hück, Alexander ; Willkomm, J. ; Bischof, Christian
Mehl, Miriam ; Bischoff, Manfred ; Schäfer, Michael (eds.) (2015):
Source Transformation for the Optimized Utilization of the Matlab Runtime System for Automatic Differentiation.
In: Lecture Notes in Computational Science and Engineering, 105, In: Recent Trends in Computational Engineering - CE2014, pp. 115-131, Springer, ISBN 978-3-319-22996-6,
[Book Section]

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

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

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

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]

Hück, Alexander (2013):
Automatic Source Transformation and Performance Evaluation for Optimized Utilization of the Matlab Runtime System.
TU Darmstadt, [Master Thesis]

Hück, Alexander (2010):
Analysis of the communication overhead of complex control applications for mobile robots.
Darmstadt, Technische Universität Darmstadt, Department of Computer Science, [Bachelor Thesis]

This list was generated on Tue Oct 19 07:23:50 2021 CEST.