CS7934 -- Computer Systems Seminar (Fall 2005)
Friday 12:55-2:15, MEB 3147 (Large Conference Room)
Primary Organizer: Jay Lepreau
Helpers: John Regehr
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.
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
participate in discussion (of course!), and facilitate
discussion of one paper.
||VMs, security, networking
Fidelity and Containment in the Potemkin Virtual Honeyfarm, Vrable,
Ma, Chen, Moore, Vandekieft, Snoeren, Voelker, Savage (UCSD), SOSP 2005
||security, worms, forensics, network measurement
Underlying Structure for Detailed Reconstruction of an Internet Scale
Event, Abhishek Kumar (Georgia Institute of Technology), Vern
Paxson (ICSI), Nicholas Weaver (ICSI), IMC 2005
||Worm containment, Data flow analysis, Control flow
analysis, Self-certifying alerts
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
||Verifiable code execution
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
||Fall Break -- no seminar
||Overview of Flux Research Directions [Flux Wiki]; slot
and paper selection
Linking Reloaded, Christian Collberg, John H. Hartman, Sridivya
Babu, Sharath K. Udupa, Univ. Arizona, Usenix 2005.
|| Network Locality, Node Selection
A Lightweight Network Location Service without Virtual
Coordinates , Bernard Wong, Aleksandrs Slivkins, Emin Gun Sirer,
Cornell University, SIGCOMM 2005
Treating Bugs As Allergies -- A Safe Method for Surviving Software
Failures, Feng Qin, Joseph Tucek, Jagadeesan Sundaresan, Yuanyuan
Zhou (Univ. Illinois-UC), SOSP 2005
|| Performance, Design
Execution in a Distributed File System, Edmund B. Nightingale,
Peter M. Chen, Jason Flinn (Univ. of Michigan), SOSP 2005.
||Sensor nets debugging/development
||Sympathy for the Sensor Network Debugger,
Ramanathan, Chang, Kapur, Girod, Kohler, Estrin (UCLA), SenSys 2005
||Thanksgiving Holiday -- no seminar
||Safe-language based OS, OS architecture
||Singularity OS (Microsoft Research):
Overview of the Singularity Project, Galen C. Hunt, James R. Larus
et al., Microsoft Research
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.
*Note: This seminar will be held in Flux Library (4560C MEB)
||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.
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