Markus Püschel
professor
computer science
Institute of Theoretical Computer Science
Switzerland
Biography
working as a professor
Research Interest
I like to combine techniques from mathematics, computer science, and engineering to attack difficult problems. One longstanding interest of mine is what I call "program synthesis for performance." For functionality of mathematical nature we aim to automatically generate highest performance code from a high level mathematical description. In Spiral, we have built such a generator for the domain of linear transforms. The project combines techniques from mathematics, programming languages, symbolic computation, compilers, and machine learning (short overview). We are currently expanding this project in several directions
Publications
-
Fast Polyhedra Abstract Domain
-
Staging for Generic Programming in Space and Time
-
Fast Pentagon Domain on Vector Architectures
