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.

Meetings

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! Madhu, Gloria Dunmi, Claire
3 Sep 14 Some Open Questions Relating to Cuckoo Hashing Maya, Manon Karen, Ornella
4 Sep 21 A Few Useful Things to Know about Machine Learning Max, Edwin Melissa, Alia LaTeX exercise due September 22nd
5 Sep 28 Mining association rules between sets of items in large databases Chris, Gloria Alia, Ross Paper topic and references due on September 29th
6 Oct 5 Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications Alex, Keliang Robin, Evan
7 Oct 12 The Moral Character of Cryptographic Work Yu Xuan, Maya Ornella, Karen Annotated bibliography due October 13th
8 Oct 19 Software Aspects of Strategic Defense Systems and Unfalsifiability of Security Claims Chris, Xinyu Milo, Austin
9 Oct 26 SoK: Eternal War in Memory Max, Madhu Thomas, Claire Survey outline and one section due October 27th
10 Nov 2 Experimental Security Analysis of a Modern Automobile Manon, Sonia Austin, Dunmi
11 Nov 9 Time, Clocks, and the Ordering of Events in a Distributed System Keliang, Sonia Ross, Milo
12 Nov 16 Symbolic execution and program testing Xinyu, Alex Evan, Melissa Survey paper/project plan draft due November 22nd
13 Nov 23 Thanksgiving break
14 Nov 30 Stable Internet Routing Without Global Coordination Edwin, Yu Xuan Robin, Thomas Survey paper due Dec 6; project plan due