已备份的只读页面,所有修改将不会被保存!!!

Course Name: Advanced Operating Systems (Spring Semester, 2015)


INTRO

80240442 is a graduate seminar on research in system software. The goal of the class is to get the students to understand the internal of system software, such as performance optimization for multicore architecture, system security, verified system, etc. The structure of the class will consist of students presenting research papers during lecture, and students working on significant research projects. We expect students to start working or repeating on the existed great research projects in the first week or two, and continue for the entire semester, culminating in a draft research paper. Examples of project include building commuter, kint, , FP-Miner, jitk, ucore -- simple OS kernel, etc.

SCHEDULING

Tuesday 13:30pm – 15:10pm 6A407 room, 6th Teaching Building

STAFF

TA

TEXT BOOK

No text book

LECTURES

PROJECT

REPEAT

DIY

READING LIST

Performance

  1. http://pdos.csail.mit.edu/commuter

  2. https://github.com/fastos/fastsocket

  3. http://pdos.csail.mit.edu/mosbench/

System Security

  1. http://css.csail.mit.edu/kint/

  2. http://web.stanford.edu/~engler/klee-osdi-2008.pdf

  3. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6899198&filter%3DAND%28p_IS_Number%3A6899181%29

Verified System

  1. http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf

  2. http://pdos.csail.mit.edu/papers/jitk:osdi14.pdf

  3. http://css.csail.mit.edu/6.888/2015/

GRADING

  1. Reading Paper and Reating the work from the paper : 60 %
  2. DIY project : 40%

LECTURES

READING-REPORTS

LABS

AOS2015 (last edited 2020-02-16 03:57:16 by xyong)

MoinMoin Appliance - Powered by TurnKey Linux