Performance Evaluation of Commodity iSCSI-based Storage Systems

Violin: A Framework for Extensible Block-level Storage

Virtual Timers: Using Hardware Physical Timers for Profiling Kernel Code-Paths

Clotho: Transparent Data Versioning at the Block I/O Level

Bounded and Ordered Satisfiability: Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing

Secondary Storage Management for Web Proxies