Alexander Hück

Alexander Hück, M.Sc.

Alexanderstraße 2
64283 Darmstadt

Office: S1|22 412

+49 6151 16-75577
+49 6151 16-25345


More information

About Myself

I studied Computational Engineering at TU Darmstadt. I acquired my B.Sc. at the Simulation, Systems Optimization and Robotics Group. After a two semester stay abroad at the Nanyang Technological University (NTU) in Singapore I got my M.Sc. at the Scientific Computing Group. Subsequently, I started my work here as a researcher under the supervision of Prof. Dr. Christian Bischof.

Research Interest

  • Source Transformation
  • Static Code Analysis
  • Algorithmic Differentiation

Further Information

Miscellaneous

If not shown on this page, my publications and supervised theses can be found under my extended profile.

go to list

Open Positions

Word cloud of two of my authored papers.
Word cloud of two of my authored papers.

I am always looking for Bachelor and Master thesis candidates and student research assistants (i.e., HiWi).

Topics include my research interests with a focus on the programming language C++ (see the file list below). However, I am also looking into other modern programming languages, e.g., Rust. Please take a look at the general overview document for further information.

Additionally, feel free to with your own proposal and we can work on an appropriate topic together.

DateiTypGröße
Improving a C++ Static Code AnalyzerPDF-File492kB
Source Transformation Tool to Globally Replace API CallsPDF-File549kB

Publications and Talks

Group by: Date | Item type | No grouping
Jump to: 2018 | 2017 | 2016 | 2015 | 2014 | 2013
Number of items: 13.

2018

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

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.) :

Application of Algorithmic Differentiation for Exact Jacobians to the Universal Laminar Flame Solver.
[Online-Edition: https://doi.org/10.1007/978-3-319-93713-7_43]
In: Computational Science – ICCS 2018. Lecture Notes in Computer Science, 10862. Springer International Publishing , S. 480-486. ISBN 978-3-319-93713-7 ISSN 0302-9743
[Book section] , (2018)

Lehr, Jan-Patrick ; Hück, Alexander ; Bischof, Christian :
PIRA: Performance Instrumentation Refinement Automation.
[Online-Edition: http://doi.acm.org/10.1145/3281070.3281071]
In: Proceedings of the 5th ACM SIGPLAN International Workshop on Artificial Intelligence and Empirical Methods for Software Engineering and Parallel Computing Systems, Boston, MA, USA. In: AI-SEPS 2018 . ACM , New York, NY, USA
[ Conference item] , (2018)

2017

Hück, Alexander ; Bischof, Christian ; Sagebaum, Max ; Gauger, Nicolas R. ; Jurgelucks, Benjamin ; Larour, Eric ; Perez, Gilberto :
A usability case study of algorithmic differentiation tools on the ISSM ice sheet model.
[Online-Edition: https://doi.org/10.1080/10556788.2017.1396602]
In: Optimization Methods and Software S. 1-24. ISSN 1055-6788
[Article] , (2017)

2016

Hück, Alexander ; Utke, Jean ; Bischof, Christian :
Source Transformation of C++ Codes for Compatibility with Operator Overloading.
[Online-Edition: http://dx.doi.org/10.1016/j.procs.2016.05.470]
In: Procedia Computer Science, 80 S. 1485-1496. ISSN 18770509
[Article] , (2016)

2015

Hück, Alexander ; Bischof, Christian ; Utke, Jean :
Checking C++ Codes for Compatibility with Operator Overloading.
[Online-Edition: http://ieeexplore.ieee.org/servlet/opac?punumber=7321933]
In: 2015 IEEE 15th International Working Conference on Source Code Analysis and Manipulation (SCAM), 15 S. 91-100.
[Article] , (2015)

Hück, Alexander ; Bischof, Christian :
OO-Lint for Operator Overloading in C++.
[Online-Edition: http://llvm.org/devmtg/2015-04/]
In: 2015 European LLVM Conference, London, UK.
[ Conference item] , (2015)

Hück, Alexander ; Willkomm, J. ; Bischof, Christian
Mehl, Miriam ; Bischoff, Manfred ; Schäfer, Michael (eds.) :

Source Transformation for the Optimized Utilization of the Matlab Runtime System for Automatic Differentiation.
[Online-Edition: https://www.springer.com/de/book/9783319229966#]
In: Recent Trends in Computational Engineering - CE2014. Lecture Notes in Computational Science and Engineering, 105. Springer , S. 115-131. ISBN 978-3-319-22996-6 ISSN 1439-7358
[Book section] , (2015)

2014

Hück, Alexander ; Willkomm, Johannes ; Bischof, Christian :
Automatic Differentiation with ADiMat.
[Online-Edition: http://www.ferienakademie.de]
In: Ferienakademie 2014, Sarntal/Südtirol.
[ Conference item] , (2014)

Hück, Alexander ; Bischof, Christian :
Automatic Source Transformation and Performance Evaluation for Optimized Utilization of the Matlab Runtime System.
[Online-Edition: http://www.autodiff.org/?module=Workshops&submenu=EuroAD/15/...]
In: 15th European Workshop on Automatic Differentiation, INRIA Sophia-Antipolis, France.
[ Conference item] , (2014)

Hück, Alexander ; Bischof, Christian :
Automatic Differentiation for Matlab With ADiMat.
[Online-Edition: http://www.esco2014.femhub.com/]
In: ESCO 2014 4th European Seminar on Computing, Pilsen, Czech Republic.
[ Conference item] , (2014)

Hück, Alexander ; Bischof, Christian :
Source Transformation for the Optimized Utilization of the Matlab Runtime System for Automatic Differentiation.
[Online-Edition: http://ipvs.informatik.uni-stuttgart.de/SGS/ICCE2014/]
In: 3rd International Workshop on Computational Engineering, October 6-10, 2014, Stuttgart, Germany.
[ Conference item] , (2014)

2013

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

This list was generated on Fri Apr 19 04:36:29 2019 CEST.

Teaching