|
CS 7934 — Computer Systems Seminar, Fall 2008
Fridays, 12:00–1:00 PM, 3485 MEB
Primary Organizer:
Jay Lepreau
Helpers:
Anton Burtsev,
Eric Eide,
Pramod Sanaga,
and
others
Overview
In CS 7934 we will read and discuss technical papers from recent or
imminent top-tier systems conferences: e.g., SOSP, OSDI, NSDI, SIGCOMM, and
so on. The specific papers discussed will be chosen based on the interests
of the class attendees. On occasion, people may present their own research
or perhaps a trip report from a major conference. We aim to be informal but
substantive.
You can check out what we did last semester here.
CS 7934 is often called “the CSL seminar.”
The name CSL is historic.
Mailing list
To get on the class mailing list, use Mailman to subscribe to csl-sem.
Credit
Although the course is listed as “variable credit,” the course is
only available for one (1) credit in most circumstances. If you want to take
the course for more than one credit, you will need to get approval from the
instructor. Those taking the course for credit must read all of the papers,
submit a short summary of each paper prior to class (PDF, Postscript, LaTeX), participate in each discussion, and
facilitate the discussion of at least one paper. We urge students to sign up
for one credit if you're going to be attending anyway.
Schedule
Week |
Date |
Topic(s) |
Facilitator |
Paper(s) |
1 |
— |
— |
Eide |
no meeting — organizational email |
2 |
9/4 |
wireless sensor networks; resource-aware
programming |
Eide |
Resource
Aware Programming in the Pixie OS.
Konrad Lorincz, Bor-rong Chen, Jason Waterman, Geoff Werner-Allen,
and Matt Welsh.
In SenSys 2008,
November 2008.
To appear. |
3 |
9/12 |
wireless networks |
Sanaga |
ZigZag
Decoding: Combating Hidden Terminals in Wireless Networks.
Shyamnath Gollakota and Dina Katabi.
In SIGCOMM 2008,
August 2008. |
4 |
9/19 |
OS; multicore |
Burtsev |
Corey: An
Operating System for Many Cores.
Silas Boyd-Wickizer et al.
In OSDI 2008,
December 2008. To appear. |
5 |
9/26 |
routing; data-center topology |
Duerig |
A
Scalable, Commodity Data Center Network Architecture.
Mohammad Al-Fares, Alexander Loukissas, and Amin Vahdat.
In SIGCOMM 2008,
August 2008. |
6 |
10/3 |
wireless networks; passive radio-frequency
analysis |
Clark |
Wireless Device
Identification with Radiometric Signatures.
Vladimir Brik et al.
In MobiCom 2008,
September 2008. |
7 |
10/10 |
virtual machine recording and replay |
Burtsev |
Decoupling
Dynamic Program Analysis from Execution in Virtual Environments.
Jim Chow, Tal Garfinkel, and Peter M. Chen.
In USENIX 2008,
June 2008. |
8 |
10/17 |
— |
— |
no meeting — University fall break |
9 |
10/24 |
automatic testing; symbolic execution |
Eide |
KLEE:
Unassisted and Automatic Generation of High-Coverage Tests for Complex
Systems Programs.
Cristian Cadar, Daniel Dunbar, and Dawson Engler.
In OSDI 2008,
December 2008. To appear. |
10 |
10/31 |
application record and replay |
Burtsev |
R2:
An Application-Level Kernel for Record and Replay.
Zhenyu Guo et al.
In OSDI 2008,
December 2008. To appear. |
11 |
11/7 |
network testbeds |
Ricci |
Overview of GENI and Utah's
ProtoGENI project. |
12 |
11/14 |
scalable production systems |
Rudy |
Building Scalable Web Sites: Tidbits from the Sites That Made It
Work. Gabe Rudy. References:
YouTube Scalability;
Scalable Web Architectures;
DjangoCon 2008 Keynote.
|
13 |
11/21 |
monitoring |
Burtsev |
Lightweight,
High-Resolution Monitoring for Troubleshooting Production Systems.
Sapan Bhatia, Abhishek Kumar, Marc E. Fiuczynski, and Larry
Peterson.
In OSDI 2008,
December 2008. To appear. |
14 |
11/28 |
— |
— |
no meeting — Thanksgiving break |
15 |
12/5 |
programming models for large-scale distributed
computing |
Eide |
DryadLINQ:
A System for General-Purpose Distributed Data-Parallel Computing Using
a High-Level Language.
Yuan Yu et al.
In OSDI 2008,
December 2008. To appear.
(Visit the
project
Web site.) |
16 |
12/12 |
various |
various |
OSDI 2008
conference report |
Potential Papers
In general, papers from upcoming/recent
OSDI,
SIGCOMM,
SOSP,
NSDI,
SIGMETRICS,
SenSys, and similar
conference proceedings are good sources of papers for discussion.
|
|