378 Programming for Correctness and Performance

Topics include program verification, goal-­oriented programming, the basics of a modern architecture and hierarchical memories, anatomy of high­-performance matrix­-matrix multiplication, deriving high-­performance implementations for matrix operations, parallelization for multi­core architectures, and parallelizatoin for distributed memory architectures. Prerequisite: Upper-division standing; additional prerequisites vary with the topic.