Publication To Copilot and Beyond: 22 AI Systems Developers Want Built Rudrajit Choudhuri, Christian Bird, Carmen Badea, Anita Sarma April 2026
Publication AFGNN: API Misuse Detection using Graph Neural Networks and Clustering P. Pirapuraj, Tamalika Mondal, Sharanya Gupta, Akash Lal, Somak Aditya, Jyothi Vedurada April 2026
Publication When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions David B. Hulak, A. Ramos, Ruy J. G. B. de Queiroz April 2026
Publication VERT: Reliable LLM Judges for Radiology Report Evaluation Federica Bologna, Jean-Philippe Corbeil, Matthew Wilkens, Asma Ben Abacha April 2026
Publication Learning to Generate Unit Test via Adversarial Reinforcement Learning Dongjun Lee, Changho Hwang, Kimin Lee ICLR 2026 | April 2026
Publication VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus Chuyue Sun, Yican Sun, Ethan Zhang, Daneshvar Amrollahi, Shuvendu Lahiri, Shan Lu, David Dill, Clark Barrett International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | April 2026 Project
Publication Generative Design and Vibe Coding: Rethinking The Design-Development Divide for UI Prototyping Xinqi Zhang, Hari Subramonyam, Advait Sarkar, Ian Drosos, Jack Wang, Kyungho Lee, Veronica Pimenova, Xiang "Anthony" Chen, Kai Lukoff ACM CHI Conference on Human Factors in Computing Systems (CHI 2026) | April 2026 Project
Publication RefineRL: Advancing Competitive Programming with Self-Refinement Reinforcement Learning Shaopeng Fu, Xingxing Zhang, Li Dong, Furu Wei April 2026
Publication Understanding the Impact of Data Noise in Federated Learning Jinming Hu, Jiahao Gu, Kenta Ploch, Hao Wang, Jingxian Wang, Wentao Wu, Qizhen Zhang April 2026
Publication Universal YOCO for Efficient Depth Scaling Yutao Sun, Li Dong, Tianzhu Ye, Shaohan Huang, Jianyong Wang, Furu Wei April 2026
Research
Research
