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 Reinforcement Learning from Automatic Feedback for High-Quality Unit Test Generation Benjamin Steenhoek, Michele Tufano, Neel Sundaresan, Alexey Svyatkovskiy DeepTest (ICSE Workshop) | April 2025
Publication Time Warp: The Gap Between Developers’ Ideal vs Actual Workweeks in an AI-Driven Era Sukrit Kumar, Drishti Goel, Tom Zimmermann, Brian Houck, B. Ashok, Chetan Bansal ICSE SEIP ’25 | April 2025
Publication Closing the Gap: A User Study on the Real-world Usefulness of AI-powered Vulnerability Detection & Repair in the IDE Benjamin Steenhoek, Siva Sivaraman, Renata Saldivar, Yevhen Mohylevskyy, Roshanak Zilouchian Moghaddam, Wei Le 2025 International Conference on Software Engineering | 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 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
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
Microsoft Research Blog AIOpsLab: Building AI agents for autonomous clouds December 20, 2024 | Minghua Ma, Gagan Somashekar, Rujia Wang, Chetan Bansal, Saravan Rajmohan AIOpsLab is an open-source framework designed to evaluate and improve AI agents for cloud operations, offering standardized, scalable benchmarks for real-world testing, enhancing cloud system reliability.
