Publication Scaling Competence, Shrinking Reasoning: Cognitive Signatures in Language Model Learning Mukul Singh, Ananya Singha, Arjun Radhakrishna, Sumit Gulwani November 2025 November 2025
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 November 2025
Publication A Causal Perspective on Measuring, Explaining and Mitigating Smells in LLM-Generated Code Alejandro Velasco, Daniel Rodríguez-Cárdenas, Dipin Khati, David N. Palacio, Luftar Rahman Alif, Denys Poshyvanyk ICSE ’26 | November 2025
Publication SWE-Sharp-Bench: A Reproducible Benchmark for C# Software Engineering Tasks Sanket Mhatre, Yasharth Bajpai, Sumit Gulwani, Emerson Murphy-Hill, Gustavo Soares IEEE/ACM International Conference on AI-powered Software (AIware) | November 2025
Publication AutoVerus: Automated Proof Generation for Rust Code Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jay Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) | October 2025 Distinguished Artifact Award Github Project
Video Beyond the Commit: A Fireside Chat on AI and Developer Productivity October 9, 2025 | Brian Houck 24:00
Publication TrainVerify: Equivalence-Based Verification for Distributed LLM Training Yunchi Lu, Youshan Miao, Cheng Tan, Peng Huang, Yi Zhu, Xian Zhang, Fan Yang Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles (SOSP’25) | October 2025 Github
Publication Secure Parsing and Serializing with Separation Logic Applied to CBOR, CDDL, and COSE Tahina Ramananandro, Gabriel Ebner, Guido Martínez, Nikhil Swamy Computer and Communications Security | October 2025 Project
Publication IndiMathBench: Autoformalization Mathematical Reasoning Problems with a Human Touch Param Biyani, Shashank Kirtania, Yasharth Bajpai, Ashish Tiwari, Sumit Gulwani ArXiv | October 2025
Publication AI Where It Matters: Where, Why, and How Developers Want AI Support in Daily Work Rudrajit Choudhuri, Carmen Badea, Christian Bird, Jenna Butler, Robert DeLIne, Brian Houck October 2025
Research
Research
