Explore aspects that impact high performance computing. Discuss "goal-oriented programming" that derives programs hand-in-hand with their proof of correctness. Examine techniques for mapping the appropriate algorithms to computer architectures so that they can attain high performance. Three lecture hours a week for one semester. Computer Science 333P and 378 (Topic: Prog Correctness/Performnc) may not both be counted. Prerequisite: The following coursework with a grade of at least C-: Computer Science 429 or 429H and Mathematics 340L, 341, or Statistics and Data Sciences 329C.