CPSC 722: Advanced Systems Topics, Spring 2014
Systems and Security Seminar
Instructors: Jakub Szefer and David Wolinsky
Description
Seminar course focusing on discussion of new research and publications in computer systems and security areas. Topics include: Operating Systems, Distributed Systems, Networking, Security and Computer Architecture. Weekly paper reading and paper reviewing, followed by an in-class presentation led by a student responsible for the week's topic.
Course materials
Readings and review form:
Course Requirements
Students taking the course for credit are required to:
-
attend weekly meetings and participate in the discussion;
-
submit 1-2 page conference-style paper review using the provided review form for each week's paper;
-
review each of the assigned papers due on/before the class in which the paper is presented; and
-
present (using own slides) and lead discussion of 1-2 papers during the semester.
Time and Location
Thursdays 11:30 am to 12:30pm in AKW 400. Lunch (usually pizza) will be provided.
Reading schedule
- Thur. Jan. 16: No Meeting
- Thur. Jan. 23: Organizational meeting
- Thur. Jan. 30: "Demo Presentation" presented by David (no assigned reading this week)
- Thur. Feb. 6: "DJoin: Differentially Private Join Queries over Distributed Databases", from OSDI '12, presented by Ennan.
- Thur. Feb. 13: "Eternal Sunshine of the Spotless Machine: Protecting Privacy with
Ephemeral Channels", from OSDI '12, presented by Mark.
- Thur. Feb. 20: "Microgadgets: Size Does Matter In Turing-complete Return-oriented
Programming", from WOOT '12 workshop, co-located with Usenix Security '12, presented by Junaid.
- Thur. Feb. 27: "Dune: Safe User-level Access to Privileged CPU Features", from OSDI '12, presented by David.
- Thur. Mar. 6: "CleanOS: Limiting Mobile Data Exposure with Idle Eviction", from OSDI '12, presented by Danny.
- Thur. Mar. 13: Spring Break
- Thur. Mar. 20: Spring Break
- Thur. Mar. 27: "Everything You Always Wanted to Know about Synchronization but Were Afraid to Ask", from SOPS '13, presented by Ramki
- Thur. Apr. 3: "Tango: distributed data structures over a shared log", from SOSP '13, presented by Jose
- Thur. Apr. 10: No meeting, please attend talk by Bruce Schneier at 10:30 am or 4:00pm or both!
- Thur. Apr. 17: "Software Dataplane Verification", from NSDI '14, presented by Junaid
- Thur. Apr. 24: (no meeting)
- Thur. May 1: Final meeting, wrap up, and CS undergraduate presentations
Previous years
CPSC 722, 2011
CPSC 722, 2012
Academic Integrity Statement
Academic integrity is a core institutional value at Yale. It means, among other things, truth in presentation, diligence and precision in citing works and ideas we have used, and acknowledging our collaborations with others. In view of our commitment to maintaining the highest standards of academic integrity, the Graduate School Code of Conduct specifically prohibits the following forms of behavior: cheating on examinations, problem sets and all other forms of assessment; falsification and/or fabrication of data; plagiarism, that is, the failure in a dissertation, essay or other written exercise to acknowledge ideas, research, or language taken from others; and multiple submission of the same work without obtaining explicit written permission from both instructors before the material is submitted. Students found guilty of violations of academic integrity are subject to one or more of the following penalties: written reprimand, probation, suspension (noted on a student’s transcript) or dismissal (noted on a student’s transcript).