Research


Embedded systems
: Compiler support for the embedded domain.


S-Net
: Component technology and coordination language for stream processing.


Single Assignment C
: functional array processing for high-performance computing on CMPs.

Multithreaded branch prediction

Automatic differentiation