Current/Past Projects

Ongoing Work

FFTW-GEL (2000-2003, 2004)

An architecture-specific high-performance implementation of FFTW.

CFT (2000-)

A debugging tool for pure logic and constraint-logic programs.

Contributions to GUPU (1998-)

Includes reference implementations, problem-specific viewers, new assignments as well as some low-level improvements.

Simple pure Prolog programs (2003-)

These programs solve some logic puzzle, etc. Typically, these took a few minutes to write.

Completed Work

Eye-friendly Animations in XFree86 (2002)

Techniques presented here can be used to avoid tearing effects in fast animations.

Automatic Extraction of FMA-instructions (2001)

Uses a rewriting system to propagate multiplications with constants. Used in the IA64-prototype of FFTW-GEL.

FFTW-SIMD (2000, 2001)

Supported Franz Franchetti's efforts in creating a SIMD-vectorized version of FFTW.

MUltlog (2000)

Contributed some code to the optimization procedure for operators.