University of Utah
School of Computing

CS 7934 — Computer Systems Seminar, Fall 2009

Fridays, 1:00–2:00 PM, 3485 MEB

Primary Organizer: Eric Eide


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.


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.


Week Date Topic(s) Facilitator Paper(s)
1 Eide no meeting — organizational email
2 9/4 cloud computing Abraham Research talk by Ravin Abraham.
3 9/11 OS design; multicore Burtsev The Multikernel: A New OS Architecture for Scalable Multicore Systems. Baumann et al. In SOSP 2009, October 2009. To appear.
4 9/18 OS design; heterogeneous platforms Eide Helios: Heterogeneous Multiprocessing with Satellite Kernels. Nightingale et al. In SOSP 2009, October 2009. To appear.
5 9/25 low-power cluster computing Ricci FAWN: A Fast Array of Wimpy Nodes. Andersen et al. In SOSP 2009, October 2009. To appear.
6 10/2 network testbeds Wong ShadowNet: A Platform for Rapid and Safe Network Evolution. Chen et al. In USENIX 2009, June 2009.
7 10/9 virtualization Colloquium: “Vancouver on Nova—Virtualization With a Small TCB” by Bernhard Kauer. 3147 MEB.
8 10/16 no meeting — University fall break
9 10/23 device drivers; reliability Eide Tolerating Hardware Device Failures in Software. Kadav et al. In SOSP 2009, October 2009.
10 10/30 OS design; transactions Lin Operating Systems Transactions. Porter et al. In SOSP 2009, October 2009.
11 11/6 service-level agreements; active measurement

botnets; testbeds
Ricci Accurate and Efficient SLA Compliance Monitoring. Sommers et al. In SIGCOMM 2007, August 2007.

Toward Botnet Mesocosms. Barford and Blodgett. In HotBots '07, April 2007.
12 11/13 provenance Eide Layering in Provenance Systems. Muniswamy-Reddy et al. In USENIX 2009, June 2009.
13 11/20 network measurement perfSONAR talk by Martin Swany, University of Delaware
14 11/27 no meeting — Thanksgiving break
15 12/4 routing Thulasinathan Pathlet Routing. Godfrey et al. In SIGCOMM 2009, August 2009.
16 12/11 Web; security Duerig The Multi-Principal OS Construction of the Gazelle Web Browser. Wang et al. In USENIX Secuirty 2009, August 2009.

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.