Publication Revealing the Dark Matter: Connecting Tacit and System Knowledge in Human-AI Collaborations Katherine R. Dearstyne, Christian Bird, Carmen Badea, Robert DeLine Proceedings of the IEEE/ACM 48th International Conference on Software Engineering (ICSE-NIER ’26) | July 2026, pp. 171-175 NIER@ICSE
Publication Can LLMs Really Recover Microservice Failures? A Recovery-Aware Evaluation of Diagnosis-to-Action Reasoning Jiaxing Qi, Zhongzhi Luan, Hongyu Zhang, Shaohan Huang, Carol J. Fung, Yongxin Tong, Hailong Yang, Depei Qian July 2026 arXiv | July 2026
Publication RustMizan: A Compilable, Contamination-Aware Benchmarking Framework for Rust Vulnerabilities Tamer Elsayed, Shiping Yang, Eunsong Koh, Sanika Goyal, Vincent Huang, Paul Ngo, Nathan Young, Mohammad Omidvar Tehrani, Alvyn Kang, Arnell Kang, Zeyu Chen, Angelica Moreira, Xuan Feng, Angel X. Chang, Nick Sumner, Steven Y. Ko July 2026 arXiv | July 2026
Publication SOSecure: The Wisdom of the Crowd for Safer AI-Generated Code Manisha Mukherjee, Vincent J. Hellendoorn Proceedings of the 3rd ACM International Conference on AI-Powered Software | July 2026 AIware
Publication Obey, Diverge, Collapse: Blind Obedience to Incorrect Instructions Drives Code LLMs to Irrecoverable Code Semantic Collapse Raj Jaiswal, Anany Singh Divy, Savar Bhasin, Adi Bajpai, Tanuja Ganu, R. Shah July 2026 arXiv | July 2026
Publication SkillOpt-Lite: Better and Faster Agent Self-evolution via One Line of Vibe Yifei Shen, Bo Li, Xinjie Zhang July 2026 arXiv | July 2026
Publication You Shall Not Pass! Where and Why Developers Draw The Line on AI Autonomy Rudrajit Choudhuri, Christian Bird, Carmen Badea, M. Gerosa, Anita Sarma July 2026 arXiv | July 2026
Publication ExVerus: Verus Proof Repair via Counterexample Reasoning Jun Yang, Yuechun Sun, Yi Wu, Rodrigo Caridad, Yongwei Yuan, Jianan Yao, Shan Lu, Kexin Pei International Conference on Machine Learning | July 2026 Project
Publication ELDR: Expert-Locality-Aware Decode Routing for PD-Disaggregated MoE Serving Sang-Jun Choi, Sukmin Cho, Yifan Xiong, Ziyue Yang, Youngjin Kwon, Peng Cheng July 2026 arXiv | July 2026
Publication Building to the Test: Coding Agents Deliver What You Check, Not What You Requested Yanuo Ma, Ben Kereopa-Yorke, Ben Schultz ArXiv | June 2026, (2606.28430)