Publication Synthesize Privacy-Preserving High-Resolution Images via Private Textual Intermediaries Haoxiang Wang, Zinan Lin, Da Yu, Huishuai Zhang NeurIPS 2025 | December 2025 Project
Publication VeruSAGE: A Study of Agent-Based Verification for Rust Systems Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jay Lorch, Shan Lu December 2025 Github Project
Publication Beyond Accuracy: Realistic and Diagnostic Evaluation of Code Generation Models Pareesa Ameneh Golnari, Xiaoyu Liu (lixiaoyu), Gabriel Ryan (ryangabriel), Shengyu Fu (shengyfu) Deep Learning for Code at NeurIPS | November 2025
Publication Workload Intelligence: Workload-Aware IaaS Abstraction for Cloud Efficiency Lexiang Huang, A. Parayil, Jue Zhang, Xiaoting Qin, Chetan Bansal, Jovan Stojkovic, Pantea Zardoshti, Pulkit Misra, Eli Cortez, Raphael Ghelman, Íñigo Goiri, Saravan Rajmohan, Jim Kleewein, Rodrigo Fonseca, Timothy Zhu, Ricardo Bianchini International Conference for High Performance Computing, Networking, Storage, and Analysis (SC) | November 2025
Publication Fara-7B: An Efficient Agentic Model for Computer Use Ahmed Awadallah, Yash Lara, Raghav Magazine, Hussein Mozannar, Akshay Nambi, Yash Pandya, Aravind Rajeswaran, Corby Rosset, Alexey Taymanov, Vibhav Vineet, Spencer Whitehead, Andrew Zhao MSR-TR-2025-54 | November 2025 Published by Microsoft Access
Publication CHERI-Lite for Memory Safety Exploit Mitigation Tony Chen MSR-TR-2025-52 | November 2025 Published by Microsoft
Publication Effects of LLM Use and Note-Taking On Reading Comprehension and Memory: A Randomised Experiment in Secondary Schools Pia Kreijkes, Viktor Kewenig, Martina Kuvalja, Mina Lee, Jake Hofman, Sylvia Vitello, Abigail Sellen, Sean Rintel, Daniel G. Goldstein, David Rothschild, Lev Tankelevitch, Tim Oates Computers & Education | November 2025 Project Project Project Project
Publication Syntactic Implicit Parameters with Static Overloading (Extended Version) Daan Leijen, Tim Whiting MSR-TR-2025-56 | November 2025 Published by Microsoft v3 (2026-01-05) Project
Publication Closing the Performance Gap Between AI and Radiologists in Chest X-Ray Reporting Harshita Sharma, Maxwell C. Reynolds, Valentina Salvatelli, Anne-Marie G. Sykes, Kelly K. Horst, Anton Schwaighofer, Maximilian Ilse, Olesya Melnichenko, Sam Bond-Taylor, Fernando Pérez-García, Vamshi K. Mugu, Alex Chan, Ceylan Colak, Shelby A. Swartz, Motassem Nashawaty, Austin J. Gonzalez, Heather A. Ouellette, B. S. Erdal, Beth A. Schueler, Maria T. Wetscherek, Noel Codella, Mohit Jain, Shruthi Bannur, Kenza Bouzid, Daniel Coelho de Castro, Stephanie Hyland, Panos Korfiatis, Ashish Khandelwal, Javier Alvarez-Valle November 2025 Project
Publication Training Emergent Joint Associations: A Reinforcement Learning Approach to Creative Thinking in Language Models Mukul Singh, Ananya Singha, Aishni Parab, Pronita Mehrotra, Sumit Gulwani November 2025