conftrace_

Mingkai Dong

4 papers · 2024–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Bronze

Venues

OSDI (3) NSDI (1)

Top co-authors

Haibo Chen (2) Dong Du (2) Jingkai He (1) Xinwei Hu (1) Junbin Kang (1) Zeyu Mi (1) Tianhong Ding (1) Mingzhen You (1) Lu Zhang (1) Jingyao Zeng (1)

Research topics

Computer Science (3) Systems (3) Artificial Intelligence (1) Data Science & Analytics (1) Deep Learning (1) Knowledge & Reasoning (1) Applications (1) Core AI (1) Foundations (1) Models (1) Reasoning (1)

Keywords

formal verification (1) speculative decoding (1) memory bandwidth (1) quality of service (1) resource contention (1) distributed file system (1) mobile inference (1) vector search (1) approximate nearest neighbor search (1) large language model (1) deep learning pipeline (1) asynchronous transfer (1) concurrent file system (1) liveness verification (1) deadlock prevention (1) modular verification (1) machine-checkable proof (1) billion-scale search (1) metadata caching (1) stateless client (1)

Papers

Disentangling Graph Dependencies for Efficient Billion-Scale GPU Vector Search OSDI 2026 FalconFS: Distributed File System for Large-Scale Deep Learning Pipeline NSDI 2026 Inference in the Shadows: Taming Memory Bandwidth Contention in Mobile LLM Inference with Sereno OSDI 2026 Using Dynamically Layered Definite Releases for Verifying the RefFS File System OSDI 2024