Rules:  to reduce workload somewhat, we cover only 1 paper per session, and we
    prepare in teams of 2.  Split the presentation so that everyone presents
    about 20min, leaving 35mins for discussion at the end.

10/28   Lecture
11/2    Lecture

11/4    Reading 1   Team 1
    Back, G.

    Kernel Design:
        Exceptionless Systems Calls
        https://www.usenix.org/legacy/events/osdi10/tech/full_papers/Soares.pdf

11/9    Reading 2   Team 2

    Arun, Balaji    ba2669@vt.edu
    Paul, Arnab Kumar   akpaul@vt.edu 

    File Systems: 
        Optimistic Crash Consistency
        http://dx.doi.org/10.1145/2517349.2522726

11/11   Midterm

11/16   Reading 3   Team 3

    Concurrency: Read-log Update
        http://dx.doi.org/10.1145/2815400.2815406

    Bhat, Sharath Kumar skbhat@vt.edu
    Nakate, Pranav A.   npranav@vt.edu 
    Subramanian, Varun  varuns92@vt.edu 

11/18   No meeting, individual team meetings instead.

11/30   Reading 4   Team 4
    Concurrency: The commutativity rule
        http://dx.doi.org/10.1145/2517349.2522712

    Davis, James C. davisjam@vt.edu 
    Chao, Lance R.  kisseki@vt.edu

12/2   Reading 5   Team 5

    Concurrency: Race Mob
        http://doi.acm.org/10.1145/2517349.2522736

    Kindel, David G.    dkindel@vt.edu 
    Passi, Arjun    apassi@vt.edu   

12/7    Reading 6   Team 6

    Kernel Design: L3/L4
        http://doi.acm.org/10.1145/2517349.2522720

    Kedrowitsch, Alexander L.   alexk1@vt.edu
    Li, Ning    ningli@vt.edu 

12/9    Reading 7   Team 7

    Kernel Implementation: User-Guided Device Driver Synthesis
        https://www.usenix.org/conference/osdi14/technical-sessions/presentation/ryzhyk

    Chuang, Ho-Ren  horenc@vt.edu
    Lyerly, Robert F.   rlyerly@vt.edu