Welcome to CS 378 Programming for Correctness and Performance. I'm glad you're here. Let's get started.