| 2025 | Between Lines of Code: Unraveling the Distinct Patterns of Machine and Human Programmers. | Yuling Shi, Hongyu Zhang, Chengcheng Wan, Xiaodong Gu |
| 2025 | No Harness, No Problem: Oracle-guided Harnessing for Auto-generating C API Fuzzing Harnesses. | Gabriel Sherman, Stefan Nagy |
| 2025 | A Tale of Two DL Cities: When Library Tests Meet Compiler. | Qingchao Shen, Yongqiang Tian, Haoyang Ma, Junjie Chen, Lili Huang, Ruifeng Fu, Shing-Chi Cheung, Zan Wang |
| 2025 | SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation. | Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, Xiangfeng Wang |
| 2025 | FairSense: Long-Term Fairness Analysis of ML-Enabled Systems. | Yining She, Sumon Biswas, Christian Kstner, Eunsuk Kang |
| 2025 | Curating Model Problems for Software Designing. | Mary Shaw, Marian Petre |
| 2025 | Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems. | Mary Shaw |
| 2025 | Build and Runtime Integrity for Java. | Aman Sharma |
| 2025 | UniGenCoder: Merging SEQ2SEQ and SEQ2TREE Paradigms for Unified Code Generation. | Liangying Shao, Yanfu Yan, Denys Poshyvanyk, Jinsong Su |
| 2025 | Are LLMs Correctly Integrated into Software Systems? | Yuchen Shao, Yuheng Huang, Jiawei Shen, Lei Ma, Ting Su, Chengcheng Wan |
| 2025 | Strategies to Embed Human Values in Mobile Apps: What do End-Users and Practitioners Think? | Rifat Ara Shams, Mojtaba Shahin, Gillian C. Oliver, Jon Whittle, Waqar Hussain, Harsha Perera, Arif Nurwidyantoro |
| 2025 | On Prescription or Off Prescription? An Empirical Study of Community-Prescribed Security Configurations for Kubernetes. | Shazibul Islam Shamim, Hanyang Hu, Akond Rahman |
| 2025 | A-COBREX: A Tool for Identifying Business Rules in COBOL Programs. | Samveg Shah, Shivali Agarwal, Saravanan Krishnan, Vini Kanvar, Sridhar Chimalakonda |
| 2025 | Dockerfile Flakiness: Characterization and Repair. | Taha Shabani, Noor Nashid, Parsa Alian, Ali Mesbah |
| 2025 | On the Automation of Code Review Tasks Through Cross-Task Knowledge Distillation. | Oussama Ben Sghaier |
| 2025 | A Large-Scale Study of Model Integration in ML-Enabled Software Systems. | Yorick Sens, Henriette Knopp, Sven Peldszus, Thorsten Berger |
| 2025 | A BizDevOps-Aligned Framework for Integrating Security Practices in Agile Software Development. | Alejandra Selva-Mora |
| 2025 | From Bugs to Benefits: Improving User Stories by Leveraging Crowd Knowledge with CrUISE-AC. | Stefan Schwedt, Thomas Strder |
| 2025 | A Reference Model for Empirically Comparing LLMs with Humans. | Kurt Schneider, Farnaz Fotrousi, Rebekka Wohlrab |
| 2025 | Towards Fully-Traceable Human-Centred Design. | Christopher William Schankula |
| 2025 | Participatory design of a community AI intervention for scaling up adolescent access to SRHR education: Case of the TeenApp. | Rahman Sanya, Ben Wycliff Mugalu, Gedi Night Biira, Stella Achen |
| 2025 | QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. | Alex Sanchez-Stern, Abhishek Varghese, Zhanna Kaufman, Shizhuo Dylan Zhang, Talia Ringer, Yuriy Brun |
| 2025 | Neurosymbolic Modular Refinement Type Inference. | Georgios Sakkas, Pratyush Sahu, Kyeling Ong, Ranjit Jhala |
| 2025 | A Graph-Centric Neuro-Symbolic Architecture Applied to Personalized Sepsis Treatments. | Lucas Sakizloglou, Taisiya Khakharova, Leen Lambers |
| 2025 | A Structured Approach to Accessibility in Software Development Lifecycle. | Md Hasan Saju, Sanaa A. Alwidian, Partha Mazumder, Akramul Azim |