CS 5320 course at Cornell Fall 2013