Projects
SSA-based Register Allocation
AnySL: Efficient and Portable Multi-Language Shading
In cooperation with the Computer Graphics Group we develop a unified shading system that is independent of source language, target architecture and rendering engine without sacrificing runtime performance.
Whole-Function Vectorization
Whole-Function Vectorization enables data-parallel languages to use SIMD instruction sets to exploit more data-level parallelism in addition to multi-threading.
VecImp
VecImp is a theoretical calculus which can be used to extend the type system and semantics of any imperative language for use with portable and efficient SIMD programming.