"Making Our Life Less Monotonous" or "Just Tick Things Off": An Exploratory Multi-Method Study of ToilTom Kafoe, Lina Ochoa, Sharath Siravuru et al.
Tom Kafoe, Lina Ochoa, Sharath Siravuru et al.
"Maybe We Need Some More Examples:" Individual and Team Drivers of Developer GenAI Tool UseCourtney Miller, Rudrajit Choudhuri, Mara Ulloa et al.
Courtney Miller, Rudrajit Choudhuri, Mara Ulloa et al.
A Comprehensive Study of Deep Learning Model Fixing ApproachesHanmo You, Zan Wang, Zishuo Dong et al.
Hanmo You, Zan Wang, Zishuo Dong et al.
Accelerating IC3 Verification by Exploiting Unsatisfiable Cores and Satisfying ModelsXinyi Gong, Liangze Yin, Yuhan Li et al.
Xinyi Gong, Liangze Yin, Yuhan Li et al.
Accurate Inference of Termination ConditionsBiting Huang, Zhilei Han, Fei He
Biting Huang, Zhilei Han, Fei He
An Empirical Study on Static Application Security Testing (SAST) Tools for PythonLiu Zhuohang, Zhi Wang, Haotong Liu et al.
Liu Zhuohang, Zhi Wang, Haotong Liu et al.
Automating Just-In-Time Python Type Annotation UpdatingZhipeng Xue, Zhipeng Gao, Xing Hu et al.
Zhipeng Xue, Zhipeng Gao, Xing Hu et al.
Can SAT Solvers Keep Up With the Linux Kernel's Feature Model?Elias Kuiter, Urs-Benedict Braun, Thomas Thüm et al.
Elias Kuiter, Urs-Benedict Braun, Thomas Thüm et al.
Evaluating Generated Commit Messages with Large Language ModelsQunhong Zeng, Yuxia Zhang, Zexiong Ma et al.
Qunhong Zeng, Yuxia Zhang, Zexiong Ma et al.
HoarePrompt: Structural Reasoning About Program Correctness in Natural LanguageDimitrios Stamatios Bouras, Yihan Dai, Tairan Wang et al.
Dimitrios Stamatios Bouras, Yihan Dai, Tairan Wang et al.
PreServe: Intelligent Management for LMaaS Systems via Hierarchical PredictionZhihan Jiang, Yujie Huang, Guangba Yu et al.
Zhihan Jiang, Yujie Huang, Guangba Yu et al.
ProxyWar: Dynamic Assessment of LLM Code Generation in Game ArenasXinyu Wang, Wenjun Peng, Qi Wu
Xinyu Wang, Wenjun Peng, Qi Wu
Remediating Superfluous Re-Rendering in React ApplicationsFarideh Khalili, Satyajit Gokhale, Alexi Turcotte et al.
Farideh Khalili, Satyajit Gokhale, Alexi Turcotte et al.
SEAlign: Alignment Training for Software Engineering AgentKechi Zhang, Huangzhao Zhang, Ge Li et al.
Kechi Zhang, Huangzhao Zhang, Ge Li et al.
Synthetic Repo-level Bug Dataset for Training Automated Program Repair ModelsMinh V. T. Pham, Huy N. Phan, Hoang Nhat Phan et al.
Minh V. T. Pham, Huy N. Phan, Hoang Nhat Phan et al.
The Hidden Cost of Readability: How Code Formatting Silently Consumes Your LLM BudgetDangfeng Pan, Zhensu Sun, Cenyuan Zhang et al.
Dangfeng Pan, Zhensu Sun, Cenyuan Zhang et al.
Think Like Human Developers: Harnessing Community Knowledge for Structured Code ReasoningChengran Yang, Zhensu Sun, Hong Jin Kang et al.
Chengran Yang, Zhensu Sun, Hong Jin Kang et al.
Towards Understanding and Characterizing Vulnerabilities in Intelligent Connected Vehicles through Real-World ExploitsYuelin Wang, Yuqiao Ning, Yanbang Sun et al.
Yuelin Wang, Yuqiao Ning, Yanbang Sun et al.
UniCoR: Modality Collaboration for Robust Cross-Language Hybrid Code RetrievalYang Yang, Li Kuang, Jiakun Liu et al.
Yang Yang, Li Kuang, Jiakun Liu et al.
Well Begun is Half Done: Location-Aware and Trace-Guided Iterative Automated Vulnerability RepairZhenlei Ye, Xiaobing Sun, Sicong Cao et al.
Zhenlei Ye, Xiaobing Sun, Sicong Cao et al.
What Makes Code Generation Ethically Sourced?Zhuolin Xu, Chenglin Li, Qiushi Li et al.
Zhuolin Xu, Chenglin Li, Qiushi Li et al.
WhisperCatcher: Demystifying Unauthorized and Encrypted Private Data Transmission in Android ApplicationsZhaoyu Qiu, Ming Fan, Bocan Ma et al.
Sources: each organizer's own list, linked on every winner, read monthly in each award's announcement window. A list is the organizer's judgment, not ours. Logos via logo.dev; trademarks belong to their owners.
Award winners by email
At most once a month, only when a tracked award or list has published new winners.
