Publication Dorami: Privilege Separating Security Monitor on RISC-V TEEs Mark Kuhne, Stavros Volos, Shweta Shinde USENIX Security Symposium | August 2025
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 Enabling Silent Telemetry Data Transmission with InvisiFlow Yinda Zhang, Liangcheng Yu, Gianni Antichi, Ran Ben Basat, Vincent Liu NSDI 2025 | April 2025
Publication Smart Casual Verification of the Confidential Consortium Framework 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 NeurIPS 2024 | December 2024 spotlight Github Project