256
click to vote
FAST
2016
10 years 14 hour ago
2016
Multi-stage log-structured (MSLS) designs, such as LevelDB, RocksDB, HBase, and Cassandra, are a family of storage system designs that exploit the high sequential write speeds of ...
268
click to vote
FAST
2016
10 years 14 hour ago
2016
Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffectiv...
257
click to vote
FAST
2016
10 years 14 hour ago
2016
Block-layer data deduplication allows file systems and applications to reap the benefits of deduplication without requiring per-system or per-application modifications. However...
263
click to vote
FAST
2016
10 years 14 hour ago
2016
We study storage performance in over 450,000 disks and 4,000 SSDs over 87 days for an overall total of 857 million (disk) and 7 million (SSD) drive hours. We find that storage pe...
245
click to vote
FAST
2016
10 years 14 hour ago
2016
Fast non-volatile memories (NVMs) will soon appear on the processor memory bus alongside DRAM. The resulting hybrid memory systems will provide software with submicrosecond, high-...
314
click to vote
FAST
2016
10 years 15 hour ago
2016
We present WiscKey, a persistent LSM-tree-based key-value store with a performance-oriented data layout that separates keys from values to minimize I/O amplification. The design ...
119
click to vote
FAST
2016
10 years 15 hour ago
2016
Flash memory is prevalent in modern servers and devices. Coupled with the scaling down of flash technology, the popularity of flash memory motivates the search for methods to in...
136
click to vote
FAST
2016
10 years 15 hour ago
2016
Existing storage stacks are top-heavy and expect little from block storage. As a result, new high-level storage ions – and new designs for existing abstractions – are difficu...
108
click to vote
FASE
2016
Springer
10 years 15 hour ago
2016
Springer
Despite its recent popularity, program verification has to face practical limitations hindering its everyday use. One of these issues is scalability, both in terms of time and mem...
122
click to vote
FASE
2016
Springer
10 years 15 hour ago
2016
Springer
Abstract. Software is often governed by and thus adapts to phenomena that occur at runtime. Unlike traditional decision problems, where a decision-making model is determined for re...