CS7934 -- Computer Systems Seminar (Spring 2008)
Time: Thursday, 15:30 - 16:45, CSL Library
Organization: Anton Burtsev
and Pramod Sanaga
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.
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.
||Network traffic modelling
Realistic and Responsive Network Traffic Generation K. V. Vishwanath, A. Vahdat,
||Virtual machines, security, memory protection
||Overshadow: A Virtualization-Based Approach to Retrofitting
Protection in Commodity Operating Systems, Xiaoxin Chen, Tal
Garfinkel, E Christopher Lewis, Pratap Sabrahmanyam, Carl A.
Waldspurger, Dan Boneh, Jeffrey Dwoskin, and Dan R. K. Ports.
(ASPLOS), March 2008.
||Trusted computing, secure execution
Flicker: An Execution Infrastructure for TCB Minimization, Jonathan
M. McCuney, Bryan Parnoy, Adrian Perrigy, Michael K. Reiteryz, Hiroshi Isozaki (CMU)
||Storage for virtual environments
||Parallax: Virtual Disks for Virtual Machines,
Dutch T. Meyer, Gitika Aggarwal, Brendan Cully, Geoffrey Lefebvre, Michael J. Feeley, Norman
C. Hutchinson, and Andrew Warfield.
To appear, EuroSys 2008.
||Inter-domain routing, BGP, convergence
||HLP: A next generation inter domain routing protocol,Lakshminarayanan Subramanian,Matthew Caesar,Cheng Tien Ee,Mark Handley,Morley Ma, Scott Shenker, Ion Stoica ( SIGCOMM '05 )
||Distributed systems debugging, liveness, model checking
Life, Death, and the Critical Transition: Finding Liveness Bugs in
Systems Code, Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat, Systems Code,
NSDI'07 (Best Paper).
Pip: Detecting the
Unexpected in Distributed Systems, Patrick Reynolds, Charles Killian, Janet L. Wiener, Jeffrey C.
Mogul, Mehul A. Shah, and Amin Vahdat, NSDI'06.
||Domain specific languages, distributed systems
Mace: Language Support for Building Distributed Systems, Charles Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, and
Amin Vahdat, (PLDI'07)
||Unmanaged Internet, global names
Persistent Personal Names for Globally Connected Mobile Devices
Bryan Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean Rhea, Frans Kaashoek, Robert Morris (MIT),
||Roundtable with Matthew Might
``Improving flow analyses via delta-CFA: Abstract garbage collection and counting'',
Matthew Might and Olin Shivers, (ICFP 2006).
``Continuations and transducer composition'',
Olin Shivers and Matthew Might, (PLDI 2006).
||Roundtable with Bor-Yuh Evan Chan
Analysis of Low-Level Code Using Cooperating Decompilers, Bor-Yuh
Evan Chang, Matthew Harren, and George C. Necula (2006)
Thirteenth International Static Analysis Symposium (SAS'06), LNCS.
Shape Analysis with Structural Invariant Checkers, Bor-Yuh Evan
Chang, Xavier Rival, and George C. Necula (2007), Fourteenth
International Static Analysis Symposium (SAS'07), LNCS.
||Algorithmic complexity, metrics
NetComplex: A Complexity Metric for Networked System Designs
Byung-Gon Chun, ICSI; Sylvia Ratnasamy, Intel Research Berkeley;
Eddie Kohler, University of California, Los Angeles
||Optimization compilers for heterogenious memory architectures
||Roundtable with Mary Hall
||Virtual machines for evaluating large distributed systems
DieCast: Testing Distributed Systems with an Accurate Scale Model,
Diwaker Gupta, Kashi V. Vishwanath, and Amin Vahdat, University of
California, San Diego, NSDI'08
||Network architecture and design
Ethane: Taking Control of the Enterprise, Martin Casado,
Michael J. Freedman, Justin Pettit, Jianying Luo, Nick McKeown (Stanford)
and Scott Shenker (UCB), SIGCOMM'07
Some short/white papers:
OpenFlow: Enabling Innovation in Campus Networks,
Nick McKeown, Tom Anderson, Hari Balakrishnan, Guru Parulkar, Larry Peterson,
Jennifer Rexford, Scott Shenker, and Jonathan Turner,
unrefereed short technical note.
NOX: Towards an Operating System for Networks,
Natasha Gude, Teemu Koponen, Justin Pettit, Ben Pfaff, in submission.
See overview handout for specific
suggestions. In general, papers from upcoming/recent
and similar conference proceedings are good sources of papers for
Add your potential papers here.
USENIX Security'07 (link)
Oakland Security'07 (Conference,
ACM SIGOPS Operating Systems Review
Systems work at IBM Research (January 2008)
Gossip-based computer networking (Oct 2007)
Secure small-kernel systems (Jul 2007)
Systems work at Microsoft Research (April 2007)