SOSP
2009
ACM
14 years 4 months ago
2009
ACM
Databases have achieved orders-of-magnitude performance improvements by changing the layout of stored data – for instance, by arranging data in columns or compressing it before ...
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
This paper addresses the problem of scheduling concurrent jobs on clusters where application data is stored on the computing nodes. This setting, in which scheduling computations ...
SOSP
2007
ACM
14 years 4 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 4 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 4 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 4 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 4 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 4 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 4 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...