Publication Understanding and Detecting Query Performance Regression in Practical Index Tuning Wentao Wu, Anshuman Dutt, Gaoxiang Xu, Vivek Narasayya, Surajit Chaudhuri Proceedings of the ACM on Management of Data (SIGMOD 2026) | December 2025, Vol 3(6)
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 Beyond Membership: Limitations of Add/Remove Adjacency in Differential Privacy Gauri Pradhan, Joonas Jälkö, Santiago Zanella-Béguelin, Antti Honkela ICLR 2026 | 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 v5 (2026-02-23) Project