Haibo Chen
where else to find them
what they talk about
all 15 in the filters
where they keep going back
no series more than once — all 20 in the filters
on a stage with
- Rong Chen14×
- Binyu Zang12×
- Yubin Xia12×
all 156 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| FalconFS: Distributed File System for Large-Scale Deep Learning Pipeline | NSDI '26 | 2026-05-04 |
FalconFS replaces client-side metadata caching with a stateless-client architecture that sends full paths to servers and resolves them using hybrid metadata… | ||
| SolidAttention: Low-Latency SSD-based Serving on Memory-Constrained PCs | FAST '26 | 2026-02-24 |
SolidAttention is an LLM inference engine that offloads the full KV cache to SSD by consolidating KV pairs into coarse-grained blocks and using speculative… | ||
| "Range as a Key" is the Key! Fast and Compact Cloud Block Store Index with RASK | FAST '26 | 2026-02-24 |
RASK is a tree-structured cloud block-store index that natively uses range-as-a-key with adaptive radix tree internals and B-tree cell leaves, a log-structured… | ||
| Sharpen the Spec, Cut the Code: A Case for Generative File System with SYSSPEC | FAST '26 | 2026-02-24 |
Claims a working pipeline that uses SYSSPEC to generate a concurrent file system called SPECFS from high-level formal-style specs, producing ~4,000 lines of C… | ||
| Serverless Functions Made Confidential and Efficient with Split Containers | USENIX Security '25 | 2025-08-13 |
CoFunc implements a split container architecture that runs multiple confidential serverless functions inside one CVM by pairing each confidential instance with… | ||
| BlitzScale: Fast and Live Large Model Autoscaling with O(1) Host Caching | OSDI '25 | 2025-07-07 |
System claims live, fast autoscaling by avoiding full model caching with O(1) host caching and loading parameters over compute fabrics (RDMA) using a… | ||
| μEFI: A Microkernel-Style UEFI with Isolation and Transparency | USENIX ATC '25 | 2025-07-07 |
A microkernel-style UEFI isolates drivers by deprivileging modules to user mode and placing each in its own address space, implements trampoline injection and… | ||
| KVCache Cache in the Wild: Characterizing and Optimizing KVCache Cache at a... | USENIX ATC '25 | 2025-07-07 |
Paper analyzes a one-week Alibaba trace with per-request timestamps, modalities, turns and KV hashes and finds reuse is skewed: single-turn requests contribute… | ||
| XSched: Preemptive Scheduling for Diverse XPUs | OSDI '25 | 2025-07-07 |
XSched implements a preemptible command-queue called XQ and a multi-level hardware model (three levels: pending, inflight, running) to bring preemption to… | ||
| OS Rendering Service Made Parallel with Out-of-Order Execution and In-Order Commit | OSDI '25 | 2025-07-07 |
Spars generates self-contained rendering tasks via in-order preparation, executes them across worker threads with out-of-order execution, and enforces drawing… | ||
| SAVE: Software-Implemented Fault Tolerance for Model Inference against GPU Memory.. | USENIX ATC '25 | 2025-07-07 |
Claims software-only SAVE keeps model accuracy even under 4,000 GPU memory bit flips while adding less than 9% runtime overhead and under 1% correctness… | ||
| ODRP: On-Demand Remote Paging with Programmable RDMA | NSDI '25 | 2025-04-28 |
ODRP offloads fine‑grain remote paging onto the RNIC by chaining RDMA work requests and using event‑triggered worker queues to implement allocation… | ||
| Liquid-State Drive: A Case for DNA Block Device for Enormous Data | FAST '25 | 2025-02-25 |
LIQUID-STATE DRIVE implements a DNA-backed block device using small fast SSDs plus a simulator prototype and claims concrete reductions: write amplification… | ||
| Harmonizing Efficiency and Practicability: Optimizing Resource Utilization in... | USENIX ATC 2024 | 2024-07-10 |
Jiagu targets serverless resource waste with two concrete techniques: pre-decision scheduling builds per-node capacity tables that answer most placement… | ||
| Fast and Scalable In-network Lock Management Using Lock Fission | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
FISSLOCK implements lock fission by running the grant decision in a programmable switch pipeline and keeping holders/waiters in server-side agent pools, with… | ||
| Microkernel Goes General: Performance and Compatibility in the HongMeng Production... | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
HongMeng (HM) is a Linux-ABI-compatible commercial microkernel with a 90k-line core and ~1M lines of user services, deployed on tens of millions of devices and… | ||
| Using Dynamically Layered Definite Releases for Verifying the RefFS File System | 18th USENIX Symposium on Operating Systems Design and Implementation (OSDI '24) | 2024-07-10 |
RefFS is a concurrent in-memory file system with a machine-checkable proof that guarantees both safety and liveness by enforcing dynamically layered definite… | ||
| CPC: Flexible, Secure, and Efficient CVM Maintenance with Confidential Procedure... | USENIX ATC 2024 | 2024-07-10 |
CPC (Confidential Procedure Calls) runs vetted maintenance code inside CVMs using extra host‑wakeup vCPU threads (hvvCPUs) and a state‑machine API, avoiding… | ||
| Optimizing File Systems on Heterogeneous Memory by Integrating DRAM Cache with Virtual... | 22nd USENIX Conference on File and Storage Technologies (FAST '24) | 2024-02-27 |
Revisits DRAM cache use in DRAM‑PM heterogeneous memory and integrates DRAM cache with virtual memory to avoid excessive data movement, exposing a programmable… | ||
| Bifrost: Analysis and Optimization of Network I/O Tax in Confidential Virtual... | USENIX ATC '23 | 2023-07-10 |
Existing confidential VMs lose CPU to a measurable CVM-IO tax that can consume >50% of vCPU cycles; this work builds Bifrost, a para-virtualized I/O prototype… | ||
| Encrypted Databases Made Secure Yet Maintainable | OSDI 2023 | 2023-07-10 |
Presents HEDB, a dual‑mode encrypted DB that blocks a newly demonstrated smuggle attack by isolating operators in Execution Mode and enabling safe maintenance… | ||
| Bridging the Gap between Relational OLTP and Graph-based OLAP | USENIX ATC '23 | 2023-07-10 |
GART extends HTAP into HTGAP by adding a relational-to-graph mapping layer and an in-memory dynamic graph store that claims tens of milliseconds freshness and… | ||
| Security and Performance in the Delegated User-level Virtualization | OSDI 2023 | 2023-07-10 |
Proposes moving the VM plane out of the kernel so all host‑attacking hypervisor CVEs no longer run in kernel mode, implemented as a 481-line Chisel DV… | ||
| No Provisioned Concurrency: Fast RDMA-codesigned Remote Fork for Serverless Computing | OSDI 2023 | 2023-07-10 |
MITOSIS implements an OS primitive called remote fork that co-designs Linux kernel behavior with RDMA to let a machine read parent pages on demand and avoid… | ||
| BWoS: Formally Verified Block-based Work Stealing for Parallel Processing | OSDI 2023 | 2023-07-10 |
Presents Block-based Work Stealing (BWoS), a queue design that splits per-core queues into fixed-size blocks so owners work inside a block using relaxed… | ||
| Automated Verification of Idempotence for Stateful Serverless Applications | OSDI 2023 | 2023-07-10 |
Flux presents a verifier and advisor that check and fix idempotence for stateful serverless apps by proving a new correctness notion idempotence consistency… | ||
| Characterizing Off-path SmartNIC for Accelerating Distributed Systems | OSDI 2023 | 2023-07-10 |
A first holistic measurement of the off‑path SmartNIC BlueField-2 maps actual communication paths between client, on‑board SoC, NIC and host and finds concrete… | ||
| KRCORE: A Microsecond-scale RDMA Control Plane for Elastic Computing | USENIX ATC '22 | 2022-07-11 |
KRCORE is an RDMA library that creates full connections in 10μs connection establishment by virtualized kernel-space QPs and retrofitting dynamic connected… | ||
| Zero-Change Object Transmission for Distributed Big Data Analytics | USENIX ATC '22 | 2022-07-11 |
Zero-Change Object Transmission (ZCOT) copies live Java objects into a shared exchange space mapped at the same addresses across JVMs and exposes a chunked… | ||
| BBQ: A Block-based Bounded Queue for Exchanging Data and Profiling | USENIX ATC '22 | 2022-07-11 |
BBQ implements a block-based ringbuffer that splits the buffer into blocks so producers and consumers avoid enq‑deq contention when they operate on different… | ||
| EPK: Scalable and Efficient Memory Protection Keys | USENIX ATC '22 | 2022-07-11 |
EPK extends Intel MPK’s 16-domain limit to hundreds by combining MPK with hardware virtualization (EPT + VMFUNC) so each domain is a pair of PK + EPT index… | ||
| HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory... | FAST '22 | 2022-02-22 |
Claims that hardware transactional memory plus a small runtime gives strong per-request crash atomicity while staying fast. The system implements HOP: split… | ||
| MT^2: Memory Bandwidth Regulation on Hybrid NVM/DRAM Platforms | FAST '22 | 2022-02-22 |
MT^2 detects noisy neighbors on hybrid NVM/DRAM servers by measures four bandwidth types via PMU plus application reports, uses memory-access uses latency to… | ||
| Characterizing and Optimizing Remote Persistent Memory with RDMA and NVM | USENIX ATC '21 | 2021-07-14 |
Systematically measures RDMA accessing real production NVM (Intel 3D XPoint) and extracts nine concrete optimization hints across configuration (e.g. disable… | ||
| Polyjuice: High-Performance Transactions via Learned Concurrency Control | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
Polyjuice is a learned concurrency-control system that encodes CC as a per-access policy table mapping (transaction type, access id) to choices for waiting… | ||
| Retrofitting High Availability Mechanism to Tame Hybrid Transaction/Analytical Processing | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
Vegito retrofits replica-based HA so backups serve analytical queries while primaries handle OLTP, using a gossip-style epoch oracle to give consistent… | ||
| Scalable Memory Protection in the PENGLAI Enclave | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
Prototype Penglai adds two hardware primitives, Guarded Page Table (GPT) and Mountable Merkle Tree (MMT) plus a shadow fork fast-init, enabling page-grained… | ||
| Bringing Decentralized Search to Decentralized Services | 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI '21) | 2021-07-14 |
DeSearch builds a decentralized, verifiable, private search pipeline for Steemit and OpenBazaar, using trusted hardware (SGX) and ORAM for privacy, cloud… | ||
| Unifying Timestamp with Transaction Ordering for MVCC with Decentralized Scalar Timestamp | NSDI ’21 | 2021-04-12 |
Proposes decentralized scalar timestamp DST that removes a centralized timestamp service while remaining a single-word scalar for storage and network… | ||
| Platinum: A CPU-Efficient Concurrent Garbage Collector | USENIX ATC '20 | 2020-07-15 |
Platinum implements a mostly-concurrent JVM GC that isolates mutators and GC threads by binding GC threads to cores and moving mutators to idle-core pinning… | ||
| Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel | USENIX ATC '20 | 2020-07-15 |
UnderBridge redesigns microkernels by moving system servers into kernel space while enforcing isolation with Intel PKU/MPK, implementing a fast IPC gate that… | ||
| EROFS: A Compression-friendly Readonly File System for Resource-scarce Devices | USENIX ATC '19 | 2019-07-10 |
EROFS implements fixed-sized output compression and multiple decompression modes including in-place decompression and small per-CPU buffer decompression; it… | ||
| Pragh: Locality-preserving Graph Traversal with Split Live Migration | USENIX ATC '19 | 2019-07-10 |
Pragh implements split live migration that moves values only while leaving keys in place, enabling fine-grained, zero-metadata reconfiguration over RDMA. It… | ||
| Pisces: A Scalable and Efficient Persistent Transactional Memory | USENIX ATC '19 | 2019-07-10 |
Pisces implements a dual-version concurrency control with at most two NVM-resident versions per object and a three-stage commit to separate persistence… | ||
| vTZ: Virtualizing ARM TrustZone | 26th USENIX Security Symposium (USENIX Security '17) | 2017-08-16 |
vTZ virtualizes ARM TrustZone by giving each VM its own guest TEE while using existing hardware: a tiny TrustZone monitor (SMM) enforces and interposes memory… | ||
| nothing matches | ||