Time: Fridays 2:00 - 3:00pm, unless otherwise noticed.
Location: DSL conference room (next to the Eniac shrine), unless otherwise noticed.
Email peifang@dsl.cis.upenn.edu to sign up.
Read "Student Paper Presentations" if you like.
| Topic | Date | Presenter | Time | Slides |
| 1: Chord | Sep 28 | James Davin | 1:00 - 2:00 pm | slides(.ppt) |
| 2: About OS | Oct 5 | Sotiris Ioannidis | 2:00 - 3:00 pm | |
| Fall break | Oct 12 | xxx | xxx | |
| 9: Memory Hogs | Oct 19 | Jon Moore | 2:00 - 3:00 pm | slides(.ppt) |
| 2a: IPNL | Oct 26 | Peifang Zheng | 2:00 - 3:00 pm | slides(.ppt) |
| 3: IP traceback | Nov 2 | Jessica Kornblum | 2:00 - 3:00 pm | slides(.ppt) |
| 5a: SEDA | Nov 9 | Dekai Li | 2:00 - 3:00 pm | slides(.ppt) |
| 7c:OS errors | Nov 16 | JMS | 2:00 - 3:00 pm | slides(.ppt) |
| Thanksgiving | Nov 23 | xxx | xxx | |
| 7b: Bugs | Nov 30 | Aaron Marks | ||
| Talk | Dec 6 | Alex | 3pm | |
| 4b:Wide Area Cooperative Storage with CFS | Dec 7 | Stefan Miltchev | ||
| Cyclone | Dec 14 | Mike Hicks |
Matt Welsh, David Culler, Eric Brewer, SOSP 2001
SEDA: an architecture for well-conditioned, scalable internet service (PDF)
Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, and Hari Balakrishnan.
Chord: A Scalable Peer-to-Peer Lookup Service for Internet
Applications
(PDF)
Angela Demke Brown and Todd C. Mowry.
Taming the Memory Hogs: Using
Compiler-Inserted Releases to Manage Physical Memory
Intelligently. OSDI 2000.
(PDF)
Francis, et al.
IPNL: A NAT-Extended Internet Architecture. SIGCOMM 2001.
(PDF)
Snoeren, et al.
Hash-Based IP Traceback. SIGCOMM 2001.
(PDF)
Chou, Yang, Chel, Hallem, and Engler.
An Empirical Study of Operating System Errors. SOSP 2001.
(PDF)
Engler, Chen, Chou, SOSP 2001.
Bugs as inconsistent behavior: A General Approach to Inferring Errors in
Systems Code.(PDF)
From: Honghui Lu [hhl@central.cis.upenn.edu] Sent: Friday, September 21, 2001 4:41 PM To: dslgroup@dsl.cis.upenn.edu Subject: DSL seminar.
Meeting Time: Friday 2-3pm Meeting Place: DSL conference room
We are having a systems seminar for the Fall semester. Free food and drink will be provided. A list of papers is given below.
One paper will be presented by the student each week. There will be a total of nine presentations, starting from next week, until Dec 7. The class won't meet during the Fall break or the Thanksgiving break. Each presentation will be shepherded by a faculty member. Multiple papers will be discussed in some meetings (notice 2a, 2b, etc.). Among those papers, one will be selected for presentation, but the students are encouraged to read all papers to prepare for the discussion. The presentation should present the "facts", as the authors would do, and the speaker should be prepared for critiques from the audience.
Please do the following if you want to participate: 1. Sign up for a presentation. Email me (hhl@cis.upenn.edu) the TOPIC and the DATE you prefer. The first paper must be presented next week, but the rest of them are flexible. 2. Volunteer to send a reminder every week. 3. Volunteer to be the food czar.
Honghui
--------------------------------------------------------- OSDI 2000 papers are available at http://www.usenix.org/events/osdi2000/technical.html
SIGCOMM 2001 papers are available from http://www.acm.org/sigcomm/sigcomm2001/technical_program.html
SOSP 2001 papers are available from http://www.cs.ucsd.edu/sosp01/program.html.
1. "Chord: A Scalable Peer-to-Peer Lookup Service for Internet
Applications", Stoica, et al. SIGCOMM 2001
2a. "IPNL: A NAT-Extended Internet Architecture", Francis, et al.,
SIGCOMM 2001
or
2b. "TRIAD: A New Next-Generation Internet Architecture", Cheriton, Gritter
http://www.dsg.stanford.edu/triad/triad.ps.gz
3. "Hash-Based IP Traceback", Snoeren, et al. SIGCOMM 2001.
4a. Mesh-base content routing using XML, by Snoeren SOSP 2001
or
4b. "Wide Area Cooperative Storage with CFS" by Dabek, Kaashoek, Karger,
Morris, and Stoica, SOSP 2001
or
4c. "Resilient Overlay Networks", by Anderson, Balakrishnan, Kaashoek and
Morris, SOSP 2001
5a. SEDA: an architecture for well-conditioned, scalable internet service,
by David Culler, SOSP 2001
or
5b. Scalable Distributed Data Structures for Internet Service
Construction, Gribble, Brewer, Hellerstein, Culler, OSDI 2000
6. Real-time dynamic voltage scaling for low-power embedded OS, by Kang Shin, SOSP 2001
7a. Information and control in Gray-Box systems", Arpaci-Dusseau,
Arpaci-Dusseau, SOSP 2001
or
7b. "Bugs as inconsistent behavior: A General Approach to Inerring Errors in
Systems Code", Engler, Chen, Chou, SOSP 2001
or
7.c "An Empirical Study of Operating System Errors", Chou, Yang, Chel,
Hallem, Engler, SOSP 2001
8.a "Analysis and Design of an Adaptive Virtual Queue (AVQ) Algorithm for
Active Queue Management", Kunniyur, Srikant, SIGCOMM 2001
or
8.b "Dynamic Behavior os Slowly-Responsive Congestion Control Algorithms",
Bansal, Balakrishnan, Floyd, Shenker, SIGCOMM 2001
9. Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage
Physical Memory Intelligently, Brown, Mowry, OSDI 2000
10. Knit: Component Composition for Systems Software, Reid, Flatt, Stoller, Lepreau, Eide, OSDI 2000
11. Surplus Fair Scheduling: A Proportional-Share CPU Scheduling Algorithm
for Symmetric Multiprocessors, Chandra, Adler, Goyal, Shenoy, OSDI 2000.