Publication PerfBench: Can Agents Resolve Real-World Performance Bugs? Spandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan September 2025
Publication Good Vibrations? A Qualitative Study of Co-Creation, Communication, Flow, and Trust in Vibe Coding Veronica Pimenova, Sarah Fakhoury, Christian Bird, Margaret-Anne Storey, Madeline Endres September 2025
Publication One Head, Many Models: Cross-Attention Routing for Cost-Aware LLM Selection Roshini Pulishetty, Mani Kishan Ghantasala, Keerthy Kaushik Dasoju, Niti Mangwani, Vishal Garimella, Aditya Mate, Somya Chatterjee, Yue Kang, Ehi Nosakhare, Sadid A. Hasan, Soundar Srinivasan September 2025
Publication Understanding and Improving the Shampoo Optimizer via Kullback-Leibler Minimization Wu Lin, Scott C. Lowe, Felix Dangel, Runa Eschenhagen, Zikun Xu, Roger B. Grosse September 2025
Publication First-Order Laziness Anton Lorenzen, Daan Leijen, Wouter Swierstra, Sam Lindley ICFP’25 | August 2025 Distinguished Paper Project
Publication The SPACE of AI: Real-World Lessons on AI’s Impact on Developers Brian Houck, Travis Lowdermilk, Cody Beyer, Steven Clarke, Ben Hanrahan August 2025
Publication Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno USENIX Security Symposium | August 2025
Publication What’s in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury August 2025
Tool NextCoder Enhancing the ability of coding models to handle diverse editing requirements. Access Publication
Publication TablePilot: Recommending Human-Preferred Tabular Data Analysis with Large Language Models Deyin Yi, Yihao Liu, Lang Cao, Mengyu Zhou, Haoyu Dong, Shi Han, Dongmei Zhang The 63rd Annual Meeting of the Association for Computational Linguistics (ACL ’25) | July 2025 Project
