论文与出版物 Dorami: Privilege Separating Security Monitor on RISC-V TEEs Mark Kuhne, Stavros Volos, Shweta Shinde 34th USENIX Security Symposium | August 2025
论文与出版物 The Power of Migrations in Dynamic Bin Packing Konstantina Mellou, Marco Molinaro, Rudy Zhou ACM SIGMETRICS | June 2025
论文与出版物 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
论文与出版物 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
论文与出版物 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 下载 下载 项目
论文与出版物 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 项目
论文与出版物 Enabling Silent Telemetry Data Transmission with InvisiFlow Yinda Zhang, Liangcheng Yu, Gianni Antichi, Ran Ben Basat, Vincent Liu NSDI 2025 | April 2025
论文与出版物 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 项目
论文与出版物 Fidelity of Cloud Emulators: The Imitation Game of Testing Cloud-based Software Anna Mazhar , Saad Sher Alam , William Zheng , Yinfang Chen , Suman Nath, Tianyin Xu International Conference on Software Engineering (ICSE) | April 2025
论文与出版物 LLM Assistance for Memory Safety Nausheen Mohammed, Akash Lal, Aseem Rastogi, Rahul Sharma, Subhajit Roy 47th International Conference on Software Engineering (ICSE) | April 2025