Dong Du
where else to find them
what they talk about
all 6 in the filters
where they keep going back
no series more than once — all 7 in the filters
on a stage with
all 40 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| 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… | ||
| Fork in the Road: Reflections and Optimizations for Cold Start Latency in Production... | OSDI '25 | 2025-07-07 |
Platform traces show 19.5% of requests are cold starts and 18% of invocations finish within 221 ms, exposing three overlooked bottlenecks: control path… | ||
| 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… | ||
| 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… | ||
| 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… | ||
| SimpModeling: Sketching Implicit Field to Guide Mesh Modeling for 3D Animalmorphic Head Design | UIST 2021 | 2021-10-10 |
Two-stage sketch pipeline separates global shape and local detail: closed-contour input and curve handles produce M0 then deform to coarse M1 using a… | ||
| 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… | ||
| Penglai Enclave: Verifiable and Scalable RISC-V TEE System | FOSDEM 2021 | 2021-02-06 |
Emerging applications like artificial intelligence and autonomous car require high security-assurance, which stimulates the wide-spread deployment of trusted… | ||
| nothing matches | ||