274
click to vote
FAST
2016
10 years 1 months 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-...
347
click to vote
FAST
2016
10 years 1 months 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 ...
134
click to vote
FAST
2016
10 years 1 months 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...
149
click to vote
FAST
2016
10 years 1 months 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...
120
click to vote
FASE
2016
Springer
10 years 1 months 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...