Publication CacheBlend: Fast Large Language Model Serving for RAG with Cached Knowledge Fusion Jiayi Yao, Hanchen Li, Yuhan Liu, Siddhant Ray, Yihua Cheng, Qizheng Zhang, Kuntai Du, Shan Lu, Junchen Jiang EuroSys 2025 | April 2025
Publication Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming Saikat Chakraborty, Gabriel Ebner, Siddharth Bhat, Sarah Fakhoury, Sakina Fatima, Shuvendu Lahiri, Nikhil Swamy 2025 International Conference on Software Engineering | April 2025 Download Download Project
Publication Smart Casual Verification of CCF’s Distributed Consensus and Consistency Protocols Heidi Howard, Markus Kuppe, Eddy Ashton, Amaury Chamayou, Natacha Crooks 2025 Networked Systems Design and Implementation | April 2025 Project
Publication LLM Assistance for Memory Safety Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy 47th International Conference on Software Engineering (ICSE) | April 2025
Publication RustAssistant: Using LLMs to Fix Compilation Errors in Rust Code Pantazis Deligiannis, Akash Lal, Nikita Mehrotra, Rishi Poddar, Aseem Rastogi 47th International Conference on Software Engineering (ICSE) | April 2025
Publication Enhancing Network Failure Mitigation with Performance-Aware Ranking Pooria Namyar, Arvin Ghavidel, Daniel Crankshaw, Daniel Berger, Kevin Hsieh, Srikanth Kandula, Ramesh Govindan, Behnaz Arzani NSDI '25 | February 2025
Publication Everything Matters in Programmable Packet Scheduling Albert Gran Alcoz, Balazs Vass, Pooria Namyar, Behnaz Arzani, Gabor Retvari, Laurent Vanbever NSDI | February 2025 Project
Publication MInference 1.0: Accelerating Pre-filling for Long-Context LLMs via Dynamic Sparse Attention Huiqiang Jiang, Yucheng Li, Chengruidong Zhang, Qianhui Wu, Xufang Luo, Surin Ahn, Zhenhua Han, Amir H. Abdi, Dongsheng Li, Chin-Yew Lin, Yuqing Yang, Lili Qiu Thirty-eighth Annual Conference on Neural Information Processing System (NeurIPS 2024) | December 2024 spotlight Github Project
Publication Balance Reward and Safety Optimization for Safe Reinforcement Learning: A Perspective of Gradient Manipulation Shangding Gu, Hong Cheng, Hang Dong, Bo Qiao, Si Qin, Qingwei Lin 林庆维 December 2024
Publication Ontologically Faithful Generation of Non-Player Character Dialogues Nathaniel Weir, Ryan Thomas, Randolph D'Amore, Kellie Hill, Ben Van Durme, Harsh Jhamtani EMNLP | November 2024