University of Utah
School of Computing

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


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 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.