cs313 sokolsky