CS 312: Assignments for Summer 2013