Advanced Topics in Computer Systems
Computer Science Seminar 5 (236805), Spring 2010
(Taub 611, phone: 2056)||
|Time & place:
|| 16:30-18:30, Taub 4
- Each student will prepare a 50 minutes presentation, out of which
10 minutes will be reserved for questions/discussion. (Questions
may occur within or after the talk.) Students are expected to
fully understand their assigned paper, including the material that
is not covered by their slides. The student-to-paper assignments
are listed below along with the corresponding dates.
- Notice that the original presentations (the slides) of most of
this seminar's papers can be found on the web, typically through
one of the links provided below (or through the authors' homepage;
use Google). Additionally, often times the slides are accompanied
by a video of the original presentation. You are encouraged to use
these slides/videos as the basis of your presentations, but bear
in mind that the duration of the original presentations is usually
25 minutes, so you have more time for providing required
background, expending on interesting aspects, and, most
importantly, make sure people understand.
- Please email me your slides not after 8pm, a day before your talk.
- Talk (at least 85%), participation (at most 15%), reduction of 5
points for each (unjustified) absence.
- Talk will be graded by: knowledge of the material, communication
of ideas, and working within your allocated 50 minutes. Main
goal: make people understand!
- Recommended prerequisites: operating systems, mamas.
- Reception hours: Wednesday 18:30-19:30 (after class).
- Course syllabus: here.
- Mostly best papers from recent prominent system
SIGMETRICS'09 best presentation and EUROSYS'09 best paper
LISA'09 best papers
FAST'10 best papers
USENIX SECURITY'09 best papers
PACT'09 best paper finalists
Advanced memory management (from ASPLOS)
USENIX ATC'09 best papers
Advanced scheduling (from ASPLOS'10)
OSDI'08 & SOSP'09 best papers
seL4: Formal Verification of an OS Kernel
Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Michael Norrish, Rafal Kolanski, Thomas Sewell, Harvey Tuch, Simon Winwood (NICTA - National Information and Communications Technology, Australia)
ACM Symposium on Operating Systems Principles (SOSP), 2009
student: Maria Klapchuk