Publication Dorami: Privilege Separating Security Monitor on RISC-V TEEs Mark Kuhne, Stavros Volos, Shweta Shinde 34th USENIX Security Symposium | August 2025
Publication The Power of Migrations in Dynamic Bin Packing Konstantina Mellou, Marco Molinaro, Rudy Zhou ACM SIGMETRICS | June 2025
Publication Keeping Humans in the Loop: Human-Centered Automated Annotation with Generative AI Nick Pangakis, Sam Wolken International AAAI Conference on Web and Social Media | June 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 3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers Sarah Fakhoury, Markus Kuppe, Shuvendu Lahiri, Tahina Ramananandro, Nikhil Swamy 2025 International Conference on Software Engineering | April 2025 Project
Publication Towards Energy Efficient 5G vRAN Servers Anuj Kalia, Nikita Lazarev, Leyang Xue, Xenofon Foukas, Bozidar Radunovic, Francis Y. Yan NSDI | April 2025 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 Efficient Multi-WAN Transport for 5G with OTTER Mary Hogan, Gerry Wan, Yiming Qiu, Sharad Agarwal, Ryan Beckett, Rachee Singh, Victor Bahl USENIX NSDI | April 2025 Project
Publication Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation Benjamin Steenhoek, Michele Tufano, Neel Sundaresan, Alexey Svyatkovskiy DeepTest (ICSE Workshop) | April 2025