Shared manufacturing in the sharing economy: Concept, definition and service operations. - Chunyang Yu; Xun Xu 001; Shiqiang Yu; Zhiqian Sang; Cheng Yang; Xuanlin Jiang (Comput. Ind. Eng., 2020)

Blockchain-based shared manufacturing in support of cyber physical systems: concept, framework, and operation. - Chunyang Yu; Xuanlin Jiang; Shiqiang Yu; Cheng Yang (Robotics Comput. Integr. Manuf., 2020)

Proving Functional Program Equivalence via Directed Lemma Synthesis. - Yican Sun; Ruyi Ji; Jian Fang; Xuanlin Jiang; Mingshuai Chen; Yingfei Xiong 001 (FM (1), 2024)

RAGCache: Efficient Knowledge Caching for Retrieval-Augmented Generation. - Chao Jin; Zili Zhang; Xuanlin Jiang; Fangyue Liu; Xin Liu 086; Xuanzhe Liu; Xin Jin 008 (CoRR, 2024)

NEO: Saving GPU Memory Crisis with CPU Offloading for Online LLM Inference. - Xuanlin Jiang; Yang Zhou; Shiyi Cao; Ion Stoica; Minlan Yu (CoRR, 2024)