This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

less than 1 minute read

Published: August 14, 2014

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

less than 1 minute read

Published: August 14, 2013

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

less than 1 minute read

Published: August 14, 2012

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

publications

Implementing the WiPo Architecture

Published in 2014 E-Commerce and Web Technologies - 15th International Conference (EC-Web), 2014

Download here

Implementing the WiPo Architecture

Published in Technical Report, 2014

Download here

High Quality Information Delivery: Demonstrating the Web in Your Pocket for Cineast Tourists

Published in 2016 Datenbanksysteme für Business, Technologie und Web (BTW), 2015

Download here

Programming GPUs with C++14 and Just-In-Time Compilation

Published in 2016 International Conference on Parallel Computing (ParCo), 2015

Download here

Towards Efficient Multicast Communication in Software-Defined Networks

Published in 2016 International Conference on Distributed Computing Systems Workshops (ICDCS), 2016

Download here

A Transformation-Based Approach to Developing High-Performance GPU Programs

Published in 2017 Ershov Informatics Conference (the PSI Conference Series, 11th edition), 2017

Download here

High Performance Stencil Code Generation with Lift

Published in 2018 International Symposium on Code Generation and Optimization (CGO), 2018

Software Artifact for independent evaluation of the performance results

Download here

Swizzle Inventor: Data Movement Synthesis for GPU Kernels

Published in 2019 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2019

Download here

Tiling Optimizations for Stencil Computations Using Rewrite Rules in Lift

Published in ACM Transactions on Architecture and Code Optimization, 2019

Download here

High-Level Hardware Feature Extraction for GPU Performance Prediction of Stencils

Published in 2020 Annual Workshop on General Purpose Processing using Graphics Processing Unit (GPGPU@PPoPP 2020), 2020

Download here

A Language for Describing Optimization Strategies

Published in Arxiv, 2020

Download here

Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs

Published in Arxiv, 2020

Download here

Achieving High-Performance the Functional Way - A Functional Pearl on Expressing High-Performance Optimizations as Rewrite Strategies

Published in ACM SIGPLAN International Conference on Functional Programming (ICFP 2020), 2020

Optimizing programs to run efficiently on modern parallel hardware is hard but crucial for many applications. The predominantly used imperative languages - like C or OpenCL - force the programmer to intertwine the code describing functionality and optimizations. This results in a portability nightmare that is particularly problematic given the accelerating trend towards specialized hardware devices to further increase efficiency. Many emerging DSLs used in performance demanding domains such as deep learning or high-performance image processing attempt to simplify or even fully automate the optimization process. Using a high-level - often functional - language, programmers focus on describing functionality in a declarative way. In some systems such as Halide or TVM, a separate schedule specifies how the program should be optimized. Unfortunately, these schedules are not written in well-defined programming languages. Instead, they are implemented as a set of ad-hoc predefined APIs that the compiler writers have exposed.

Download here