Class
|
Date
|
Room
|
Paper title
|
Presenter
|
1
|
9/21
|
DH1070
|
Towards Highly
reliable Enterprise Network Services via Inference of Multi-level
Dependencies |
Bo
|
2
|
9/28
|
DH3092
|
Virtual
Hierarchies to Support Server Consolidation |
Jeff
|
3
|
10/5
|
DH3076
|
Hardware Support for Accelerating Data
Movement in Server Platform |
Mike
|
4
|
10/12
|
DH3076
|
Weak
State Routing for Large Scale Dynamic Networks |
Yanjun
|
5
|
10/19
|
DH3076
|
Sinfonia:
A New Paradigm for Building Scalable Distributed Systems |
Zheng
|
6
|
10/26
|
DH3076
|
TxLinux:
Using and Managing Hardware Transactional Memory in the Operating System
|
Kaushik
|
7
|
11/2
|
DH3076
|
Life, Death, and the Critical
Transition: Finding Liveness
Bugs in Systems Code |
Dan
|
8
|
11/9
|
DH3076
|
Beyond One-third Faulty
Replicas in Byzantine Fault Tolerant Systems |
Guohui
|
9
|
11/16
|
DH3076
|
Cloud Control
with Distributed Rate Limiting
|
Florin
|
10
|
11/30
|
DH3076
|
Towards
Automatic Discovery of Deviations in Binary Implementations with
Applications to Error Detection and Fingerprint Generation
|
Scott
|
11
|
12/7
|
DH3076
|
Experience
distributing objects in an SMMP OS
|
Bo |