From C2Dace to C++2Dace

Abstract

C and C++ are popular languages for writing performance critical applications, as they offer great performance when used to program almost any device. Unfortunately, when trying to achieve state of the art performance on any system, the code has to be specifically written and optimized for it. This process is time consuming and requires a lot of know-how. In this thesis I work on a tool that aims to map existing C/C++ programs to a dataflow representation. This representation can then be used to generate high performance code for many current systems. I will present how I convert specific language features of C and C++ into the dataflow model and how to ensure correctness for these conversions.