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 | Tuesday | Topic (CS190-01) | Presenters | Thursday | Topic (CS190-02) | Presenters | |
|---|---|---|---|---|---|---|---|
| 1 | Aug 30 | Intro | Sep 1 | Intro | |||
| 2 | Sep 6 | A Few Useful Things to Know about Machine Learning | Tim Kebr, Clayton To | Sep 8 | A Few Useful Things to Know about Machine Learning | Conor Fanlo, Marina Kent | Senior project meeting on Sep 6, 4:15pm, Edmunds 114 |
| 3 | Sep 13 | Some Open Questions Relating to Cuckoo Hashing | Lucas Dos Santos, Zac Wilson | Sep 15 | Some Open Questions Relating to Cuckoo Hashing | Marina Kent, Kelli Rockwell | |
| 4 | Sep 20 | Software Model Checking | Natalie Casey, Molly Driscoll | Sep 22 | Software Model Checking | Conor Fanlo, Tony Ramos | Latex exercise due Sep 23 |
| 5 | Sep 27 | Declassification: Dimensions and Principles | Kayla Flaten, Maddie Gordon | Sep 29 | Declassification: Dimensions and Principles | Michael Diamond, Anant Jaitha | Paper topic and references due Sep 30 |
| 6 | Oct 4 | Featherweight Java | Eric Campbell | Oct 6 | Featherweight Java | Tony Ramos, Justin Chan | |
| 7 | Oct 11 | The Moral Character of Cryptographic Work | Antony Bello, Maddie Gordon, Clayton To | Oct 13 | The Moral Character of Cryptographic Work | Jennifer Nguyen, Michael Diamond | Annotated bibliography due Oct 14 |
| 8 | Oct 18 | Fall recess | Oct 20 | Software Aspects of Strategic Defense Systems and Unfalsifiability of Security | Nick Reminder, Patrick Shao | ||
| 9 | Oct 25 | Software Aspects of Strategic Defense Systems and Unfalsifiability of Security Claims | Natalie Casey, Noam Hurwitz | Oct 27 | SoK: Eternal War in Memory | Anant Jaitha, Patrick Shao | Survey outline and one section due Oct 28 |
| 10 | Nov 1 | SoK: Eternal War in Memory | Tim Kebr, Zac Wilson | Nov 3 | Experimental Security Analysis of a Modern Automobile | Jennifer Nguyen, Nick Reminder | |
| 11 | Nov 8 | Experimental Security Analysis of a Modern Automobile | Kayla Flaten, Noam Hurwitz | Nov 10 | Time, Clocks, and the Ordering of Events in a Distributed System | Kelli Rockwell, Sean Zhu | |
| 12 | Nov 15 | Time, Clocks, and the Ordering of Events in a Distributed System | Molly Driscoll, Zach Hauser | Nov 17 | NetKAT: Semantic Foundations for Networks | Tessa Barton, Justin Chan | |
| 13 | Nov 22 | NetKAT: Semantic Foundations for Networks | Antony Bello, Lucas Dos Santos | Nov 24 | Thanksgiving | Survey draft due Nov 21; project plan draft due | |
| 14 | Nov 29 | Boomerang | Eric Campbell, Zach Hauser | Dec 1 | Boomerang | Tessa Barton, Sean Zhu | |
| 15 | Dec 6 | No class | Survey paper due Dec 7; project plan due |