Fusing Syntax and Word Embedding Knowledge for Measuring Semantic Similarity. - Zhuo Tang; Li Zhu; Yuquan Le; Kenli Li 001; Colin Cai (HPCC/SmartCity/DSS, 2019)

Foundations for Systematic Evaluation and Benchmarking of a Mobile Food Logger in a Large-scale Nutrition Study. - Jisu Jung; Lyndal Wellard-Cole; Colin Cai; Irena Koprinska; Kalina Yacef; Margaret Allman-Farinelli; Judy Kay (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020)

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. - Jie Qiu; Colin Cai; Sahil Bhatia; Niranjan Hasabnis; Sanjit A. Seshia; Alvin Cheung (ECOOP, 2024)

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). - Jie Qiu; Colin Cai; Sahil Bhatia; Niranjan Hasabnis; Sanjit A. Seshia; Alvin Cheung (Dagstuhl Artifacts Ser., 2024)

Autellix: An Efficient Serving Engine for LLM Agents as General Programs. - Michael Luo; Xiaoxiang Shi; Colin Cai; Tianjun Zhang; Justin Wong; Yichuan Wang; Chi Wang; Yanping Huang; Zhifeng Chen; Joseph E. Gonzalez; Ion Stoica (CoRR, 2025)

Proactive Intra-GPU Disaggregation of Prefill and Decode in LLM Serving. - Xiaoxiang Shi; Colin Cai; Junjia Du (CoRR, 2025)