Alexander Hück -

Registered user since Tue 12 Aug 2025

Name:Alexander Hück

Country:Germany

Affiliation:Scientific Computing, TU Darmstadt

GitHub: https://github.com/ahueck

Research interests:Correctness

Contributions

2025

SCAM

Author of llvm-dimeta: A library for extracting source-level type information in LLVM IR using debug metadata. within the Engineering Track-track

2020

TAPAS

Author of MetaCG: Annotated call-graphs to facilitate whole-program analysis within the TAPAS-track

2018

AI-SEPS

Author of PIRA: Performance Instrumentation Refinement Automation within the AI-SEPS-track