CS 312: Assignments for Spring 2013