University of Utah
School of Computing

CS7934 -- Computer Systems Seminar (Fall 2006)

Friday 2:00-3:15, MEB 3147 (Large Conference Room)

Primary Organizer: John Carter
Helpers: Jay Lepreau, John Regehr, and Sneha Kasera


In CS7934 we will read and discuss technical papers from recent or imminent top-tier systems conferences (e.g., SOSP, OSDI, NSDI, SIGCOMM, ...). 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.

Here is a course overview document, including a list of suggested papers for presentation and discussion.

You can check out what we did last semester here.

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


*Note: This seminar will be held in Flux Library (4560C MEB)
Week Date Topic(s) Facilitator Paper(s)
1 9/1 Distributed storage Carter Bigtable: A Distributed Storage System for Structured Data, Fay Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A. Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, and Robert E. Gruber (Google). OSDI '06
2 9/8 Network experimentation Ricci In VINI Veritas: Realistic and Controlled Network Experimentation", Andy Bavier, Nick Feamster, Mark Huang, Larry Peterson, and Jen Rexford. SIGCOMM '06
3 9/15 Distributed systems,
Gebhardt Pip: Detecting the Unexpected in Distributed Systems, Patrick Reynolds, Charles Killian, Janet Wiener, Jeffrey Mogul, Mehul Shah, and Amin Vahdat. NSDI '06
4 9/22 Runtime Verification Chakravarthy Java-MaC: a Rigorous Run-time Assurance Tool for Java Programs, Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
*Note: This seminar will be held in Flux Library (4560C MEB)
5 9/29 --- --- NO CLASS
6 10/6 Device fingerprinting Ramesh Remote Physical Device Fingerprinting, Tadayoshi Kohno (UCSD), Andre Broido (CAIDA), and KC Claffy (CAIDA)
7 10/13 Sensor net monitoring Cooprider Fidelity and Yield in a Volcano Monitoring Sensor Network, Geoff W. Allen, Konrad Lorincz, Jeff Johnson, Jonathan Lees, and Matt Welsh
8 10/20 Program Analysis, Verification, Storage Systems Radhakrishnan EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors, Junfeng Yang, Can Sar, and Dawson Engler, Stanford University. OSDI '06
9 10/27 IEEE 802.11 Wireless Networks Park Robust Rate Adaptation for 802.11 Wireless Networks, Starsky H.Y. Wong, Hao Yang, Songwu Lu and Vaduvur Bharghavan MOBICOM '06
10 11/3 Security through controlling information flow Johnson Making information flow explicit in HiStar, Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, and David Mazieres; OSDI '06
11 11/10 Support for garbage collection Vakkalanka CRAMM: Virtual Memory Support for Garbage-Collected Applications, Ting Yang, Emery Berger, Scott Kaplan, and Elliot Moss; OSDI '06
12 11/17 Defense against Sybil attacks Probst SybilGuard: Defense Against Sybil Attacks via Social Networks, Haifeng Yu, Michael Kaminsky, Phillip Gibbons, and Abraham Flaxman; SIGCOMM '06
- 11/24 Thanksgiving --- Holiday -- NO CLASS
13 12/1 Safe OS extensions Archer SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques
*Note: This seminar will be held in Flux Library (4560C MEB)
14 12/8 Replica Maintenance Sachin Efficient Replica Maintenance for Distributed Storage Systems , Byung-Gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, M. Frans Kaashoek, John Kubiatowicz, and Robert Morris, NSDI 06

Potential Papers

See overview handout for specific suggestions. In general, papers from upcoming/recent OSDI, SIGCOMM, SIGOPS, NSDI, SIGMETRICS, SENSYS, and similar conference proceedings are good sources of papers for discussion.