15-712 Advanced and Distributed Operating Systems, Fall 2015

Latest Announcements

9/9: Announcements will be via Piazza
Please enroll in Piazza for this course...announcements will be broadcast via Piazza.
9/9: Readings for first five lectures
The readings for the first 5 lectures are available via the given links off the syllabus page.

See all announcements XML logoRSS 2.0 feed


15-712 is a PhD course in operating and distributed systems. The learning objectives are:

Please note: This course is open to SCS and ECE Ph.D. students. Other students may be admitted by the permission of the instructor; please attend the first few sessions to see if you're interested. There will be a hard limit for the total number of students to ensure good in-class discussion and sufficient "face-time" for project meetings.

This course assumes a basic familiarity with operating sytems concepts. The course will consist of a reading/lecture/discussion component and a project component. The class will cover approximately 40 research papers. Some of these papers will introduce students to the basic principles on which modern operating systems and distributed systems are based. Others will cover more recent work to explore the state of the art and observe the evolution of these systems over time.

Students are expected to read papers before the class and participate in the discussion during the class.

We will be using Piazza for class discussion. Rather than emailing questions to Phil and/or Kevin, please post your questions on Piazza at 15-712 Piazza.

Course Staff


NameEmailOfficeOffice Hours
Phil Gibbons GHC 7221 Wed 4:30-5:30

Teaching Assistant

NameEmailOfficeOffice Hours
Kevin Hsieh CIC 4th Floor Tues 4:30-6:00 & By Appointment

Course Secretary

Angela Luck GHC 6006

Course Policies


Students are encouraged to talk to each other, to the course staff, or to anyone else about any of the assignments. Assistance must be limited to discussion of the problem and sketching general approaches to a solution. Each student must write out his or her own solutions to the homework.

Late Policy

Last updated: Tue Oct 27 09:50:43 -0400 2015 [validate xhtml]