activity
20242026
most citedSortingHat: Redefining Operating Systems Education with a Tailored Digital Teaching Assistant

1 citations · 2 across the 14 of their papers we have counts for

collaborators

14 papers

cs.AI2026

ViSAGE: Constructing Self-Correcting Memories for Long-Form Video Understanding

Xinkui Zhao, Enbo Chen, Yifan Zhang +4

Multimodal agents operating in long-horizon environments must build and continually update multimedia memories to support entity-consistent, temporally grounded reasoning. However,…

cs.CR2026

FAVA: Formal Authorization for Verified Agents with Evidence-Backed Permission Graphs

Yifan Zhang, Xinkui Zhao, Sai Liu +3

Large language model (LLM) agents autonomously interleave semantic reasoning with complex system operations. In these dynamic environments, static tool-level permissions are fundam…

cs.HC2026★ 1 cited

SortingHat: Redefining Operating Systems Education with a Tailored Digital Teaching Assistant

Yifan Zhang, Xinkui Zhao, Zuxin Wang +4

Operating Systems (OS) courses are among the most challenging in computer science education due to the complexity of internal structures and the diversity of running environments.…

cs.DB2026

GRAB-ANNS: High-Throughput Indexing and Hybrid Search via GPU-Native Bucketing

Xinkui Zhao, Hengxuan Lou, Yifan Zhang +3

Hybrid search, which jointly optimizes vector similarity and structured predicate filtering, has become a fundamental building block for modern AI-driven systems. While recent pred…

cs.AI2026

ProMAS: Proactive Error Forecasting for Multi-Agent Systems Using Markov Transition Dynamics

Xinkui Zhao, Sai Liu, Yifan Zhang +4

The integration of Large Language Models into Multi-Agent Systems (MAS) has enabled the so-lution of complex, long-horizon tasks through collaborative reasoning. However, this coll…

cs.CV2025

Video-QTR: Query-Driven Temporal Reasoning Framework for Lightweight Video Understanding

Xinkui Zhao, Zuxin Wang, Yifan Zhang +6

The rapid development of multimodal large-language models (MLLMs) has significantly expanded the scope of visual language reasoning, enabling unified systems to interpret and descr…

cs.OS2025

TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems

Xinkui Zhao, Yifan Zhang, Haidan Zhao +7

The growing complexity of embedded systems creates tension between rich functionality and strict resource and real-time constraints. Traditional monolithic operating system and hyp…

cs.SE2025

Completion by Comprehension: Guiding Code Generation with Multi-Granularity Understanding

Xinkui Zhao, Rongkai Liu, Yifan Zhang +6

As code completion task from function-level to repository-level, leveraging contextual information from large-scale codebases becomes a core challenge. However, existing retrieval-…

cs.DC2025

MUSE: A Heterogeneity-Aware Multimedia Search Engine for Mobile SoCs

Xinkui Zhao, Qingyu Ma, Yifan Zhang +6

On-device multimedia retrieval is vital for smartphones, enabling applications like cross-modal semantic search and multimodal personal AI agents. However, realizing efficient retr…

cs.IR2025

TRAIL: Joint Inference and Refinement of Knowledge Graphs with Large Language Models

Xinkui Zhao, Haode Li, Yifan Zhang +2

Recent advances in large language models (LLMs) have unlocked powerful reasoning and decision-making capabilities. However, their inherent dependence on static parametric memory fu…

cs.PL2025

StackPilot: Autonomous Function Agents for Scalable and Environment-Free Code Execution

Xinkui Zhao, Yifan Zhang, Zhengyi Zhou +1

Recent advances in large language models (LLMs) have substantially enhanced automated code generation across a wide range of programming languages. Nonetheless, verifying the corre…

cs.MA2025

DRAMA: Next-Gen Dynamic Orchestration for Resilient Multi-Agent Ecosystems in Flux

Xinkui Zhao, Yifan Zhang, Sai Liu +6

Multi-agent systems (MAS) have demonstrated significant effectiveness in addressing complex problems through coordinated collaboration among heterogeneous agents. However, real-wor…

cs.AI2025

LightRouter: Towards Efficient LLM Collaboration with Minimal Overhead

Yifan Zhang, Xinkui Zhao, Zuxin Wang +4

The rapid advancement of large language models has unlocked remarkable capabilities across a diverse array of natural language processing tasks. However, the considerable differenc…

cs.OS2024★ 1 cited

Integrating Artificial Intelligence into Operating Systems: A Survey on Techniques, Applications, and Future Directions

Yifan Zhang, Xinkui Zhao, Ziying Li +4

Heterogeneous hardware and dynamic workloads worsen long-standing OS bottlenecks in scalability, adaptability, and manageability. At the same time, advances in machine learning (ML…