You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: content/awards/distinguishedPaper.md
+24Lines changed: 24 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -47,6 +47,30 @@ If the TMRF indicated that a best paper award would be given, the organizers wil
47
47
48
48
## Winners
49
49
50
+
### The IEEE/ACM International Conference on Automated Software Engineering (ASE 2025)
51
+
Sun 16 - Thu 20 November, 2025, Seoul, South Korea
52
+
53
+
- Yuanliang Chen, Fuchen Ma, Yanyang Zhao, Yuanyi Li, Yu Jiang: DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing
54
+
- Dongjun Youn, Wonho Shin, Sukyoung Ryu: WEST: Specification-Based Test Generation for WebAssembly
55
+
- Yue Wang, Jiaxuan Sun, Yanzhen Zou, Bing Xie: Enhancing LLMs with Staged Grouping and Dehallucination for Header File Decomposition
56
+
- Junjie Huang, Yuedong Zhong, Guangba Yu, Zhihan Jiang, Minzhi Yan, Wenfei Luan, Tianyu Yang, Rui Ren, Michael Lyu: iKnow: an Intent-Guided Chatbot for Cloud Operations with Retrieval-Augmented Generation
57
+
- Zhi Ma, Cheng Wen, Zhexin Su, Xiao Liang, Cong Tian, Shengchao Qin, Mengfei Yang: Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
58
+
- Raoul van Doren, Timos Antonopoulos, Ruzica Piskac: Efficient and Verifiable Proof Logging for MaxSAT Solving
59
+
- Yi Song, Dongchen Xie, Lin Xu, He Zhang, Chunying Zhou, Xiaoyuan Xie: Not Every Patch is an Island: LLM-Enhanced Identification of Multiple Vulnerability Patches
60
+
- Kai Huang, Jian Zhang, Xiaofei Xie, Chunyang Chen: Seeing is Fixing: Cross-Modal Reasoning with Multimodal LLMs for Visual Software Issue Repair
61
+
- Islem Bouzenia, Michael Pradel: Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories
62
+
- Shinhae Kim, Saikat Dutta, Owolabi Legunsen: Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring
63
+
- Xiaogang Zhu, Enze Dai, Xiaotao Feng, Shaohua Wang, Xin Xia, Sheng Wen, Kwok-Yan Lam, Yang Xiang: WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing Schedule
64
+
- Yelizaveta Brus, Rungroj Maipradit, Earl T. Barr, Shane McIntosh: Rechecking Recheck Requests in Continuous Integration: An Empirical Study of OpenStack
65
+
- Vasil Sarafov, David Markvica, Stefan Brunthaler: TEPHRA: Principled Discovery of Fuzzer Limitations
66
+
- Chengpeng Li, Farnaz Behrang, August Shi, Peng Liu: FlakyGuard: Automatically Fixing Flaky Tests at Industry Scale
67
+
- Yunbo Lyu, Zhou Yang, Jieke Shi, Jianming Chang, Yue Liu, David Lo: "My productivity is boosted, but ..." Demystifying Users’ Perception on AI Coding Assistants
- Noor Nashid, Daniel Ding, Keheliya Gallaba, Ahmed E. Hassan, Ali Mesbah: Characterizing Multi-Hunk Patches: Divergence, Proximity, and LLM Repair Challenges
72
+
- Chen Yang, Lin Yang, Ziqi Wang, Dong Wang, Jianyi Zhou, Junjie Chen: Clarifying Semantics of In-Context Examples for Unit Test Generation
73
+
- Jingjing Liang, Shan Huang, Ting Su: Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
50
74
51
75
### The ACM International Conference on the Foundations of Software Engineering (FSE 2025)
0 commit comments