SOSP
2007
ACM
14 years 2 months ago
2007
ACM
SOSP
2007
ACM
14 years 2 months ago
2007
ACM
SOSP
2007
ACM
14 years 2 months ago
2007
ACM
SOSP
2007
ACM
14 years 9 months ago
2007
ACM
We propose a new paradigm for building scalable distributed systems. Our approach does not require dealing with message-passing protocols—a major complication in existing distri...
SOSP
2007
ACM
14 years 9 months ago
2007
ACM
Diagnosing production run failures is a challenging yet important task. Most previous work focuses on offsite diagnosis, i.e. development site diagnosis with the programmers prese...
SOSP
2007
ACM
14 years 9 months ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...
SOSP
2007
ACM
14 years 9 months ago
2007
ACM
We propose SecVisor, a tiny hypervisor that ensures code integrity for commodity OS kernels. In particular, SecVisor ensures that only approved code can execute in kernel mode ove...
SOSP
2007
ACM
14 years 9 months ago
2007
ACM
TxLinux is a variant of Linux that is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the sc...
SOSP
2007
ACM
14 years 9 months ago
2007
ACM
Power management has become increasingly necessary in large-scale datacenters to address costs and limitations in cooling or power delivery. This paper explores how to integrate p...
SOSP
2007
ACM
14 years 9 months ago
2007
ACM
Software defects significantly reduce system dependability. Among various types of software bugs, semantic and concurrency bugs are two of the most difficult to detect. This pape...