From the course catalog:

Reading, discussion and presentation of research papers in an area of computer science. Each student will write a survey paper and must regularly attend the Computer Science Colloquium.

Prerequisites: three CS courses 81 or above. This course is required for seniors majoring in CS. Please see the syllabus for more information.


Week Day Topic Presenters (9:35am) Presenters (11am) Notes
1 Aug 31 Paper selection
2 Sep 7 Producing Wrong Data Without Doing Anything Obviously Wrong!
3 Sep 14 Some Open Questions Relating to Cuckoo Hashing
4 Sep 21 A Few Useful Things to Know about Machine Learning LaTeX exercise due September 22nd
5 Sep 28 Mining association rules between sets of items in large databases Paper topic and references due on September 29th
6 Oct 5 Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications
7 Oct 12 The Moral Character of Cryptographic Work Annotated bibliography due October 13th
8 Oct 19 Software Aspects of Strategic Defense Systems and Unfalsifiability of Security Claims
9 Oct 26 SoK: Eternal War in Memory Survey outline and one section due October 27th
10 Nov 2 Experimental Security Analysis of a Modern Automobile
11 Nov 9 Time, Clocks, and the Ordering of Events in a Distributed System
12 Nov 16 Symbolic execution and program testing Survey paper/project plan draft due November 22nd
13 Nov 23 Thanksgiving break
14 Nov 30 Stable Internet Routing Without Global Coordination Survey paper due Dec 6; project plan due