Theses

Theses at our institute provide the opportunity to work on state-of-the-art research challenges and tools within our activities. Our theses are tightly connected to our own research. Thus, you will interact with your advisor and maybe other research group members. Our group is always open to motivated students who are interested in a thesis at our institute.

Info

If u are interested in a thesis topic at our institute, please have a look at our open theses offerings and contact the corresponding staff member via e-mail directly. Please do not contact the secretary.

Note: LaTeX Template exists here

Open Theses

Currently no items available.

Ongoing Theses

Compiler based polling-synchronisation detection

Master Thesis

Supervisors: Prof. Christian Bischof, Tim Heldmann, M. Sc.
Cost and benefit analysis of recursion chunking

Bachelor Thesis

Supervisors: Prof. Christian Bischof, Tim Heldmann, M. Sc.

Info

Open Theses

Ongoing Theses

Compiler based polling-synchronisation detection

Cost and benefit analysis of recursion chunking

Finished Theses

Acceleration the Flux-Based Satellite Conjunction Detection Method using Julia

A Dynamic Instrumentation Plugin for Score-P

Time and Memory Optimisation of a Large-Scale Satellite Orbit Simulation

Development of an LLVM-compiler pass to count function invocations

Clang-Tidy checks for OpenMP-parallel programs

Entwicklung einer instruktionsmixberücksichtigenden Kostenabschätzung für die Ausführung von LLVM Basic-Blöcken

Compiler-assisted analysis of templating opportunities

Branch elimination in LLVM's intermediate representation

Compiler assisted speculative recursion unrolling

Speculative recursion unrolling

Study to analyze the usage of OpenMP in practice

A Multi-precision Implementation of the Supersingular Isogeny Key Encapsulation (SIKE) Scheme

A Mutation-Based Approach for Evaluating MPI- Correctness Tools

Automatic compiler-assisted API-change detection

An IDE Plugin for Automatic MPI Code Refactoring

Automated API Refactoring with Clang

Optimization of persistent MPI operations for non contiguous datatypes

On efficient memory hashing for redundant function calls

Efficient runtime type checking of MPI applications using TypeART

LLVM-based Interprocedural Dataflow Tracking

Using link-time optimization to embed call graphs into binaries

Just in time Compilation zur Optimierung von Partitioned Mpi operationen

Effiziente Multiplikation dünn besetzter Polynome im qTESLA post-quantum Signaturverfahren

Implementierung und Optimierung von LLL Algorithmen

Analysis and optimization of OpenMP reduce operations on NUMA architectures

Improvements to completeness and precision of MetaCG

The influence on hardware performance counter measurements revisited

Impact of Profiling Probes on Specific Compiler Optimizations

Autotuning Specialized Kernels with ClangJIT

Automatic load imbalance detection in ISSM using PIRA

Konzeption und Implementierung einer Benchmark Suite zur Evaluierung von MPI Correctness Tools

Optimizing the load balancing of the ISSM with OpenTuner

Design and testing of a measurement environment for direct measurement of a compiler’s OpenMP runtime functions

Facilitation of Regression Testing for a C++ Static Code Analysis Tool for Complex Applications

Development of a Type-safe Checkpoint/Restart Library Abstraction for High-performance Computing

Parallelizing the Level 2A Processor of Sentinel-2 Satellite Imagery

Jump Table Instrumentation for Performance Analysis

Performance Analysis of the Bounded Support Spectral Solver

Traceability and Reproducibility of Benchmark Results

Hybride Parallelisierung und Performanceoptimierung graphenbasierter, mechanischer Simulationen von Super-Kohlenstoff-Nanoröhrchen

Implementing Algorithmic Differentiation Capabilities in the Universal Laminar Flame Solver

Optimierte Multiplikation von Vektoren und dünn besetzten Matrizen fester Struktur auf Multicore-CPUs und GPUs

Effiziente Datenstruktur zur Abspeicherung von Tupel- basierten Graphen

Performance Analyse und Tuning von UG4

Improved Call-Graph validation using targeted instrumentation

Performance Measurement and Optimization of Cache Strategies for SQL-Based Business Web Services

Assisted API Change adjustment via LSP

Evaluating the Correspondence of Sequential Real and Proxy Apps using Hierarchical Clustering

Simulation of the Quantum Hybrid Attack in Q#

Developing Performance Models for Codes with Exponential Runtime Behavior

Identifying potential instances of patterns in code

Implementation of an Instrumentation Automation Framework

Erweiterung des Forschungscodes mismo hinsichtlich einer neuartigen Benutzerschnittstelle zur Implementierung beliebiger numerischer Methoden im Kontext allgemeiner Diskretisierungsverfahren

Ableitungsberechnung auf GPUs mit Matlab

Adaptierung des Shallow Water Codes zur Simulation seichter Gewässer für den Intel Xeon Phi

Bestimmung von Nichtnull-Mustern von Jacobimatrizen in ADiMat

Statische Auflösung von Überladenen Operatoren in Matlab

Implementierung von Performance Assertions für MPI Metriken