University of Utah
School of Computing

CS7934 -- Computer Systems Seminar (Fall 2005)

Friday 12:55-2:15, MEB 3147 (Large Conference Room)

Primary Organizer: Jay Lepreau
Helpers: John Regehr and John Carter


Papers will be chosen according to the interests of those actively participating. We expect most papers to come from recent and imminent top-tier systems conferences (e.g. SOSP, SIGCOMM, Usenix/Oakland security, SenSys), but the scope can be broad. On occasion people may present their own research, or perhaps a trip report from a systems conference. We aim to be informal but substantive. You can check out what we did last semester.

Mailing list

To get on the class mailing list use mailman to subscribe to csl-sem.


We urge students to sign up for 1 credit if you're going to be attending anyway. Those taking the seminar for credit must read all the papers, write and submit before class a short summary of each paper (PDF, Postscript, Latex), participate in discussion (of course!), and facilitate discussion of one paper.


Week Date Topic(s) Facilitator Paper(s)
1 8/26     No seminar
2 9/2 VMs, security, networking Jay Lepreau Scalability, Fidelity and Containment in the Potemkin Virtual Honeyfarm, Vrable, Ma, Chen, Moore, Vandekieft, Snoeren, Voelker, Savage (UCSD), SOSP 2005
3 9/9 security, worms, forensics, network measurement Jonathon Duerig Exploiting Underlying Structure for Detailed Reconstruction of an Internet Scale Event, Abhishek Kumar (Georgia Institute of Technology), Vern Paxson (ICSI), Nicholas Weaver (ICSI), IMC 2005
4 9/16 Worm containment, Data flow analysis, Control flow analysis, Self-certifying alerts Junxing Zhang Vigilante: End-to-End Containment of Internet Worms, Manuel Costa (Microsoft Research), Jon Crowcroft (Cambridge University), Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang and Paul Barham (Microsoft Research), SOSP 2005
5 9/23     No seminar
6 9/30 Verifiable code execution Dan Gebhardt Pioneer: Verifying Code Integrity and Enforcing Untampered Code Execution on Legacy Systems Arvind Seshadri, Adrian Perrig, Mark Luk, Elaine Shi, Pradeep Khosla (CMU), Leendert van Doorn (IBM). SOSP 2005
7 10/7     Fall Break -- no seminar
8 10/14   Jay Lepreau Overview of Flux Research Directions [Flux Wiki]; slot and paper selection
9 10/21 Shared libraries Lu Zhao SLINKY: Static Linking Reloaded, Christian Collberg, John H. Hartman, Sridivya Babu, Sharath K. Udupa, Univ. Arizona, Usenix 2005.
10 10/28 Network Locality, Node Selection Sachin Goyal Meridian: A Lightweight Network Location Service without Virtual Coordinates , Bernard Wong, Aleksandrs Slivkins, Emin Gun Sirer, Cornell University, SIGCOMM 2005
11 11/4   Venkat Chakravarthy Rx: Treating Bugs As Allergies -- A Safe Method for Surviving Software Failures, Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou (Univ. Illinois-UC), SOSP 2005
12 11/11  Performance, Design
Manu Awasthi Speculative Execution in a Distributed File System, Edmund B. Nightingale, Peter M. Chen, Jason Flinn (Univ. of Michigan), SOSP 2005.
13 11/18 Sensor nets debugging/development Will Archer Sympathy for the Sensor Network Debugger, Ramanathan, Chang, Kapur, Girod, Kohler, Estrin (UCLA), SenSys 2005
14 11/25     Thanksgiving Holiday -- no seminar
15 12/2 Safe-language based OS, OS architecture Kumar Chheda Singularity OS (Microsoft Research):
TR: An Overview of the Singularity Project, Galen C. Hunt, James R. Larus et al., Microsoft Research MSR-TR-2005-135.

HotOS Overview: Broad New OS Research: Challenges and Opportunities, Galen Hunt, James Larus, David Tarditi, and Ted Wobber, 10th Workshop on Hot Topics in Operating Systems.

Singularity Project Homepage

*Note: This seminar will be held in Flux Library (4560C MEB)
16 12/9 Access control Anton Burtsev Labels and Event Processes in the Asbestos Operating System, Petros Efstathopoulos (UCLA), Maxwell Krohn (MIT), Steve VanDeBogart (UCLA), Cliff Frey (MIT), David Ziegler (MIT) , Eddie Kohler (UCLA), David Mazieres (NYU), M. Frans Kaashoek (MIT CSAIL), Robert T. Morris (MIT CSAIL). In Proceedings of the 20th ACM Symposium on Operating Systems Principles , Brighton, UK, October 2005.

Potential Papers

Add your potential papers here.
All SOSP 2005:
Connections: Using Context to Enhance File Search - Craig Soules, Greg Ganger (CMU)
Speculative Execution in a Distributed File System - (Michigan)

Maybe, from SenSys 2005 (need checking by Jay/John):
   High-Accuracy, Low-Cost Localization System for Wireless Sensor Network - Univ Virginia
   VM*: A Scalable Runtime Environment for Sensor Networks- UC Davis