Spring 2003: CMSC 818I (13152) Advanced Topics in Computer Systems
Recent Topics in Operating Systems Research

Instructor:Liviu Iftode

Newsgroup: csd.cmsc818i

Topics Covered

  • Decentralized Storage Systems
  • Robustness 
  • Power Management 
  • Sensor Networks 
  • Virtual Machines 
  • Cluster Resource Management 
  • Migration 
  • Real-time/Multimedia

    • Schedule

    Introduction

    No Readings
    (OSDI'02)   digest
    Speaker : Iulian Neamtiu
    No Readings
    (OSDI'02)   digest continued
    Speaker : Iulian Neamtiu
    No Readings
    Title        : Decentralized Storage Systems

    Papers    :
    FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment (OSDI'02)
    Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, and Roger P. Wattenhofer, Microsoft Research
    Speakers : Mohamed Hussein (FARSITE)



    Title        :   Robustness

    Papers    :
       
    Defensive Programming: Using an Annotation Toolkit to Build DoS-Resistant Software(slides) (OSDI'02)
    Xiaohu Qie, Ruoming Pang, and Larry Peterson, Princeton University

    Speakers: Chunyuan Liao (Annotation)

    Title        : DFS (cont'd)   

    Papers    :
       


    Ivy: A Read/Write Peer-to-Peer File System (OSDI'02)
    Athicha Muthitacharoen, Robert Morris, Thomer M. Gil, and Benjie Chen, Massachusetts Institute of Technology
    Supplementary Reading:

    Speakers : Tamer Elsayed (Ivy)

    Title        : Power Management I   

    Papers    :
       

    Vertigo: Automatic Performance-Setting for Linux (OSDI'02)
    Krisztián Flautner, ARM Limited; Trevor Mudge, University of Michigan
     
    Supplementary Reading:

    Speakers : Moustafa Youssef (Vertigo)


    Title        :   Sensor  Networks I

    Papers    :
       

    Maté: A Tiny Virtual Machine for Sensor Networks (ASPLOS'02)
    Philip Levis, David Culler

    TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks (OSDI'02)
    Samuel Madden, Michael J. Franklin, and Joseph M. Hellerstein, University of California, Berkeley; Wei Hong, Intel Research, Berkeley

    Supplementary Reading:

    Speakers : Tamer ElSayed (Mate), Arunchandar Vasan (TAG)

    Title        :   Sensor  Networks II

    Papers    :
       

    An Entity Maintenance and Connection Service for Sensor Networks (MobiSys'03)
    Brian Blum, Prashant Nagaraddi, Anthony Wood, Tarek Abdelzaher, Sang Son, and Jack Stankovic, University of Virginia

    Supplementary Reading:

    Speakers : Mohammed Hussein


    Title        : Sensor Networks III, Power Management II   

    Papers    :
       

    Design and Implementation of a Framework for Efficient and Programmable Sensor Networks (MobiSys'03)
    Athanassios Boulis, Chih-Chieh Han, and Mani B. Srivastava,University of California, Los Angeles

    Cooperative I/O: A Novel I/O Semantics for Energy-Aware Applications (OSDI'02)
    Andreas Weissel, Bjórn Beutel, and Frank Bellosa, University of Erlangen

    Supplementary Reading:

    Speakers : Chunyuan Liao (Framework), Iulian Neamtiu (Cooperative I/O)

    Title        :   Power  Management III

    Papers    :
       
    ECOSystem: Managing Energy as a First Class Operating System Resource (ASPLOS'02)
    Heng Zeng, Carla S. Ellis, Alvin R. Lebeck, Amin Vahdat
    Supplementary Reading:

    Speakers : Sasan Dashtinezhad



     Project discussion


     Project discussion


    Title        :   Virtual Machines I

    Papers    :
       
    ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay (OSDI'02)
    George W. Dunlap, Samuel T. King, Sukru Cinar, Murtaza A. Basrai, and Peter M. Chen, University of Michigan

    Supplementary Reading:
    Speakers : Chunyuan Liao (ReVirt)

    Title        :   Virtual Machines II

    Papers    :
       
    Memory Resource Management in VMware ESX Server (LB) (OSDI'02)
    Carl A. Waldspurger, VMware Inc.
      

    Supplementary Reading:
    Speakers : Tamer Elsayed

    Title        : 

    Papers    :
       
    SEDA: An Architecture for Well-Conditioned, Scalable Internet Services (slides) (SOSP'01)
    Matt Welsh, David Culler, and Eric Brewer, University of California, Berkeley
     

    Supplementary Reading:
    Speakers : Mohammed Hussein

    Title        : 


    Papers    :
       
    CMC: A Pragmatic Approach to Model Checking Real Code (OSDI'02)
    Madanlal Musuvathi, David Y.W. Park, Andy Chou, Dawson R. Engler, and David L. Dill, Stanford University
    Supplementary Reading:
    Speakers : Sasan Dashtinezhad



    Title        :   Migration I

    Papers    :
       
    The Design and Implementation of Zap: A System for Migrating Computing Environments (slides) (OSDI'02)
    Steven Osman, Dinesh Subhraveti, Gong Su, and Jason Nieh, Columbia University
    Supplementary Reading:
    Process Migration Survey
    Milojicic, D., Douglis, F., Paindaveine, Y., Wheeler, R., Zhou, S
    Speakers : Iulian Neamtiu



    Title        :   Migration II

    Papers    :
       

    Optimizing the Migration of Virtual Computers (OSDI'02)
    Constantine P. Sapuntzakis, Ramesh Chandra, Ben Pfaff, Jim Chow, Monica S. Lam, and Mendel Rosenblum, Stanford University
    Supplementary Reading:
    Process Migration Survey
    Milojicic, D., Douglis, F., Paindaveine, Y., Wheeler, R., Zhou, S
    Speakers : Tamer El Sayed
    Title        :   Virtual Machines III

    Papers    :
       
    Scale and Performance in the Denali Isolation Kernel (OSDI'02)
    Andrew Whitaker, Marianne Shaw, and Steven D. Gribble, University of Washington

    Supplementary Reading:

    Speakers : Mohammed Hussein
     
     
     
     Project presentations
    Autonomous Transport Protocol over Content Based Networks
    Mohamed Hussein, Tamer El Sayed
     Project presentations
    E-Road
    Sasan Dashtinezhad, Chunyuan Liao, Tamer Nadeem

    RMC - The Ultimate Backdoor
    Iulian Neamtiu
     

    $Id: 818ISchedule.html,v 1.18 2003/05/07 03:45:41 neamtiu Exp $