Fall 2001, CSE 520: Science of Computer Programming