Paper-Conference

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
A new Rust OS architecture that acheives both memory safety, efficiency and Linux compatibility.
Cite Code
Criticality-Aware Instruction-Centric Bandwidth Partitioning for Data Center Applications
To reduce operational costs, modern data centers co-locate high-priority latency-critical (LC) tasks and low-priority best-effort (BE) …
PDF Cite Code Slides
Aeolia: A Fast and Secure Userspace Interrupt-Based Storage Stack
Polling-based userspace storage stacks achieve great I/O performance. However, they cannot efficiently and securely share disks and …
PDF Cite Code DOI
Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning
This paper presents DistFuzz, which, to our knowledge, is the first feedback-guided blackbox fuzzing framework for distributed systems. …
PDF Cite Code Video
CortenMM: Efficient Memory Management with Strong Correctness Guarantees
Modern memory management systems suffer from poor performance and subtle concurrency bugs, slowing down applications while introducing …
Cite Code DOI
EKRM: Efficient Key-Value Retrieval Method to Reduce Data Lookup Overhead for Redis
As an open-source key-value system, Redis has been widely used in internet service stations. A key-value lookup in Redis usually …
PDF Cite
Taming Hot Bloat Under Virtualization with HUGESCOPE
Huge pages are effective in reducing the address translation overhead under virtualization. However, huge pages suffer from the hot …
PDF Cite Code Video
FLORIA: A Fast and Featherlight Approach for Predicting Cache Performance
The cache Miss Ratio Curve (MRC) serves a variety of purposes such as cache partitioning, application profiling and code tuning. In …
PDF Cite
vTMM: Tiered Memory Management for Virtual Machines
The memory demand of virtual machines (VMs) is increasing, while the traditional DRAM-only memory system has limited capacity and high …
PDF Cite
M3: A Multi-View Fusion and Multi-Decoding Network for Multi-Document Reading Comprehension
Multi-document reading comprehension task requires collecting evidences from different documents for answering questions. Previous …
PDF Cite