Christian Lengauer

• Constructive methods for parallel programming
• Domain-specific program generation
• A systolic array for pyramidal algorithims
• Euro-Par'97 Parallel Processing
• On the axiomatic verification of concurrent algorithms