|
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
Overview
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.
Credit
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.
Schedule
| 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
|
|
