| 2025 | Preserving Privacy in Software Composition Analysis: A Study of Technical Solutions and Enhancements. | Huaijin Wang, Zhibo Liu, Yanbo Dai, Shuai Wang, Qiyi Tang, Sen Nie, Shi Wu |
| 2025 | Evaluating Garbage Collection Performance Across Managed Language Runtimes. | Yicheng Wang, Wensheng Dou, Yu Liang, Yi Wang, Wei Wang, Jun Wei, Tao Huang |
| 2025 | IFSE: Taming Closed-Box Functions in Symbolic Execution via Fuzz Solving. | Qichang Wang, Chuyang Chen, Ruiyang Xu, Haiying Sun, Chengcheng Wan, Ting Su, Yueling Zhang, Geguang Pu |
| 2025 | Boosting Path-Sensitive Value Flow Analysis Via Removal of Redundant Summaries. | Yongchao Wang, Yuandao Cai, Charles Zhang |
| 2025 | Identifying Performance-Sensitive Configurations in Software Systems with LLM-Driven Agents. | Zehao Wang |
| 2025 | LLMs Meet Library Evolution: Evaluating Deprecated API Usage in LLM-Based Code Completion. | Chong Wang, Kaifeng Huang, Jian Zhang, Yebo Feng, Lyuye Zhang, Yang Liu, Xin Peng |
| 2025 | From Expectation to Habit: Why do Software Practitioners Adopt Fairness Toolkits? | Gianmario Voria, Stefano Lambiase, Maria Concetta Schiavone, Gemma Catolino, Fabio Palomba |
| 2025 | Belonging Beyond Code: Queer Software Engineering and Humanities Student Experiences. | Emily Vorderwlbeke, Isabella Gral |
| 2025 | On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability. | Andreas Vogelsang, Alexander Korn, Giovanna Broccia, Alessio Ferrari, Jannik Fischbach, Chetan Arora |
| 2025 | StreamLLM: Enhancing Constraint Programming with Large Language Model-Generated Streamliners. | Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider |
| 2025 | Energy-Aware Software Testing. | Roberto Verdecchia, Emilio Cruciani, Antonia Bertolino, Breno Miranda |
| 2025 | Formally Verified Binary-Level Pointer Analysis. | Freek Verbeek, Ali Shokri, Daniel Engel, Binoy Ravindran |
| 2025 | How Propense Are Large Language Models at Producing Code Smells? A Benchmarking Study. | Alejandro Velasco, Daniel Rodrguez-Crdenas, Luftar Rahman Alif, David N. Palacio, Denys Poshyvanyk |
| 2025 | Automated Repair of Cyber-Physical Systems. | Pablo Valle |
| 2025 | Deep Learning-based Code Reviews: A Paradigm Shift or a Double-Edged Sword? | Rosalia Tufano, Alberto Martin-Lopez, Ahmad Tayeb, Ozren Dabic, Sonia Haiduc, Gabriele Bavota |
| 2025 | Investigating the Impact of Interpersonal Challenges on Feeling Welcome in OSS. | Bianca Trinkenreich, Zixuan Feng, Rudrajit Choudhuri, Marco Aurlio Gerosa, Anita Sarma, Igor Steinmacher |
| 2025 | Distilling Reference Architectures from Open Source Repositories. | Thi Dinh Tran |
| 2025 | Answering User Questions About Machine Learning Models Through Standardized Model Cards. | Tajkia Rahman Toma, Balreet Grewal, Cor-Paul Bezemer |
| 2025 | The Balancing Act of Policies in Developing Machine Learning Explanations. | Jacob Tjaden |
| 2025 | FpGuard: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis. | Tanmay Tirpankar, Artem Yadrov, Pavel Panchekha, Ganesh Gopalakrishnan |
| 2025 | Software Model Evolution with Large Language Models: Experiments on Simulated, Public, and Industrial Datasets. | Christof Tinnes, Alisa Welter, Sven Apel |
| 2025 | Fixing Large Language Models' Specification Misunderstanding for Better Code Generation. | Zhao Tian, Junjie Chen, Xiangyu Zhang |
| 2025 | Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification. | Kyle Thompson, Nuno Saavedra, Pedro Carrott, Kevin Fisher, Alex Sanchez-Stern, Yuriy Brun, Joo F. Ferreira, Sorin Lerner, Emily First |
| 2025 | $\mu \text{PRL}$: A Mutation Testing Pipeline for Deep Reinforcement Learning Based on Real Faults. | Deepak-George Thomas, Matteo Biagiola, Nargiz Humbatova, Mohammad Wardat, Gunel Jahangirova, Hridesh Rajan, Paolo Tonella |
| 2025 | Next Steps in LLM-Supported Java Verification. | Samuel Teuber, Bernhard Beckert |