Dates
Tracks
This program is tentative and subject to change.
Tue 7 JulDisplayed time zone: Eastern Time (US & Canada) change
Tue 7 Jul
Displayed time zone: Eastern Time (US & Canada) change
08:30 - 10:30 | |||
08:30 30mDay opening | Welcome Plenary Events | ||
09:00 40mKeynote | Keynote 1: Benoit Baudry - Punking Up Dependency Hell Plenary Events | ||
09:40 40mKeynote | Keynote 2: Dickson Tsai - Harness Design for Increasingly Capable Models: How Newer Claude Code Features Shape Agent Trajectories Plenary Events | ||
11:00 - 12:30 | |||
11:00 20mTalk | A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages Journal-First Paper Sathvik Joel Indian Institute of Technology Madras, Chennai, India, Jie JW Wu Michigan Technological University, USA, Fatemeh Hendijani Fard University of British Columbia, Okanagan | ||
11:20 20mTalk | Validating LLM-Generated SQL Queries Through Metamorphic Prompting Research Papers Li Lin Xiamen University, Qinglin Zhu School of Informatics, Xiamen University, Jintai Hong School of Informatics, Xiamen University, Chong Wang Nanyang Technological University, Yang Liu Nanyang Technological University, Rongxin Wu Xiamen University | ||
11:40 20mTalk | Galápagos: Automated N-Version Programming with LLMs Journal-First Paper Javier Ron Arteaga KTH Royal Institute of Technology, Diogo Gaspar KTH Royal Institute of Technology, Javier Cabrera Arteaga KTH Royal Institute of Technology, Benoit Baudry Université de Montréal, Martin Monperrus KTH Royal Institute of Technology | ||
12:00 20mTalk | VisionScratch: LLM-Based Automated Feedback Generation Using Code-Produced Videos for Scratch Programs Research Papers Yuan Si University of Waterloo, Daming Li Independent Researcher, Hanyuan Shi N/A, Jialu Zhang University of Waterloo | ||
12:20 10mTalk | COBook: An AI-Assisted Interactive COBOL Notebook with Visualization Tool Demonstrations Raghavendra Pappu IIT Tirupati, Satish Pati IIT Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
11:00 - 12:30 | |||
11:00 20mTalk | Understanding the Limitations of C/C++ Binary Third-Party Library Detection Tool: An Empirical Study at Scale Research Papers CHENGYUE LIU , Zhengzi Xu Imperial Global Singapore, Kaixuan Li Nanyang Technological University, Wu Jiahui Nanyang Technological University, Singapore, Sihao Qiu Institute of Information Engineering Chinese Academy of Sciences & University of Chinese Academy of Sciences, China, Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Siyang Xiong Desay SV Automotive Singapore Pte. Ltd., Yang Xiao Chinese Academy of Sciences, Yang Liu Nanyang Technological University | ||
11:20 20mTalk | Pig: Leveraging Large Language Models for Python Library Migrations Research Papers Miryeong Kang Korea University, Wonseok Oh Korea University, Gabin An Korea University, Hakjoo Oh Korea University | ||
11:40 20mTalk | Bringing Managed Language Support to WebAssembly with External Library Linking Research Papers Shuyao Jiang The Chinese University of Hong Kong, Ruiying Zeng Fudan University, Yangfan Zhou Fudan University, Michael Lyu The Chinese University of Hong Kong | ||
12:00 10mTalk | Package Dashboard: A Cross-Ecosystem Framework for Dual-Perspective Analysis of Software Packages Tool Demonstrations | ||
12:10 20mTalk | A Tuple-Oriented Sampling Method for Generating Small Pairwise Covering Arrays in Configurable Software Systems Research Papers Kaichen Chen South China University of Technology, Yi Xiang South China University of Technology, Haining Wang South China University of Technology, Jiatong Ma South China University of Technology, Fujian Feng Guizhou Minzu University, Miqing Li University of Birmingham, Han Huang Sun Yat-Sen University | ||
11:00 - 12:30 | |||
11:00 20mTalk | Towards Automated Crowdsourced Testing via Personified-LLM Research Papers Shengcheng Yu Technical University of Munich, Yuchen Ling Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University, Chunyang Chen TU Munich | ||
11:20 20mTalk | Clotho: Measuring Task-Specific Pre-Generation Test Adequacy for LLM Inputs Research Papers Juyeon Yoon Korea Advanced Institute of Science and Technology, Somin Kim Korea Advanced Institute of Science and Technology, Robert Feldt Chalmers | University of Gothenburg, Shin Yoo KAIST Pre-print | ||
11:40 20mTalk | Automated Knowledge-Aware Test Reuse Research Papers Ziyuan Zhang Zhejiang University, Yi Gao Zhejiang University, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Shanping Li The State Key Laboratory of Blockchain and Data Security, Zhejiang University | ||
12:00 20mTalk | Generalizing Test Cases for Comprehensive Test Scenario Coverage Research Papers Binhang Qi National University of Singapore, Yun Lin Shanghai Jiao Tong University, Xinyi Weng Shanghai Jiao Tong University, Chenyan Liu Shanghai Jiao Tong University; National University of Singapore, Hailong Sun Beihang University, Gordon Fraser University of Passau, Jin Song Dong National University of Singapore | ||
12:20 10mTalk | The Impact of Documentation on Test Engagement in Pull Requests in OSS Ideas, Visions and Reflections Teal Amore Eastern Michigan University, Nathan Berman Eastern Michigan University, Siyuan Jiang Eastern Michigan University | ||
11:00 - 12:30 | |||
11:00 20mTalk | ExpeRepair: Dual-Memory Enhanced LLM-based Repository-Level Program Repair Research Papers Fangwen Mu Institute of Software, Chinese Academy of Sciences, Junjie Wang Institute of Software at Chinese Academy of Sciences, Lin Shi Beihang University, Song Wang York University, Shoubin Li Institute of Software at Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences | ||
11:20 20mTalk | TLR: Codebase-Level C Memory Management Error Repair with Large Language Models Research Papers Xiao Cheng Macquarie University, Zhihao Guo UTS, Huan Huo University of Technology Sydney, Yulei Sui University of New South Wales | ||
11:40 20mTalk | AutoCodeRover: Agentic Program Repair for SonarQube Issues Industry Papers Martin Mirchev National University of Singapore, Ridwan Salihin Shariffdeen SonarSource, Haifeng Ruan National University of Singapore, Yuntong Zhang National University of Singapore, Abhik Roychoudhury National University of Singapore | ||
12:00 10mTalk | Who Wrote This Patch? Toward Accountable Automated Program Repair Ideas, Visions and Reflections Huaijin Ran Xi’an Jiaotong-Liverpool University, Haoyi Zhang Xi’an Jiaotong-Liverpool University, Kisub Kim DGIST, Xunzhu Tang University of Luxembourg DOI | ||
12:10 20mTalk | Understanding, Detecting, and Repairing Real-World In-Context-Learning-Based Text-to-SQL Errors Research Papers Jiawei Shen East China Normal University, Chengcheng Wan East China Normal University, Ruoyi Qiao East China Normal University, Jiazhen Zou East China Normal University, Hang Xu East China Normal University, Yuchen Shao East China Normal University, Shanghai Innovation Institute, Yueling Zhang East China Normal University, Weikai Miao East China Normal University, Geguang Pu East China Normal University, China | ||
11:00 - 12:30 | |||
11:00 20mTalk | From Specifications to Implementation in the Gen-AI Era: Lessons from a Project-based Software Engineering Course Research Papers Yingying Wang University of British Columbia, Masih Beigi Rizi University of British Columbia, Fatemeh Khashei University of British Columbia, Julia Rubin The University of British Columbia Pre-print | ||
11:20 20mTalk | GraphLocator: Graph-guided Causal Reasoning for Issue Localization Research Papers Wei Liu Peking University, Chao Peng Tencent, Pengfei Gao ByteDance, Aofan Liu Peking University, Wei Zhang Peking University, Haiyan Zhao Peking University, Zhi Jin Peking University, Wuhan University | ||
11:40 20mTalk | Reflex: Event-Driven Automated Fault Localization for Large-Scale LLM Training Industry Papers Hua Ding Shanghai Jiao Tong University, Yun Zhang ByteDance Seed, Bo Zhang China Electric Power Research Institute, Wenxiao Wang ByteDance Seed, Libo Chen Shanghai Jiao Tong University, Huan Yu ByteDance Seed, Zhe Nan ByteDance Seed, Zuquan Song ByteDance Seed, Weiqiang Lou ByteDance Seed, Gaohong Liu ByteDance Seed, Xi Yang ByteDance Seed, Yuhan Li ByteDance Seed, Qinlong Wang ByteDance Seed, Shuguang Wang ByteDance Seed, Wencong Xiao ByteDance Seed, Shenghong Li Shanghai Jiao Tong University | ||
12:00 10mTalk | How Far Can VLMs Go for Visual Bug Detection? Studying 19,738 Keyframes from 41 Hours of Gameplay Videos Industry Papers Wentao Lu University of Alberta, Alexander Senchenko Electronic Arts, Alan Sayle Electronic Arts, Abram Hindle University of Alberta, Cor-Paul Bezemer University of Alberta | ||
12:10 20mTalk | Typestate-based Fault Localization of API Usage Violations in a Deep Learning Program Journal-First Paper Fraol Batole Tulane University, Ruchira Manke Tulane University, Robert Dyer University of Nebraska-Lincoln, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Tulane University | ||
11:00 - 12:30 | Fairness, Green and SustainabilityResearch Papers / Ideas, Visions and Reflections / Industry Papers at MB 3.435 | ||
11:00 20mResearch paper | Carbon-Taxed Transformers: A Green Compression Pipeline for Overgrown Language Models Research Papers Ajmain Inqiad Alam University of Saskatchewan, Palash Ranjan Roy University of Saskatchewan, Chanchal K. Roy University of Saskatchewan, Banani Roy University of Saskatchewan, Kevin Schneider University of Saskatchewan Pre-print | ||
11:20 10mTalk | Advancing Evidence-Based Social Sustainability in Software Engineering: A Research Roadmap Ideas, Visions and Reflections Bimpe Ayoola Dalhousie University, Anielle Andrade Federal University of Pampa, Paul Ralph Dalhousie University, Ronnie de Souza Santos University of Calgary | ||
11:30 20mTalk | Practical Feasibility of Sustainable Software Engineering Tools and Techniques Industry Papers Satwik Ghanta University of Glasgow, Peggy Gregory University of Glasgow, UK, Gül Calikli University of Glasgow | ||
11:50 20mTalk | Adopting Concepts for Sustainable Improvement of the Developer Experience within a Medium-sized Corporation Industry Papers Jannik Lange Munich University of Applied Sciences, Axel Böttcher Munich University of Applied Sciences | ||
12:10 20mTalk | Fairness Testing of Large Language Models in Role-Playing Research Papers Xinyue Li Peking University, Zhenpeng Chen Tsinghua University, Jie M. Zhang Mistral AI and King's College London, Ying Xiao , Li Tianlin , Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University, Yiling Lou University of Illinois at Urbana-Champaign, Xuanzhe Liu Peking University | ||
11:00 - 12:30 | Security 1Tool Demonstrations / Industry Papers / Ideas, Visions and Reflections / Research Papers at MB 3.445 | ||
11:00 10mTalk | IDSLab: A Low-Code Platform for End-to-End IDS Dataset Construction and Experimentation Tool Demonstrations Reda Morsli École de Technologie Supérieure, Nadjia Kara École de Technologie Supérieure, Hakima Ould-Slimane University of Quebec at Trois-Rivieres, Laaziz Lahlou Ecole de Technologie Superieure | ||
11:10 20mTalk | JDetect: A Fine-Grained Detecting Method for Java Source SCA by Fusing Behavioral and Code Features Industry Papers Guisheng Fan East China University of Science and Technology, Shulin Liu East China University of Science and Technology, Wentao Chen East China University of Science and Technology, Huiqun Yu East China University of Science and Technology; Shanghai Engineering Research Center of Smart Energy, Huan Wang Orient Securities Company Limited, Diwen Shi East China University of Science and Technology | ||
11:30 20mTalk | AST-PAC: AST-guided Membership Inference for Code Ideas, Visions and Reflections Roham Koohestani Delft University of Technology, Ali Al-Kaswan Delft University of Technology, Netherlands, Jonathan Katzy Delft University of Technology, Mali Izadi Google & TU Delft | ||
11:50 10mTalk | Cerberus: Robust Endpoint Threat Detection in Practice Industry Papers Zhiwei Xu Tsinghua University, Tian Qiu Tsinghua University, Haohao Gao China Central Depository & Clearing Co., Ltd., Wei Jiao China Central Depository & Clearing Co., Ltd., Qichen Ma China Central Depository & Clearing Co., Ltd., Jingli Wang China Central Depository & Clearing Co., Ltd., Jiaxiang Zhao China Central Depository & Clearing Co., Ltd., Jiabao Gao Tsinghua University, Hai Wan Tsinghua University, Xibin Zhao Tsinghua University | ||
12:00 20mTalk | JSProtect: A Scalable Obfuscation Framework for Mini-Games in WeChat Industry Papers Zhihao Li Tencent Inc., Chaozheng Wang The Chinese University of Hong Kong, Li Zongjie Hong Kong University of Science and Technology, Xinyong Peng Tencent Inc., Zelin Su Tencent Inc., Qun Xia Tencent Inc., Haochuan Lu Tencent, Ting Xiong Tencent Inc., Man Ho Lam The Chinese University of Hong Kong, Shuzheng Gao Chinese University of Hong Kong, Yuchong Xie Hong Kong University of Science and Technology, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Shuai Wang Hong Kong University of Science and Technology, Yuetang Deng Tencent, Huafeng Ma Tencent Inc. | ||
12:20 10mTalk | Practitioner Perspectives of DAST Integration in Agile Development Workflows: An Experience Report Industry Papers | ||
11:00 - 12:30 | |||
11:00 20mTalk | NESA: Relational Neuro-Symbolic Static Program Analysis Research Papers Chengpeng Wang National University of Singapore, Yifei Gao Purdue University, Wuqi Zhang MegaETH, Xuwei Liu Purdue University, USA, Jinyao Guo Purdue University, Mingwei Zheng Purdue University, Qingkai Shi Nanjing University, Xiangyu Zhang Purdue University | ||
11:20 10mTalk | Path-Guider: An IDE-based Agentic AI Tool for Path-based COBOL Program Analysis Tool Demonstrations Sameer Pimparkhede IBM Research, Pankaj Kumar Kalita IBM Research, Diptikalyan Saha IBM Research, Toshiaki Yasue IBM Research - Tokyo, Fumiko Satoh IBM Research - Tokyo | ||
11:30 20mTalk | JavaScript Pointer Analysis with Adaptive Heap Abstraction Research Papers Pre-print | ||
11:50 20mTalk | Large Language Models for Opaque Predicate Resolution: A Universal Control Flow Deobfuscation Framework Research Papers Xiao Chen , Wang Qiuyun Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences, Wang Shuwei Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences, Zhang Weize Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences, Yuling Liu Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, University of Chinese Academy of Sciences} \city{Beijing, Baoxu Liu Institute of Information Engineering, Chinese Academy of Sciences, Jiang Zhengwei Institute of Information Engineering, Chinese Academy of Sciences;and University of Chinese Academy of Sciences | ||
12:10 20mTalk | GPU-Accelerated Flow-Sensitive Pointer Analysis for C/C++ Programs Research Papers | ||
11:00 - 12:30 | |||
11:00 20mTalk | How Can ChatGPT Support Human Security Testers to Help Mitigate Supply Chain Attacks? Journal-First Paper Ying Zhang Wake Forest University, Wenjia Song Virginia Tech, Zhengjie Ji Virginia Tech, Daphne Yao Virginia Tech, Na Meng Virginia Tech | ||
11:20 20mTalk | Dependency-Aware Over-the-Air Framework for Reliable Software Defined Vehicle Updates Industry Papers Juyeon Park Hyundai Motor Company; Korea Advanced Institute of Science and Technology (KAIST), In-Young Ko Korea Advanced Institute of Science and Technology | ||
11:40 20mTalk | Break to Adapt: Knowledge-Based Updates of Breaking Dependencies in JavaScript Research Papers Yifan Xia , Chengwei Liu Nankai University, Zifan Xie Chongqing University, Lyuye Zhang Nanyang Technological University, Peiyu Liu Zhejiang University, Kangjie Lu University of Minnesota, Yang Liu Nanyang Technological University, Wenhai Wang Zhejiang University, Shouling Ji Zhejiang University | ||
12:00 20mTalk | Co-Evolution of Types and Dependencies: Towards Repository-Level Type Inference for Python Code Research Papers Shuo Sun Institute of Software, Chinese Academy of Sciences, Shixin Zhang Institute of Software, Chinese Academy of Sciences, Jiwei Yan Institute of Software at Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
12:20 10mTalk | DependaFix: A GitHub App for Fixing Breaking Dependency Updates in CI Build for Java Projects Tool Demonstrations Enock Mecheo New York University Abu Dhabi, May Mahmoud New York University Abu Dhabi, Sarah Nadi New York University Abu Dhabi | ||
11:00 - 12:30 | |||
11:00 20mTalk | Benchmarking AI Models in Software Engineering: A Review, Search Tool, and Unified Approach for Elevating Benchmark Quality Journal-First Paper Roham Koohestani Delft University of Technology, Philippe de Bekker Delft University of Technology, Begüm Koç Delft University of Technology, Mali Izadi Google & TU Delft | ||
11:20 10mTalk | Investigating Test Overfitting on SWE-bench Ideas, Visions and Reflections Toufique Ahmed IBM, Jatin Ganhotra IBM Research, Avraham Shinnar IBM Research, Martin Hirzel IBM Research Pre-print | ||
11:30 20mTalk | CrypFormBench: Benchmarking Formal Analysis Capability of Large Language Models for Cryptographic schemes Research Papers Zhaoxuan Li Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Qionglu Zhang State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Hengyuan Liu State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Xiaoyan Gu State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Xianhui Lu State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Hongbo Liu State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Bingzheng Wang State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Haihui Fan State Key Laboratory of Information Security, Institute of Information Engineering Chinese Academy of Sciences, Beijing, China, Ziming Zhao Zhejiang University, Rui Zhang Taiyuan University of Science and Technology, Li Zhou Institute of Software, Chinese Academy of Sciences | ||
11:50 20mTalk | LoCaL: Countering Surface Bias in Code Evaluation Metrics Research Papers | ||
12:10 20mTalk | VerilogASTBench: Benchmark Construction of Verilog AST Dataset with Dual-Stage AST Semantic Enhancement Framework Research Papers luping zhang Nanjing University of Posts and Telecommunications, Chao Chen Nanjing University of Posts and Telecommunications, Dapeng Yan Nanjing University of Posts and Telecommunications, Hui Xu Shenzhen Institute for Advanced Study, University of Electronic Science and Technology of China, Mingsheng Cao University of Electronic Science and Technology of China, Jingkuan Song University of Electronic Science and Technology of China, Zhikuang Cai Nanjing University of Posts and Telecommunications, Yufeng Guo Nanjing University of Posts and Telecommunications | ||
14:00 - 15:30 | |||
14:00 20mTalk | Casting a SPELL: Sentence Pairing Exploration for LLM Limitation-breaking Research Papers Yifan Huang , Xiaojun Jia Nanyang Technological University, Wenbo Guo Nanyang Technological University, Yuqiang Sun Nanyang Technological University, Yihao Huang National University of Singapore, Singapore, Chong Wang Nanyang Technological University, Yang Liu Nanyang Technological University | ||
14:20 20mTalk | ReFLAIR: Detecting Responsive Layout Reflow Issues using Multimodal Generative AI Research Papers Yirui He University of California, Irvine, Ziyao He University of California, Irvine, Syed Fatiul Huq University of California, Irvine, Sam Malek University of California at Irvine | ||
14:40 20mTalk | Recommending Usability Improvements with Multimodal Large Language Models Research Papers Sebastian Lubos Graz University of Technology, Alexander Felfernig Graz University of Technology, Damian Garber Graz University of Technology, Viet-Man Le Graz University of Technology, Manuel Henrich UNiQUARE Software Development GmbH Pre-print | ||
15:00 20mTalk | ViBR: Automated Bug Replay from Video-based Reports Using Vision-Language Models Research Papers Sidong Feng Monash University, Dingbang Wang University of Connecticut, Nikola Tomic Technical University of Munich, Tingting Yu University of Connecticut, Aldeida Aleti Monash University, Chunyang Chen TU Munich | ||
15:20 10mTalk | 90% Faster, 100% Code-Free: MLLM-Driven Zero-Code 3D Game Development Ideas, Visions and Reflections Yuxuan Wan The Chinese University of Hong Kong, Runxin Yang The Chinese University of Hong Kong, Shuqing Li The Chinese University of Hong Kong, Michael Lyu The Chinese University of Hong Kong | ||
14:00 - 15:10 | |||
14:00 20mTalk | Empowering Autonomous Debugging Agents with Efficient Dynamic Analysis Research Papers Jiahong Xiang Southern University of Science and Technology, Xiaoyang Xu Southern University of Science and Technology, Xiaopan Chu Southern University of Science and Technology, Hongliang Tian Ant Group, Yuqun Zhang Southern University of Science and Technology | ||
14:20 20mTalk | Two-Level Adaptation for Budget-Constrained Continuous Dynamic Dependence Analysis Research Papers | ||
14:40 20mTalk | Debugging Engine Enhanced by Prior Knowledge: Can We Teach LLM How to Debug? Research Papers Kunyi Li Zhejiang University, China, Sai Wu Zhejiang University, Xiu Tang Zhejiang University, Chang Yao Zhejiang University, Songhao Bu Zhejiang University, Quanqing Xu OceanBase, Ant Group, Gang Chen Zhejiang University | ||
15:00 20mTalk | A Grounded Theory of Debugging in Professional Software Engineering Practice Research Papers | ||
15:20 10mTalk | Towards Output Directed Debugging of Finite Model Finders Ideas, Visions and Reflections Mohammad Nurullah Patwary The Unviersity of Texas at Arlington, Allison Sullivan University of Texas at Arlington | ||
14:00 - 15:10 | |||
14:00 10mTalk | SCAR: Mining and Structuring Smart Contract Security Audit Reports Tool Demonstrations Ilham Qasse Reykjavik University, Po-Yu Tseng National Taiwan University, Mohammad Hamdaqa Polytechnique Montreal, Gísli Hjálmtýsson Reykjavik University | ||
14:10 20mTalk | Verifying Smart Contract Security Against Re-entrancy Attacks through Relational Value Analysis Research Papers | ||
14:30 20mTalk | SmartCoder-R1: Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization Research Papers Lei Yu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Jingyuan Zhang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Xin Wang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, Li Yang Institute of Software, Chinese Academy of Sciences, Fengjun Zhang Institute of Software, Chinese Academy of Sciences, China, Jiajia Ma Institute of Software, Chinese Academy of Sciences, China | ||
14:50 20mTalk | V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution Research Papers Jingwen Zhang School of Software Engineering, Sun Yat sen University, Yuhong Nan Sun Yat-sen University, Kaiwen Ning Sun Yat-sen University, Mingxi Ye Sun Yat-sen University, Wei Li School of Software Engineering, Sun Yat sen University, Yuming Xiao School of Software Engineering, Sun Yat sen University, Yuming Feng Peng Cheng Laboratory, Weizhe Zhang Harbin Institute of Technology, Zibin Zheng Sun Yat-sen University | ||
14:00 - 15:30 | |||
14:00 10mTalk | Bio-Aware Software Engineering for Reproducible Research.pdf Ideas, Visions and Reflections Yiming Zeng University of Connecticut, Dingbang Wang University of Connecticut, Ryan Green University of Cincinnati, Jinze Liu Virginia Commonwealth University, Tingting Yu University of Connecticut | ||
14:10 20mTalk | Predicting long time contributors with knowledge units of programming languages: an empirical study Journal-First Paper Md Ahasanuzzaman Queen's University, Gustavo A. Oliva Huawei Canada and Queen's University, Ahmed E. Hassan Queen’s University | ||
14:30 20mTalk | Human-AI experience in integrated development environments: a systematic literature review Journal-First Paper Agnia Sergeyuk JetBrains Research, Ilya Zakharov JetBrains Research, Ekaterina Koshchenko JetBrains Research, Mali Izadi Google & TU Delft | ||
14:50 20mTalk | Charting Uncertain Waters: A Socio-Technical Roadmap for Sustaining Open Source Communities in the Age of GenAI Journal-First Paper Zixuan Feng Oregon State University, USA, Reed Milewicz Sandia National Laboratories, Emerson Murphy-Hill Microsoft, Tyler Menezes CodeDay, Alexander Serebrenik Eindhoven University of Technology, Igor Steinmacher RESHAPE LAB, Northern Arizona University, USA, Anita Sarma Oregon State University Pre-print | ||
15:10 20mTalk | A Research Roadmap for Augmenting Software Engineering Processes and Software Products with Generative AI Journal-First Paper Domenico Amalfitano University of Naples Federico II, Andreas Metzger paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen, Marco Autili University of L'Aquila, Italy, Tommaso Fulcini Politecnico di Torino, Tobias Hey Karlsruhe Institute of Technology (KIT), Jan Keim Karlsruhe Institute of Technology (KIT), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy, Vincenzo Scotti Karlsruhe Institute of Technology, Anne Koziolek Karlsruhe Institute of Technology, Raffaela Mirandola Karlsruhe Institute of Technology (KIT), Andreas Vogelsang paluno – The Ruhr Institute for Software Technology, University of Duisburg-Essen | ||
14:00 - 15:30 | |||
14:00 20mTalk | RocketMQ-A2A: Reliable Session-Level Replayable Event Streams for Large-Scale Multi-Agent Collaboration Industry Papers Li Zhou Alibaba Cloud Computing, Shuo Zhang Alibaba Cloud Computing, Juntao Ji Alibaba Cloud Computing Co. Ltd., Shijie Zhang Alibaba Cloud Computing, Ke Zhao Alibaba Cloud Computing, Yubao Fu Alibaba Cloud Computing Co. Ltd., Qingshan Lin Alibaba Cloud Computing Co. Ltd. | ||
14:20 10mTalk | AgentReputation: A Decentralized Agentic AI Reputation Framework Ideas, Visions and Reflections Mohd Sameen Chishti Norwegian University of Science and Technology NTNU, Damilare Peter Oyinloye Norwegian University of Science and Technology, Jingyue Li Norwegian University of Science and Technology (NTNU) | ||
14:30 10mTalk | Evaluating Privilege Usage of Agents on Real-World Tools Ideas, Visions and Reflections Quan Zhang East China Normal University, Lianhang Fu School of Software, Xinjiang University, Lvsi Lian East China Normal University, Gwihwan Go Tsinghua University, YujueWang Tsinghua University, Chijin Zhou East China Normal University, Yu Jiang Tsinghua University, Geguang Pu East China Normal University, China | ||
14:40 20mTalk | AgentBound: Securing Execution Boundaries of AI Agents Research Papers Christoph Buehler University of St. Gallen, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Luca Di Grazia University of St. Gallen, Guido Salvaneschi University of St. Gallen | ||
15:00 10mTalk | AIMS: A Content-Aware Resource Management Approach for AI Assistant Systems Ideas, Visions and Reflections Chiming Duan Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Minghua He Peking University, Pei Xiao Peking University, Lingzhe Zhang Peking University, China, Zhewei Zhong Bytedance, Xin Zhang Bytedance, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
15:10 20mTalk | Reducing Cost of LLM Agents with Trajectory Reduction Research Papers Yuan-An Xiao Peking University, Pengfei Gao ByteDance, Chao Peng Tencent, Yingfei Xiong Peking University Pre-print | ||
14:00 - 15:30 | |||
14:00 20mTalk | RepoReasoner: Evaluating Repository-Level Code Reasoning Ability of Long-Context Language Models Research Papers Yanlin Wang Sun Yat-sen University, Suiquan Wang Sun Yat-sen University, Yanli Wang Sun Yat-sen University, Bowen Zhang Sun Yat-sen University, Daya Guo , Jiachi Chen Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
14:20 20mTalk | Mining Long Tail Bugs: Identifying Rare and Overlooked Issues in Code Research Papers Wentao Liang Institute of Software, Chinese Academy of Sciences, Yanjun Wu Institute of Software, Chinese Academy of Sciences, Xiang Ling Institute of Software, Chinese Academy of Sciences, Tianyue Luo Institute of Software, Chinese Academy of Sciences, Dinghao Liu Shandong University, Haotian Zhang Institute of Software, Chinese Academy of Sciences, Jingzheng Wu Institute of Software, The Chinese Academy of Sciences | ||
14:40 20mTalk | LinkAnchor: An Autonomous LLM-Based Agent for Issue-to-Commit Link Recovery Research Papers Arshia Akhavan San Diego State University, Alireza Hoseinpour Bowling Green State University, Abbas Heydarnoori Bowling Green State University, Hamid Bagheri University of Nebraska-Lincoln, Mehdi Keshani University of Zurich, Zurich, Switzerland Pre-print Media Attached | ||
15:00 20mTalk | Automated Identification of Sexual Orientation and Gender Identity Discriminatory Texts from Issue Comments Journal-First Paper Sayma Sultana Tulane University, USA, Jaydeb Sarker University of Nebraska at Omaha, Farzana Israt Wayne State University, Rajshakhar Paul Wayne State University, Amiangshu Bosu Wayne State University Link to publication DOI Pre-print | ||
15:20 10mTalk | Rethinking Software Quality Measurement: A Vision for AI-Assisted Triangulation in the Post-Metrics Era Ideas, Visions and Reflections Jomar Thomas Almonte The Pennsylvania State University, Nathalia Nascimento Pennsylvania State University | ||
14:00 - 15:30 | Test generation 1Industry Papers / Research Papers / Journal-First Paper / Tool Demonstrations at MB 3.435 | ||
14:00 10mTalk | TestAgent: A Multi-Agent LLM Framework for Repository-Level Unit Test Generation Tool Demonstrations ye shang Nanjing University, Quanjun Zhang Nanjing University of Science and Technology, Zhengyu Zhan Nanjing University, Ke Huang Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University | ||
14:10 20mTalk | Just-in-Time Catching Test Generation at Meta Industry Papers Mark Harman Meta Platforms, Inc. and UCL, Matthew Becker Meta, Yifei Chen Meta, Nicholas Cochran Meta, Pouyan Ghasemi Meta, Abhishek Gulati Meta platforms, Mehrdad Honarkhah Meta, Hervé Robert Meta platforms, Jiacheng Liu Meta, Weini Liu Meta, Sreeja Thummala Meta, Xiaoning Yang Meta, Rui Xin Meta, Sophie Zeng Meta, Zac Haluza Meta | ||
14:30 20mTalk | Understanding and Mitigating Hallucinations in Industrial LLM-based Unit Test Generation Industry Papers Yanlun Tu Ant Group, Ziyue Zhou University of Electronic Science and Technology of China, Cheng Xu Ant Group, Jingling Sun University of Electronic Science and Technology of China, Shuai Feng Ant Group, Chengyu Zhang Loughborough University | ||
14:50 20mTalk | Directed Grammar-Based Test Generation Journal-First Paper Lukas Kirschner Saarland University, Ezekiel Soremekun Singapore University of Technology and Design | ||
15:10 20mTalk | iCoRe: An Iterative Correlation-Aware Retriever for Bug Reproduction Test Generation Research Papers JunyiWang Zhejiang University, Jialun Cao Hong Kong University of Science and Technology, Zhongxin Liu Zhejiang University | ||
14:00 - 15:20 | |||
14:00 20mTalk | Small is Beautiful: A Practical and Efficient Log Parsing Framework Research Papers Minxing Wang Singapore Management University, Yintong Huo Singapore Management University, Singapore | ||
14:20 20mTalk | Towards Secure Logging: Characterizing and Benchmarking Logging Code Security Issues with LLMs Research Papers He Yang Yuan York University, Xin Wang The Hong Kong University of Science and Technology (Guangzhou), Kundi Yao Ontario Tech University, An Ran Chen University of Alberta, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou), Zhenhao Li York University | ||
14:40 20mTalk | Enhancing Log Sentiments: An Exploratory Study of Sentiments and Emotions with Software Logs Journal-First Paper Xiaohui Wang University of Waterloo, Youshuai Tan Macau University of Science and Technology, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou), Jinfu Chen Wuhan University, Jifeng Xuan Wuhan University, Weiyi Shang University of Waterloo | ||
15:00 20mTalk | LPB-Gen: Systematic Large Log-Parsing Benchmarks Generation Journal-First Paper Hetong Dai University of Waterloo, Kundi Yao Ontario Tech University, Felix Li University of Waterloo, Jianxin You University of Montreal, Qianyun Shen University of Montreal, Weiyi Shang University of Waterloo | ||
14:00 - 15:30 | Requirement and designResearch Papers / Journal-First Paper / Tool Demonstrations / Ideas, Visions and Reflections at MB 5.215 | ||
14:00 10mTalk | Round-trip Engineering for Tactical DDD: A Constraint-Based Vision for the Masses Ideas, Visions and Reflections Weixing Zhang Karlsruhe Institute of Technology (KIT), Mario Herb esentri AG, Martin Armbruster Karlsruhe Institute of Technology (KIT), Bowen Jiang Karlsruhe Institute of Technology, Marcel Vielsack esentri AG, Anne Koziolek Karlsruhe Institute of Technology | ||
14:10 20mTalk | Classifier or Prompt: A Case Study on Legal Requirements Traceability Journal-First Paper Romina Etezadi University of Ottawa, Sallam Abualhaija University of Luxembourg, Chetan Arora Monash University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
14:30 10mTalk | SpecPylot: Python Specification Generation with Large Language Models Tool Demonstrations | ||
14:40 20mTalk | Multi-LLM Persona Generation for Virtual Focus Groups in Software Engineering: A Controlled, Multi-Domain Study of Emotional Requirements Elicitation Research Papers Guangrui Fan Taiyuan University of Science and Technology, Dandan Liu Universiti Malaya, Lihu Pan Taiyuan University of Science and Technology, Rui Zhang Taiyuan University of Science and Technology, Qian Guo Taiyuan University of Science and Technology | ||
15:00 20mTalk | On the Utility of Domain Modeling Assistance with Large Language Models Journal-First Paper Meriem Ben Chaaben Université de Montréal, Lola Burgueño University of Malaga, Istvan David McMaster University / McMaster Centre for Software Certification (McSCert), Houari Sahraoui DIRO, Université de Montréal | ||
15:20 10mTalk | ADATracer - Towards A Software Traceability Pipeline for ADA Systems Tool Demonstrations Nithin Chepuri Indian Institute of Technology Tirupati, Rajeev Thota Indian Institute of Technology Tirupati, Venkat Kaushal Thippisetty Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati, Sumith Shankar U. R. Rao Satellite Centre, ISRO | ||
15:30 - 16:00 | Coffee BreakCatering | ||
16:00 - 17:40 | Verification 1Research Papers / Tool Demonstrations / Journal-First Paper / Ideas, Visions and Reflections at MB 2.430 | ||
16:00 10mTalk | IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints Ideas, Visions and Reflections Zixuan Yuan Xidian University, Bin Yu Xidian University, Xu Lu Xidian University, WenSheng Wang Xidian University, Yuanzhe Liu Xidian University, Cheng Wen Xidian University, Meng Wang Hebei university, Chu Chen Qufu Normal University | ||
16:10 20mTalk | Active Learning of Symbolic Automata for Reactive Programs via Dynamic Symbolic Mapper Research Papers DOI Pre-print | ||
16:30 20mTalk | Precondition Synthesis for Deep Neural Networks with Statistical Guarantees Research Papers Zengyu Liu National University of Defense Technology, Bai Xue Institute of Software at Chinese Academy of Sciences, China, Pengfei Yang College of Computer and Information Science, Software College, Southwest University, Ji Wang National University of Defense Technology | ||
16:50 10mTalk | EquivFusion: Unifying Hardware Equivalence Checking from Algorithms to Netlists via MLIR Tool Demonstrations Jiaying Zhu The Chinese University of Hong Kong, Baoqi Zhang National Center of Technology Innovation for EDA, Mengxia Tao National Center of Technology Innovation for EDA, Kezhi Li The Chinese University of Hong Kong, Hao Yan Central South University, Xu, Qiang , Min Li Southeast University | ||
17:00 20mTalk | Compiler Optimization-Based SMT Simplifications: An In-Depth Study Journal-First Paper Hanyun Jiang The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Peisen Yao Zhejiang University, Jiachen Lu The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Yongwang Zhao The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Kui Ren The State Key Laboratory of Blockchain and Data Security, Zhejiang University | ||
16:00 - 17:20 | |||
16:00 20mTalk | Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair Research Papers Hongshu Wang National University of Singapore, Xinyue Zuo National University of Singapore, Yuhan Sun East China Normal University, Qin Li Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Yamine AIT AMEUR IRIT - National Polytechnic Institute of Toulouse, Jin Song Dong National University of Singapore | ||
16:20 20mTalk | Fun2spec: Code Contract Synthesis At Scale Industry Papers Shubham Ugare Meta, Tarun Suresh University of Illinois, Urbana-Champaign, Sasa Misailovic University of Illinois Urbana-Champaign, Julien Vanegue Imperial College London; Bloomberg | ||
16:40 20mTalk | Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement Research Papers Alexandros Evangelidis University of York, UK, Gricel Vázquez University of York, UK, Simos Gerasimou Cyprus University of Technology Pre-print File Attached | ||
17:00 20mTalk | TraceSynth: Generating Production-Quality Kernel Traces with Constraint-Guided Diffusion Models Industry Papers Yuvraj Sehgal Brock University, Sneh Patel , Mahsa Panahandeh Postdoctoral Fellow, School of Electrical Engineering and Computer Science, University of Ottawa, Naser Ezzati-Jivan Brock University, François Tetreault Ciena | ||
16:00 - 17:30 | |||
16:00 20mTalk | Neuron-Guided Interpretation of Code LLMs: Where, Why, and How? Research Papers Zhe Yin Shanghai Jiao Tong University, Xiaodong Gu Shanghai Jiao Tong University, Beijun Shen Shanghai Jiao Tong University | ||
16:20 20mTalk | Beyond Language Boundaries: Uncovering Programming Language Families for Code Language Models Research Papers Shangbo Yun Shanghai Jiao Tong University, Jianghong Huang Shanghai Jiao Tong University, Xiaodong Gu Shanghai Jiao Tong University, Beijun Shen Shanghai Jiao Tong University | ||
16:40 20mTalk | Engineering Pitfalls in AI Coding Tools: An Empirical Study of Bugs in Claude Code, Codex, and Gemini CLI Industry Papers Ruixin Zhang York University, Wuyang Dai York University, Hung Viet Pham York University, Gias Uddin York University, Canada, Jinqiu Yang Concordia University, Song Wang York University | ||
17:00 20mTalk | Compiling Code LLMs into Lightweight Executables Research Papers Jieke Shi Singapore Management University, Junda He Singapore Management University, Zhou Yang University of Alberta; CIFAR AI Chair; Alberta Machine Intelligence Institute , Chengran Yang Singapore Management University, Singapore, Mykhailo Klymenko CSIRO's Data61, Thong Hoang CSIRO's Data61, Xiwei (Sherry) Xu Data61, CSIRO, Zhenchang Xing CSIRO's Data61, David Lo Singapore Management University | ||
16:00 - 17:20 | |||
16:00 20mTalk | DECODE: Dynamic Exploration for Constraint-Guided Vulnerability Discovery in Deep Learning Operators Research Papers Haotong Liu Nankai University, Zhi Wang Nankai University, Liu Zhuohang Nankai University, Wanpeng Li University of Liverpool | ||
16:20 20mTalk | On the Effects of Program Slicing for Vulnerability Detection during Code Inspection (Journal First) Journal-First Paper Aurora Papotti Vrije Universiteit Amsterdam, Katja Tuma Eindhoven University of Technology, Fabio Massacci University of Trento; Vrije Universiteit Amsterdam | ||
16:40 20mTalk | VulInstruct: Teaching LLMs Root-Cause Reasoning for Vulnerability Detection via Security Specifications Research Papers Hao Zhu Peking University, Jia Li Tsinghua University, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Jiaru Qian Peking University, Yihong Dong Peking University, Huanyu Liu , Lecheng Wang Peking University, Ziliang Wang Peking University, Xiaolong Hu New H3C Technologies Co., Ltd, Ge Li Peking University | ||
17:00 20mTalk | pPatch: Automated Vulnerability Unpatching Research Papers Tianyi Jing Huazhong University of Science and Technology, Pengyu Ding Huazhong University of Science and Technology, Meng Xu University of Waterloo, Yinhao Hu Huazhong University of Science and Technology & Zhongguancun Laboratory, Zheng Yu Northwestern University, Dongliang Mu Huazhong University of Science and Technology | ||
16:00 - 17:20 | |||
16:00 20mTalk | PoCGen: Generating Proof-of-Concept Exploits for Vulnerabilities in Npm Packages Research Papers Deniz Simsek University of Stuttgart, Aryaz Eghbali CISPA Helmholtz Center for Information Security, Germany, Michael Pradel CISPA Helmholtz Center for Information Security | ||
16:20 20mTalk | Exorcist: Enabling Atomic-Level Runtime Detection of Spectre Attacks Using Precise Event Based Sampling Research Papers Hao Jia Xidian University, Haoyu Ma Beijing Jiaotong University, Changfeng Ding Xidian University, Jinku Li Xidian University | ||
16:40 20mTalk | Unveiling the Fragility of Binary Code Similarity Detection via Targeted Attacks with Model Explanations Research Papers Mingjie Chen Zhejiang University, Tiancheng Zhu Huazhong University of Science and Technology, Mingxue Zhang Zhejiang University, Yiling He University College London, Minghao Lin Independent Researcher, Penghui Li Columbia University, Kui Ren The State Key Laboratory of Blockchain and Data Security, Zhejiang University | ||
17:00 20mTalk | AVDA: Autonomous Vibe Detection Authoring for Cybersecurity Industry Papers Muhammed Fatih Bulut Microsoft, Carlo DePaolis Microsoft, Raghav Batta Microsoft, Anjali Mangal Microsoft | ||
16:00 - 17:20 | |||
16:00 20mTalk | Understanding Code Similarity across Instruction Set Architectures: An Empirical Study Research Papers yuhaonan Institute of Software Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Yingying Zheng Institute of Software at Chinese Academy of Sciences, Yuwei Zhang Institute of Software Chinese Academy of Sciences, Wei Wang Institute of Software at Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software at Chinese Academy of Sciences | ||
16:20 20mTalk | SBridge: Identifying Source-to-Binary Function Similarity via Cross-Domain Control Block Matching Research Papers Heedong Yang Korea University, Jeongwoo Lee Korea University, Hajin Yun Korea University, Seunghoon Woo Korea University | ||
16:40 20mTalk | Understanding Binary Code Similarity for Real-World Vulnerability Detection: A Large-Scale Empirical Study Research Papers Jingdong Guo Institute of Information Engineering, CAS; School of Cyber Security, UCAS, Chaopeng Dong School of Cyberspace, Hangzhou Dianzi University, Yimo Ren Institute of Information Engineering Chinese Academy of Sciences & University of Chinese Academy of Sciences, China, Siyuan Li University of Chinese Academy of Sciences & Institute of Information Engineering Chinese Academy of Sciences, China, Jie Liu Institute of Software, Chinese Academy of Sciences, Hong Li Institute of Information Engineering at Chinese Academy of Sciences, Hongsong Zhu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
17:00 20mTalk | UNICS: Multilingual Code Search via Unified Pseudocode and Contrastive Transfer Learning Research Papers Ye Fan Nanjing University, Jidong Ge Nanjing University, Chuanyi Li Nanjing University, Liguo Huang Southern Methodist University, Bin Luo Nanjing University | ||
16:00 - 17:20 | |||
16:00 20mTalk | DuCodeMark: Dual-Purpose Code Dataset Watermarking via Style-Aware Watermark–Poison Design Research Papers Yuchen Chen Nanjing University, Yuan Xiao Nanjing University, Chunrong Fang Nanjing University, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University | ||
16:20 20mTalk | PuzzleMark: Implicit Jigsaw Learning for Robust Code Dataset Watermarking in Neural Code Completion Models Research Papers Haocheng Huang Soochow University, Yuchen Chen Nanjing University, Weisong Sun Nanyang Technological University, Peizhuo Lv Nanyang Technological University, Yuan Xiao Nanjing University, Chunrong Fang Nanjing University, Yang Liu Nanyang Technological University, Xiaofang Zhang Soochow University | ||
16:40 20mTalk | Fool Me If You Can: On the Robustness of Binary Code Similarity Detection Models against Semantics-preserving Transformations Research Papers Jiyong Uhm Sungkyunkwan University, Minseok Kim Sungkyunkwan University, Michalis Polychronakis Stony Brook University, Hyungjoon Koo Sungkyunkwan University | ||
17:00 20mTalk | Verifying Structural Robustness of Deep Neural Network Research Papers Hai Duong George Mason University, Thanh Le National Institute of Information and Communications Technology (NICT), Lam Nguyen CMC Applied Technology Institute (CATI), ThanhVu Nguyen George Mason University | ||
17:20 10mTalk | Towards Reliable Testing for Machine Unlearning Ideas, Visions and Reflections DOI Pre-print | ||
16:00 - 17:30 | |||
16:00 20mTalk | Failing with Purpose: Dangling Coverage-Guided Negative Test Generation from a Mechanized P4 Type System Research Papers | ||
16:20 10mTalk | Argus: A Guided and Traceable Mutation Testing Engine Tool Demonstrations Zi Yang University of California, Riverside, Zhaorui Yang University of California, Riverside, Jiyuan Wang Tulane University, Qian Zhang University of California at Riverside | ||
16:30 20mTalk | Evaluating LLM-based Regression Test Generation Research Papers Jing Liu Max Planck Institute for Security and Privacy, Seongmin Lee UCLA, Eleonora Losiouk University of Padua, Marcel Böhme MPI for Security and Privacy | ||
16:50 20mTalk | TestLoop: A Process Model Describing Human-in-the-Loop Software Test Suite Generation Journal-First Paper Matthew C. Davis Carnegie Mellon University, Sangheon Choi Rose-Hulman Institute of Technology, Amy Wei University of Michigan, Sam Estep Carnegie Mellon University, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication DOI | ||
17:10 20mTalk | MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis Research Papers Congying Xu The Hong Kong University of Science and Technology, China, Hengcheng Zhu The Hong Kong University of Science and Technology, Songqiang Chen The Hong Kong University of Science and Technology, Jiarong Wu , Valerio Terragni University of Auckland, Shing-Chi Cheung Hong Kong University of Science and Technology Pre-print | ||
Wed 8 JulDisplayed time zone: Eastern Time (US & Canada) change
Wed 8 Jul
Displayed time zone: Eastern Time (US & Canada) change
10:00 - 10:30 | Coffee BreakCatering The poster presentations will be held in this coffee break area near the MB Atrium on the first floor. Authors are expected to stand near their posters during the scheduled coffee breaks to present their work and answer questions. Authors should print their own posters and bring them to the conference venue. Posters should be mounted on the designated poster boards before 8 July. Each poster board is double-sided and measures 4 × 6 ft. Each side can hold two portrait-oriented posters, with a recommended poster size of 24 × 36 inches. Each board can therefore accommodate four posters in total. Authors who need local printing may use the Concordia Print Store: https://www.concordia.ca/print/store.html. Other printing shops are also available near the venue. | ||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:30 | |||
10:30 20mTalk | SETS: A Simple yet Effective DNN Test Selection Approach Journal-First Paper Jingling Wang Nanjing University, Huayao Wu Nanjing University, Peng Wang Nanjing University, Xintao Niu Nanjing University, Changhai Nie Nanjing University | ||
10:50 20mTalk | MetaSel: A Test Selection Approach for Fine-Tuned DNN Models Journal-First Paper Amin Abbasishahkoo The School of EECS, University of Ottawa, Mahboubeh Dadkhah University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Dayi Lin Centre for Software Excellence, Huawei Canada | ||
11:10 20mTalk | Can Old Tests do New Tricks for Resolving SWE Issues? Research Papers Yang Chen University of Illinois at Urbana-Champaign, Toufique Ahmed IBM, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign, Martin Hirzel IBM Research | ||
11:30 20mTalk | Empirical Insights of Test Selection Metrics under Multiple Testing Objectives and Distribution Shifts Research Papers Jingyu ZHANG Hong Kong Metropolitan University, Fan Wang City University of Hong Kong, Jacky Keung City University of Hong Kong, Yihan Liao City University of Hong Kong, Yan Xiao Sun Yat-sen University, Lei Ma The University of Tokyo & University of Alberta Pre-print | ||
11:50 20mTalk | Cross-Refactoring-Type Test Program Migration for Refactoring Engines Research Papers Chunhao Dong Beijing Institute of Technology, Yanjie Jiang Tianjin University, Yang Zhang Hebei University of Science and Technology, Yuxia Zhang Beijing Institute of Technology, Hui Liu Beijing Institute of Technology | ||
12:10 20mTalk | Denoising Fault Localization with Test Line Proximity Research Papers Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security Pre-print | ||
10:30 - 12:30 | |||
10:30 20mTalk | SWR-Bench: Assessing LLM Performance in Real-World Code Review Comment Generation Research Papers Zhengran Zeng Peking University, Ruikai Shi Peking University, Keke Han Peking University, Yixin Li Peking University, Kaicheng Sun Northwestern Polytechnical University, Yidong Wang Peking University, Zhuohao Yu Peking University, Rui Xie Peking University, Wei Ye Peking University, Shikun Zhang Peking University | ||
11:10 20mTalk | HalluJudge: A Reference-Free Hallucination Detection for Context Misalignment in Code Review Automation Industry Papers Kla Tantithamthavorn Monash University, Hong Yi Lin The University of Melbourne, Patanamon Thongtanunam University of Melbourne, Wachiraphan (Ping) Charoenwet University of Melbourne, Minwoo Jeong Atlassian, Ming Wu Atlassian | ||
11:30 20mTalk | Hydra-Reviewer: A holistic multi-agent system for automatic code review comment generation Journal-First Paper Xiaoxue Ren Zhejiang University, Chaoqun Dai Zhejiang Gongshang University, Qiao Huang Zhejiang Gongshang University, Ye Wang Zhejiang Gongshang University, Chao Liu Chongqing University, Bo Jiang Zhejiang Gongshang University | ||
11:50 20mTalk | AI-Assisted Fixes to Code Review Comments at Scale Industry Papers Chandra Sekhar Maddila Meta Platforms, Inc., Negar Ghorbani Meta Platforms Inc., James Saindon Meta, Parth Thakkar Meta Platforms, Inc., Vijayaraghavan Murali Meta Platforms Inc., Rui Abreu Meta, Jingyue Shen Meta Platforms Inc., Brian Zhou Meta Platforms Inc., Nachiappan Nagappan Meta Platforms, Inc., Peter C Rigby Meta / Concordia University | ||
12:10 20mTalk | Code Reviewer Recommendation for High Risk Diffs at Scale: Workflow, Recommender, and Live Experiments Industry Papers Aishwarya Girish Paraspatki Meta Platforms, Inc., Brandon Reznicek Meta Platforms, Inc., Rui Abreu Meta, Ford Garberson Meta Platforms, Inc., Audris Mockus University of Tennessee, Nachiappan Nagappan Meta Platforms, Inc., Peter C Rigby Meta / Concordia University | ||
10:30 - 12:30 | |||
10:30 20mTalk | Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables Research Papers Aren Babikian University of Toronto, Alessio Di Sandro University of Toronto, Federico Formica McMaster University, Claudio Menghi University of Bergamo; McMaster University, Marsha Chechik University of Toronto | ||
10:50 20mTalk | An empirical study on LLM-based classification of requirements-related provisions in food-safety regulations Journal-First Paper Shabnam Hassani University of Ottawa, Mehrdad Sabetzadeh University of Ottawa, Daniel Amyot University of Ottawa | ||
11:10 20mTalk | Speculate: Generating REST API Specifications Using LLMs Research Papers Krishanu Singh IIT Delhi, Kushagra Karar IIT Delhi, Abhilash Jindal IIT Delhi, India, Guowei Yang University of Queensland | ||
11:30 20mTalk | Requirements Coverage-Guided Minimization for Natural Language Test Cases Journal-First Paper RONGQI PAN University of Ottawa, Feifei Niu Graz University of Technology, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Hanyang Hu Company A | ||
11:50 20mTalk | SpecWeaver: End-to-End HTTP API Specification Inference Across Multi-Layer Routing in Production Web Services Research Papers Wenbo Hu Institute of Information Engineering at Chinese Academy of Sciences, Jie Lu SKLP, Institute of Computing Technology, Chinese Academy of Sciences, Jingting Chen Institute of Information Engineering, Chinese Academy of Sciences, Feng Li Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China; School of CyberSpace Security at University of Chinese Academy of Sciences, China, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Xiaonan Shi Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences, Jinchen Wang Institute of Information Engineering, Chinese Academy of Sciences and School of Cyber Security, University of Chinese Academy of Sciences, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences | ||
12:10 20mTalk | CASCADE: Detecting Inconsistencies between Code and Documentation with Automatic Test Generation Research Papers Tobias Kiecker Humboldt-Universität zu Berlin, Jan Arne Sparka Humboldt-Universität zu Berlin, Martin Reuter Humboldt-Universität zu Berlin, Albert Ziegler XBow, Lars Grunske Humboldt-Universität zu Berlin | ||
10:30 - 12:30 | |||
10:30 20mTalk | Aloha: Localizing Batch Failures in Large-scale Cloud Systems via Contrast Analysis and Human-in-the-Loop Agent Industry Papers Shenglin Zhang Nankai University, Yujia Wu Nankai University, Jinghuan Ren Nankai University, College of Software, Yongqian Sun Nankai University, Wenwei Gu Nankai University, Chaoyun Zhang Microsoft, Liqun Li Microsoft Research, Qingwei Lin Microsoft, Dongmei Zhang Microsoft, Saravanakumar Rajmohan Microsoft 365, Chetan Bansal Microsoft Research, Minghua Ma Microsoft | ||
10:50 20mTalk | Attention Enhanced Entity Recommendation for Intelligent Monitoring in Cloud Systems Industry Papers Fiza Husain Independent, Anson Bastos Microsoft, Anjaly Parayil Microsoft, Ayush Choure Independent, Chetan Bansal Microsoft Research, Rujia Wang Microsoft, Saravanakumar Rajmohan Microsoft 365 | ||
11:10 20mTalk | An Agentic Framework for Triaging Incidents in Production Cloud Infrastructure Industry Papers Yuhan Yao Microsoft, Yuxuan Jiang University of Michigan Ann-Arbor, Minghua Ma Microsoft, Madhura Vaidya Microsoft, Jieren Deng Microsoft, Yigong Hu Boston University, Chetan Bansal Microsoft Research, Ze Li Microsoft Azure, Murali Chintalapati Microsoft Azure | ||
11:30 20mTalk | TSGuard: Automated User-Centric Incident Diagnosis for AI Workloads in the Cloud Research Papers Yitao Yang The Chinese University of Hong Kong, Yangtao Deng The Chinese University of Hong Kong, Yifan Xiong Microsoft Research, Baochun Li University of Toronto, Hong Xu The Chinese University of Hong Kong, Peng Cheng Microsoft Research Asia | ||
11:50 20mTalk | Exploring the impact of cloud computing on software architecture for sustainability: A practitioners' perspective Journal-First Paper | ||
12:10 20mTalk | AccessRefinery: Fast Mining Concise Access Control Intents on Public Cloud Research Papers Ning Kang Xi'an Jiaotong University, Peng Zhang Xi'an Jiaotong University, Jianyuan Zhang Xi'an Jiaotong University, Hao Li Xi'an Jiaotong University, Dan Wang Xi'an Jiaotong University, Zhenrong Gu Xi'an Jiaotong University, Weibo Lin Huawei Cloud, Shibiao Jiang Huawei Cloud, Zhu He Huawei Cloud, Xu Du Huawei Cloud, Longfei Chen Huawei Cloud, Jun Li Huawei, Xiaohong Guan Xi'an Jiaotong University | ||
10:30 - 12:30 | Repo-Level Code GenerationResearch Papers / Ideas, Visions and Reflections / Industry Papers at MB 3.210 | ||
10:30 20mTalk | RealBench: A Repo-Level Code Generation Benchmark Aligned with Real-World Software Development Practices Research Papers Jia Li Wuhan University, Hongyi Deng Peking University, Yiran Zhang Nanyang Technological University, Kechi Zhang Peking University, China, Tianqi Shao Peking University, Tiankuo Zhao Wuhan University, Weinan Wang Peking University, Zhi Jin Wuhan University, Ge Li Peking University, Yang Liu Nanyang Technological University, Yingtao Fang Wuhan University, Yihong Dong Peking University | ||
10:50 20mTalk | Do Not Treat Code as Natural Language: Implications for Repository-Level Code Generation and Beyond Research Papers Minh Le-Anh FPT Software AI Center, Huyen Nguyen Hanoi University of Science and Technology, Khanh An Tran Hanoi University of Science and Technology, Nam Le Hai Hanoi University of Science and Technology, Linh Ngo Van Hanoi University of Science and Technology, Nghi D. Q. Bui Google Research, Xuan-Bach D. Le University of Melbourne DOI Pre-print | ||
11:10 20mTalk | One Size Does Not Fit All: Revisiting Code Context Engineering for Repository-Level Code Generation Research Papers Yichen LI ByteDance, Qiye Lin Harbin Institute of Technology, Shenzhen, Yun Peng The Chinese University of Hong Kong, Zhihan Jiang The Chinese University of Hong Kong, Jinyang Liu Chinese University of Hong Kong, Chaozheng Wang The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Singapore, Cuiyun Gao Harbin Institute of Technology, Shenzhen | ||
11:30 10mTalk | LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering Ideas, Visions and Reflections Shuzhao Feng McGill University, Boqi Chen University of Ottawa, Brett Meyer McGill University, Gunter Mussbacher McGill University Pre-print | ||
11:40 20mTalk | In Line with Context: Repository-Level Code Generation via Context Inlining Research Papers Chao Hu Shanghai Jiao Tong University, Wenhao Zeng Shanghai Jiao Tong University, Yuling Shi Shanghai Jiao Tong University, Beijun Shen Shanghai Jiao Tong University, Xiaodong Gu Shanghai Jiao Tong University | ||
12:00 20mTalk | RepoFuse: A Dual-Context Approach to Repository-Level Code Completion at Industrial Scale Industry Papers Ming Liang Ant Group, Xiaoheng Xie Ant Group, Gehao Zhang Ant Group, Xunjin Zheng Ant Group, Wei Jiang Ant Group, Chengpeng Wang National University of Singapore, Gang Fan Huawei Hong Kong Research Centre, Peng Di Kunlunxin & UNSW Sydney | ||
10:30 - 12:30 | |||
10:30 20mTalk | AdaCoder: An Adaptive Planning and Multi-Agent Framework for Function-Level Code Generation Journal-First Paper Yueheng Zhu Chongqing University, Chao Liu Chongqing University, Xuan He Chongqing University, Xiaoxue Ren Zhejiang University, Zhongxin Liu Zhejiang University, Ruwei Pan , Hongyu Zhang Chongqing University | ||
10:50 20mTalk | AdaDec: A Uncertainty-Guided Lookahead Decoding Framework for LLM-based Code Generation Research Papers He Kaifeng SUN YAT-SEN UNIVERSITY, Mingwei Liu Sun Yat-Sen University, Chong Wang Nanyang Technological University, Zike Li Sun Yat-Sen University, Yanlin Wang Sun Yat-sen University, Xin Peng Fudan University, Zibin Zheng Sun Yat-sen University | ||
11:10 20mTalk | Aligning with Human Coding Preferences for Improving Code Generation Research Papers | ||
11:30 20mTalk | CertiCoder: Towards MISRA-Compliant C Code Generation with LLMs Research Papers Min Gou University of Electronic Science and Technology of China, Zhiyu Yao Tsinghua University, Hualong Ma Tsinghua University, Ende Zhang Tsinghua University, Jian Zhou Tsinghua University, Fei He School of Software, Tsinghua University | ||
11:50 20mTalk | An Exploratory Study on Fine-tuning Large Language Models for Secure Code Generation Journal-First Paper Junjie Li Concordia University, Fazle Rabbi Concordia University, Cheng Cheng Concordia University, Aseem Sangalay Delhi Technological University, Yuan Tian Queen's University, Kingston, Ontario, Jinqiu Yang Concordia University | ||
12:10 20mTalk | Reward-Free Code Alignment from Pretrained or Fine-Tuned LLM: Unpacking the Trade-offs for Code Generation Research Papers | ||
10:30 - 12:30 | |||
10:30 20mTalk | Fuzzing-based mutation testing of C/C++ software in cyber-physical systems Journal-First Paper Jaekwon Lee Kangwon National University, South Korea, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
10:50 20mTalk | It Takes Two: Option-Aware Directed Greybox Fuzzing for Vulnerability PoC Generation Research Papers Susheng Wu Fudan University, Xin Hu Fudan University, China, Yiheng Cao Fudan University, Zhuotong Zhou Fudan University, Yiheng Huang Fudan University, Yijian Wu Fudan University, Bihuan Chen Fudan University, Zhijia Zhao Fudan University, Xin Peng Fudan University | ||
11:10 20mTalk | ChainDelta: Automatic Patch-based Exploit Generation for Ethereum with Fuzzing Agents Research Papers Mingxi Ye Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Zhijie Zhong School of Software Engineering, Sun Yat-sen University, Jianzhong Su Sun Yat-sen University, Xingwei Lin Zhejiang University, Peilin Zheng Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
11:30 20mTalk | Adaptive Mutation Scheduling with Deep Reinforcement Learning for Smart Contract Fuzzing Research Papers Qianqian Pang zhejang university, Xin Yin Zhejiang University, Tingting Bi The University of Melbourne, Lingfeng Bao Zhejiang University, Chao Ni Zhejiang University, Xiaohu Yang Zhejiang University | ||
11:50 20mTalk | OCPPuzz: Specification-driven Fuzzing of Charging Station Management Systems with Large Language Model Research Papers Jongchan Hong Sungkyunkwan University, Jaewon Kim Sungkyunkwan University, Sungjae Hwang Sungkyunkwan University | ||
12:10 20mTalk | PROGnosticator: Testing Source-to-Source Code Translators via Construct-oriented Fuzzing Research Papers | ||
10:30 - 12:30 | |||
10:30 20mTalk | YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group Industry Papers Yayi Wang Ant Group, Shenao Wang Huazhong University of Science and Technology, Jian Zhao Huazhong University of Science and Technology, Shaosen Shi Ant Group, Ting Li Ant Group, Yan Cheng Ant Group, Lizhong Bian Ant Group, Kan Yu Ant Group, Yanjie Zhao Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
10:50 20mTalk | InDe-LLM: Defending Against Jailbreak Attacks in LLM-Powered Systems via Intention Disentangling Research Papers YujueWang Tsinghua University, Quan Zhang East China Normal University, Chijin Zhou East China Normal University, Gwihwan Go Tsinghua University, Dalong Shi AVIC International Digital Network Technology Co., Ltd., Yu Jiang Tsinghua University | ||
11:10 20mTalk | Characterizing Trust Boundary Vulnerabilities in TEE Container Systems: An Empirical Study Research Papers Weijie Liu Nankai University, Hongbo Chen Indiana University Bloomington, Shuo Huai Nankai University, Zhen Xu Nanyang Technological University, Wenhao Wang Institute of Information Engineering, CAS, XiaoFeng Wang Nanyang Technological University, Danfeng Zhang Duke University, Zhi Li Huazhong University of Science and Technology, Haixu Tang Indiana University Bloomington, Zheli Liu Nankai University | ||
11:30 20mTalk | GadgetHunter: Region-Based Neuro-Symbolic Detection of Java Deserialization Vulnerabilities Research Papers Kaixuan Li Nanyang Technological University, Jian Zhang Beihang University, Chong Wang Nanyang Technological University, Sen Chen Nankai University, Zong Cao Imperial Global Singapore, Min Zhang East China Normal University, Yang Liu Nanyang Technological University Pre-print | ||
11:50 20mTalk | ReGA: Model-based Safeguard for LLMs via Representation-Guided Abstraction Research Papers | ||
10:30 - 12:30 | Comprehension and MaintenanceIndustry Papers / Research Papers / Tool Demonstrations / Journal-First Paper at MB 5.215 | ||
10:30 20mTalk | GAER: Graph Auto-Encoders for Unsupervised Software Architecture Recovery Research Papers Rakhshanda Jabeen Electrolux Professional, Morgan Ericsson Linnaeus University, Jonas Nordqvist Linnaeus University, Anna Wingkvist Linnaeus University | ||
10:50 20mTalk | Developer Perspectives on REST API Usability: A Study of REST API Guidelines Industry Papers Sven Peldszus Chalmers | University of Gothenburg, Jan Rutenkolk Ruhr University Bochum, Marcel Heide Ruhr University Bochum, Jan Sollmann Ruhr University Bochum, Benjamin Klatt viadee AG, Frank Köhne viadee AG, Thorsten Berger Ruhr University Bochum DOI Pre-print | ||
11:10 20mTalk | An Exploratory Eye Tracking Study on How Developers Classify and Debug Python Code in Different Paradigms Journal-First Paper Samuel W. Flint Dakota State University, Jigyasa Chauhan University of Nebraska-Lincoln, Niloofar Mansoor University of Nebraska-Lincoln, Bonita Sharif University of Nebraska-Lincoln, USA, Robert Dyer University of Nebraska-Lincoln DOI | ||
11:30 20mTalk | On the Structure and Semantics of Identifier Names Containing Closed Syntactic Category Words Journal-First Paper Christian D. Newman Rochester Institute of Technology, Anthony Peruma University of Hawai‘i at Mānoa, Eman Abdullah AlOmar Stevens Institute of Technology, USA, Mahie Crabbe University of Hawai‘i at Mānoa, Syreen Banabilah Kent State University, Reem Alsuhaibani Prince Sultan University, Michael J. Decker Bowling Green State University, Farhad Akhbardeh Briar Cliff University, Marcos Zampieri George mason University, Mohamed Wiem Mkaouer University of Michigan-Flint, Jonathan I. Maletic Kent State University | ||
11:50 10mTalk | Supporting the Comprehension of Data Analysis Scripts Tool Demonstrations Florian Sihler Ulm University, Oliver Gerstl Ulm University, Lars Pfrenger Ulm University, Julian Schubert Ulm University, Matthias Tichy Ulm University | ||
12:00 10mTalk | ZION: System Exploration With Class Contours Tool Demonstrations Mattia Giannaccari REVEAL @ Software Institute – USI, Lugano, Switzerland, Marco Raglianti REVEAL @ Software Institute – USI, Lugano, Switzerland, Michele Lanza Software Institute - USI, Lugano | ||
12:10 20mTalk | Evaluating Explanatory Artefacts of DSAR-Recovered Software Architectures from Industrial Codebases Industry Papers Satrio Adi Rukmono Institut Teknologi Bandung, Lina Ochoa Eindhoven University of Technology, Thijs Bressers ASML, Jacob Krüger Eindhoven University of Technology, Michel Chaudron Eindhoven University of Technology, The Netherlands | ||
14:00 - 15:30 | |||
14:00 20mTalk | Detecting Code-Comment Inconsistencies in Smart Contracts by Combining LLM and Program Analysis Research Papers Jiashuo Zhang Peking University, China, Jiachi Chen Sun Yat-sen University, Ting Zhang Peking University, Yue Li Peking University, Daoyuan Wu Lingnan University, Yanlin Wang Sun Yat-sen University, Jianbo Gao Peking University, Ting Chen University of Electronic Science and Technology of China, Zhong Chen | ||
14:20 20mTalk | Unfulfilled Promises: LLM-Based Detection of OS Compatibility Issues in Infrastructure as Code Research Papers Georgios-Petros Drosos ETH Zurich, Georgios Alexopoulos University of Athens, Thodoris Sotiropoulos ETH Zurich, Dimitris Mitropoulos University of Athens, Zhendong Su ETH Zurich | ||
14:40 10mTalk | DePro: Understanding the Role of LLMs in Debugging Competitive Programming Code Ideas, Visions and Reflections Nabiha Parvez Military Institute of Science And Technology, Tanvin Pallab Military Institute of Science And Technology, Mia Mohammad Imran Missouri University of Science and Technology, Tarannum Shaila Zaman University of Maryland Baltimore County | ||
14:50 20mTalk | A Large-Scale Empirical Evaluation of LLMs for Automated Self-Admitted Technical Debt Repayment Journal-First Paper Mohammad Sadegh Sheikhaei Queen's University, Yuan Tian Queen's University, Kingston, Ontario, Shaowei Wang University of Manitoba, Bowen Xu North Carolina State University | ||
15:10 20mTalk | On the synchronization between Hugging Face pre-trained language models and their upstream GitHub repository Journal-First Paper Adekunle Ajibode Queen's University, Abdul Ali Bangash Lahore University of Management Sciences, Oussama Ben Sghaier Queen's University, Bram Adams Queen's University, Ahmed E. Hassan Queen’s University | ||
14:00 - 15:30 | |||
14:00 20mTalk | Red Teaming LLMs via Linguistic-Aware Fuzzing Research Papers Shuai Yuan University of Electronic Science and Technology of China, Nian Luo University Of Electronic Science And Technology Of China, Jingling Sun University of Electronic Science and Technology of China, Yihao Huang National University of Singapore, Singapore, Chengyu Zhang Loughborough University | ||
14:20 10mTalk | MIMIC-Py: An Extensible Tool for Personality-Driven Automated Game Testing with Large Language Models Tool Demonstrations | ||
14:30 10mTalk | Towards Automated Test Adaptation in Fork Ecosystems via Large Language Models Ideas, Visions and Reflections Mukelabai Mukelabai Ruhr University Bochum, Keanu-Wesley Schurkus Ruhr University Bochum, Yannic Noller Ruhr University Bochum, Thorsten Berger Ruhr University Bochum | ||
14:40 20mTalk | Boosting LLMs for Mutation Generation Research Papers Bo Wang Beijing Jiaotong University, Ming Deng Beijing Jiaotong University, Mingda Chen Beijing Jiaotong University, Chengran Yang Singapore Management University, Singapore, Youfang Lin Beijing Jiaotong University, Mark Harman Meta Platforms, Inc. and UCL, Mike Papadakis University of Luxembourg, Jie M. Zhang Mistral AI and King's College London | ||
15:00 20mTalk | LLM-Assisted Input-Requirement-Aware Differential Testing of Array Programming Frameworks Research Papers Zhichao Zhou School of Information Science and Technology, ShanghaiTech University, Jingzhu He ShanghaiTech University | ||
15:20 10mTalk | AISysRev - LLM-based Tool for Title-abstract Screening Tool Demonstrations Aleksi Huotala University of Helsinki, Miikka Kuutila LUT University, Olli-Pekka Turtio University of Helsinki, Simo Sipilä University of Helsinki, Mika Mäntylä University of Helsinki | ||
14:00 - 15:30 | |||
14:00 10mTalk | IssueGuard: Real-Time Secret Leak Prevention Tool for GitHub Issue Reports Tool Demonstrations Md Nafiu Rahman Brac University , Sadif Ahmed Bangladesh University of Engineering and Techonology, Zahin Wahab The University of British Columbia, Gias Uddin York University, Canada, Rifat Shahriyar Bangladesh University of Engineering and Technology Dhaka, Bangladesh Pre-print | ||
14:10 20mTalk | ProofFusion: Improving Neural Theorem Proving via Adaptive Retrieval-Augmented Reasoning Research Papers Manqing Zhang Northwestern Polytechnical University, Yunwei Dong Northwestern Polytechnical University, School of Computer Science and Engineering, Lingru Zhou Northwestern Polytechnical University, Bingxu Xiao Northwestern Polytechnical University, Yepang Liu Southern University of Science and Technology | ||
14:30 20mTalk | Eagle: Leveraging Operations Documents for Comprehensive Benchmark Question Generation Industry Papers Yuhe Liu Tsinghua University, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Hang Wang Computer Network Information Center, Chinese Academy of Sciences, Longlong Xu Tsinghua University, Xiaogang Dong Huawei, Zhen Feng Huawei, Li Zheng China Academy of Information and Communications Technology, Kehang Ji China Academy of Information and Communications Technology, Dan Pei Tsinghua University | ||
14:50 20mTalk | Unveiling AI-Driven Web Applications: Insights into Characteristics, Functionality, and Compliance Research Papers Liuhuo Wan , Zicong Liu University of Queensland, Chuan Yan University of Queensland, Liujia Wan Northeastern University, Naipeng Dong The University of Queensland, Australia, Zi Huang University of Queensland, Guangdong Bai City University of Hong Kong | ||
15:10 20mTalk | One Size Does Fit All: Exploring Model Fusion for Software Engineering Tasks Research Papers Yinggang Qiu National University of Defense Technology, Yihao Qin , Mingyang Geng National University of Defense Technology, Shangwen Wang National University of Defense Technology, Dezun Dong NUDT | ||
14:00 - 15:30 | Code and LLM 1Research Papers / Ideas, Visions and Reflections / Tool Demonstrations / Industry Papers at MB 3.270 | ||
14:00 20mTalk | Mitigating Prompt-Induced Cognitive Biases in General-Purpose AI for Software Engineering Research Papers Francesco Sovrano USI Lugano, Switzerland, Gabriele Dominici Università della Svizzera italiana (USI), Alberto Bacchelli IfI, University of Zurich | ||
14:20 20mTalk | Does In-IDE Calibration of Large Language Models work at Scale? Industry Papers Roham Koohestani Delft University of Technology, Agnia Sergeyuk JetBrains Research, David Gros University of California, Davis, Claudio Spiess University of California, Davis, Sergey Titov JetBrains Research, Prem Devanbu University of California at Davis, Mali Izadi Google & TU Delft | ||
14:40 10mTalk | Projectional Decoding: Towards Semantic-Aware LLM Generation Ideas, Visions and Reflections Boqi Chen University of Ottawa, José Antonio Hernández López Department of Computer Science and Systems, University of Murcia, Aren Babikian University of Toronto | ||
14:50 10mTalk | The Stylistic Blind Spot: Uncovering the Hidden Implicit Bias of Coding Style on LLM Code Evaluation Ideas, Visions and Reflections | ||
15:00 10mTalk | TokenScope: Token-Level Explainability and Interpretability for Code-Oriented Tasks in Large Language Models Tool Demonstrations Amirreza Esmaeili University of British Columbia, Fatemeh Hendijani Fard University of British Columbia, Okanagan | ||
15:10 20mTalk | Bash-Commenter: Leveraging Syntax-Aware Preference Optimization to Reinforce Large Language Model for Bash Code Comment Generation Research Papers Lei Yu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Jingyuan Zhang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, China, Xin Wang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, Li Yang Institute of Software, Chinese Academy of Sciences, Fengjun Zhang Institute of Software, Chinese Academy of Sciences, China, Peng Wang Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, Jia Xu Institute of Software, Chinese Academy of Sciences, University of Chinese Academy of Sciences, Jiajia Ma Institute of Software, Chinese Academy of Sciences, China | ||
14:00 - 15:30 | |||
14:00 10mTalk | Class Archetypes: Principles, Detection, Evolution Ideas, Visions and Reflections Mattia Giannaccari REVEAL @ Software Institute – USI, Lugano, Switzerland, Marco Raglianti REVEAL @ Software Institute – USI, Lugano, Switzerland, Michele Lanza Software Institute - USI, Lugano | ||
14:10 20mTalk | Improving Data Leakage Detection in Machine Learning Notebooks through Static Slicing and Structured LLM Prompts Research Papers Taha Draoui University of Michigan-Flint, Mohamed Wiem Mkaouer University of Michigan-Flint, Christian D. Newman Rochester Institute of Technology | ||
14:30 20mTalk | TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing Research Papers linTeyu Xiamen University, Minghao Fan Xiamen University, Huaxun Huang , Zhirong Shen Xiamen University, Rongxin Wu Xiamen University | ||
14:50 20mTalk | Sound Termination and Non-Termination Analysis of C Programs with Bit-Precise Bounded Semantics and Advanced Constructs Research Papers Negar Fathi University of Nebraska–Lincoln, Hiroshi Unno Tohoku University, Tachio Terauchi Waseda University, Rahul Purandare University of Nebraska-Lincoln | ||
15:10 20mTalk | Semantics-Guided Control-Flow Reconstruction for Firmware Binaries via Static Analysis Research Papers Fengjuan Gao Nanjing University of Science and Technology, Qingjie Zhu Nanjing University, Yi Zhang Nanjing University, Yu Wang Nanjing University, Xuandong Li Nanjing University, Ke Wang Nanjing University | ||
14:00 - 15:30 | |||
14:00 20mTalk | EventADL: Open-Box Anomaly Detection and Localization Framework for Events in Cloud-Based Service Systems Research Papers Luan Pham University of New South Wales, Australia, Victor Nicolet Amazon, Joey Dodds Amazon, Inc., Hui Guan Amazon Web Services, USA, Daniel Kroening Amazon | ||
14:20 20mTalk | A Comprehensive Study of Machine Learning Techniques for Log-Based Anomaly Detection Journal-First Paper Shan Ali University of Ottawa, Chaima Boufaied University of Calgary, Domenico Bianculli University of Luxembourg, Paula Branco University of Ottawa, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland | ||
14:40 10mTalk | From Load Tests to Live Streams: Graph Embedding-Based Anomaly Detection in Microservice Architectures Industry Papers Srinidhi Madabhushi Amazon Prime Video, Pranesh Vyas Amazon Prime Video, Swathi Vaidyanathan Amazon Prime Video, Mayur Kurup Amazon Prime Video, Elliott Nash Amazon Prime Video, Yegor Silyutin Amazon Prime Video | ||
14:50 20mTalk | Holmes: Multimodal Agentic Diagnosis for Mixed-Language Mobile Crashes at Industrial Scale Industry Papers Jia Li The Chinese University of Hong Kong, Wenyuan Ma Tencent Inc., Ting Peng Tencent Inc., Haibing Zheng Tencent, Yuetang Deng Tencent | ||
15:10 20mTalk | E2E-REME: Towards End-to-End Microservices Auto-Remediation via Experience-Simulation Reinforcement Fine-Tuning Industry Papers Lingzhe Zhang Peking University, China, Yunpeng Zhai Alibaba Group, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Minghua He Peking University, Chiming Duan Peking University, Zhaoyang Liu Alibaba Group, Bolin Ding Alibaba Group, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
14:00 - 15:30 | |||
14:00 20mTalk | Large Language Models for Software Testing Education: an Experience Report Software Engineering Education Peng Yang South China Normal University, Yunfeng Zhu Nanjing University, Chao Chang Guangzhou Polytechnic University, Shengcheng Yu Technical University of Munich, Zhenyu Chen Nanjing University, Yong Tang South China Normal University | ||
14:20 20mTalk | An Analysis of Student Perceptions and Learning Impact of Large Language Models in Requirements Engineering Education Software Engineering Education Mohammed Ammar Karimi Dhirubhai Ambani University, formerly DA-IICT Gandhinagar, India, Saurabh Tiwari Dhirubhai Ambani University, formerly DA-IICT Gandhinagar, India, Santosh Singh Rathore ABV-Indian Institute of Information Technology and Management Gwalior | ||
14:40 20mTalk | LLM Use, Cheating, and Academic Integrity in Software Engineering Education Software Engineering Education Ronnie de Souza Santos University of Calgary, Italo Santos University of Hawai‘i at Mānoa, Mariana Pinheiro Bento University of Calgary, Giuseppe Destefanis University College London (UCL), Cleyton Magalhaes Universidade Federal Rural de Pernambuco, Mairieli Wessel Radboud University | ||
15:00 20mTalk | Deliverables Are Not Understanding in the AI Era: Reforming Full-Stack Development Education with Continuous Interactive Learning Software Engineering Education Haolin Jin The University of Sydney, Jiawen Wen The University of Sydney, Zhaoge Bi The University of Sydney, Linghan Hua The University of Sydney, Huaming Chen The University of Sydney | ||
15:30 - 16:00 | Coffee BreakCatering The poster presentations will be held in this coffee break area near the MB Atrium on the first floor. Authors are expected to stand near their posters during the scheduled coffee breaks to present their work and answer questions. Authors should print their own posters and bring them to the conference venue. Posters should be mounted on the designated poster boards before 8 July. Each poster board is double-sided and measures 4 × 6 ft. Each side can hold two portrait-oriented posters, with a recommended poster size of 24 × 36 inches. Each board can therefore accommodate four posters in total. Authors who need local printing may use the Concordia Print Store: https://www.concordia.ca/print/store.html. Other printing shops are also available near the venue. | ||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:00 | |||
16:00 20mTalk | Look Before You Leap: Context-Sensitive GUI Grounding for Boosting Automated Extended Reality (XR) Testing Research Papers Shuqing Li The Chinese University of Hong Kong, Binchang Li Harbin Institute of Technology, Yepang Liu Southern University of Science and Technology, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Jianping Zhang The Chinese University of Hong Kong, Shing-Chi Cheung Hong Kong University of Science and Technology, Michael Lyu The Chinese University of Hong Kong | ||
16:20 20mTalk | EfficientUICoder: A Bidirectional Token Compression Framework for Efficient MLLM-based UI Code Generation Research Papers Jingyu Xiao The Chinese University of Hong Kong, Zhongyi Zhang Huazhong University of Science and Technology, China, Yuxuan Wan The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Singapore, Yang Liu Nanyang Technological University, Michael Lyu The Chinese University of Hong Kong | ||
16:40 20mTalk | From Task to Tutorial: An Automated GUI Framework for Excel Tutorial Document and Video Creation Industry Papers Yuhang Xie Peking University, Jian Mu Nanjing University, Ma Xiaojun Microsoft, Chaoyun Zhang Microsoft, Lu Wang Microsoft Research, Mengyu Zhou Microsoft, Mugeng Liu Peking University, Si Qin Microsoft Research, Qingwei Lin Microsoft, Saravan Rajmohan Microsoft, Shi Han Microsoft Research, Dongmei Zhang Microsoft | ||
16:00 - 17:00 | |||
16:00 10mTalk | ProfOlaf: Semi-Automated Tool for Systematic Literature Reviews Tool Demonstrations Martim Afonso INESC-ID, IST, University of Lisbon and Politecnico di Torino, Nuno Saavedra INESC-ID and IST, University of Lisbon, Bruno Lourenço INESC-ID, IST and CINAV, University of Lisbon and Portuguese Naval Academy, Alexandra Mendes Faculty of Engineering, University of Porto, Portugal, João F. Ferreira Faculty of Engineering, University of Porto & INESC-ID | ||
16:10 20mTalk | LLM-Powered Workflow Optimization for Multidisciplinary Software Development: An Automotive Industry Case Study Industry Papers A: Shuai Wang Chalmers University of Technology, Yinan Yu Chalmers University of Technology, Earl T. Barr University College London, Dhasarathy Parthasarathy Volvo Group | ||
16:30 20mTalk | TaskSnap: One Task at a Time With Snapshots Journal-First Paper Juliana G. de Souza University of Zurich, https://hasel.dev/team/juliana-souza/, Remy Egloff University of Zurich, Thomas Fritz University of Zurich, André N. Meyer University of Zurich | ||
16:50 10mTalk | BayesInsights: Modelling Software Delivery and Developer Experience with Bayesian Networks at Bloomberg Industry Papers Serkan Kirbas Bloomberg LP, Federica Sarro University College London, David Williams University College London | ||
16:00 - 16:50 | |||
16:00 20mTalk | Cost-Effective Testing of MPC Compilers Research Papers Sebastian Watzinger TU Wien, Valentin Wüstholz ConsenSys, Deepak Garg MPI-SWS, Maria Christakis TU Wien Pre-print | ||
16:20 10mTalk | Compilomorphic Fuzzing: Turning a Compiler Against Itself Ideas, Visions and Reflections Vasileios Klimis Queen Mary University of London | ||
16:30 10mTalk | PYURIFY: Purifying Python Tests for Precise Fault Localization Tool Demonstrations Marius Smytzek CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security | ||
16:40 20mTalk | Detecting Bugs in Rust Compiler Fix Suggestions via Constraint-Violation-Guided Mutation Research Papers Zixi Liu Nanjing University, Yang Feng Nanjing University, Jialiang Jiang Nanjing University, Baowen Xu Nanjing University | ||
16:00 - 16:50 | |||
16:00 20mTalk | A Taxonomy of Real Faults in Hybrid Quantum-Classical Architectures Journal-First Paper Avner Bensoussan King's College London, Gunel Jahangirova King's College London, Mohammad Reza Mousavi King's College London | ||
16:20 20mTalk | QuanForge: A Mutation Testing Framework for Quantum Neural Networks Research Papers | ||
16:40 10mTalk | QuantumCode2Vec: Towards Learned Representations for Quantum Software Engineering Tasks Ideas, Visions and Reflections Venkat Kaushal Thippisetty Indian Institute of Technology Tirupati, Sridhar Chimalakonda Indian Institute of Technology Tirupati | ||
16:00 - 17:00 | SEET: Assessment, Feedback, and Academic IntegritySoftware Engineering Education / Research Papers at MB 9C | ||
16:00 20mTalk | Experience Report: Insights from Deploying Educational Static Analysis in Introductory Programming Courses Software Engineering Education Ke Gong Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
16:20 20mTalk | Harnessing Hype to Teach Empirical Thinking: An Experience With AI Coding Assistants Software Engineering Education Marvin Wyrich Saarland University, Norman Peitek Saarland University, Kallistos Weis Saarland University, Sven Apel Saarland University Pre-print | ||
16:40 20mTalk | Criminal Minds: How First-Year CS Students Plagiarize Code Software Engineering Education Robin Maisch Karlsruhe Institute of Technology (KIT), Larissa Schmid KTH Royal Institute of Technology, Richard Glassey KTH Royal Institute of Technology, Dominik Fuchß Karlsruhe Institute of Technology (KIT), Nils Niehues Karlsruhe Institute of Technology (KIT), Haoyu Liu Karlsruhe Institute of Technology (KIT), Anne Koziolek Karlsruhe Institute of Technology DOI Pre-print | ||
Thu 9 JulDisplayed time zone: Eastern Time (US & Canada) change
Thu 9 Jul
Displayed time zone: Eastern Time (US & Canada) change
10:00 - 10:30 | Coffee BreakCatering The poster presentations will be held in this coffee break area near the MB Atrium on the first floor. Authors are expected to stand near their posters during the scheduled coffee breaks to present their work and answer questions. Authors should print their own posters and bring them to the conference venue. Posters should be mounted on the designated poster boards before 8 July. Each poster board is double-sided and measures 4 × 6 ft. Each side can hold two portrait-oriented posters, with a recommended poster size of 24 × 36 inches. Each board can therefore accommodate four posters in total. Authors who need local printing may use the Concordia Print Store: https://www.concordia.ca/print/store.html. Other printing shops are also available near the venue. | ||
10:00 30mCoffee break | Break Catering | ||
10:30 - 12:30 | Testing 3Research Papers / Industry Papers / Tool Demonstrations / Ideas, Visions and Reflections at MB 1.210 | ||
10:30 20mTalk | ACME: Automated Clause Mapping Engine for Testing Emerging Database Systems Research Papers Yuancheng Jiang National University of Singapore, Jianing Wang Shandong University, Chuqi Zhang National University of Singapore, Roland H. C. Yap National University of Singapore, Zhenkai Liang National University of Singapore, Manuel Rigger National University of Singapore | ||
10:50 20mTalk | Interrogation Testing of CHC Solvers Research Papers David Kaindlstorfer TU Wien, Austria, Anastasia Isychev TU Wien, Valentin Wüstholz ConsenSys, Maria Christakis TU Wien Pre-print | ||
11:10 20mTalk | RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations Research Papers Chu Chen Qufu Normal University, Qianxin Cheng Qufu Normal University, Pinghong Ren Qufu Normal University, Hairong Yu Qufu Normal University, Cong Tian Xidian University, Zhenhua Duan Xidian University, Xu Lu Xidian University, Bin Yu Xidian University, WenSheng Wang Xidian University, Jin Liu Xi'an University of Technology | ||
11:30 10mTalk | Software Testing Beyond Closed Worlds: Open-World Games as an Extreme Case Ideas, Visions and Reflections Yusaku Kato Ritsumeikan University, Norihiro Yoshida Ritsumeikan University, Erina Makihara Ritsumeikan University, Katsuro Inoue Ritsumeikan University Pre-print | ||
11:40 20mTalk | OdoTest: An Automated Testing Approach for Odometry Systems Research Papers Jixiang Zhou University of Science and Technology of China, Mingfei Cheng Singapore Management University, Shuncheng Tang Wuhan University of Technology, An Guo The Hong Kong Polytechnic Universituy, Xiaofei Xie Singapore Management University, Yinxing Xue Institute of AI for Industries, Chinese Academy of Sciences , Lijun Zhang Institute of Software, Chinese Academy of Sciences | ||
12:00 20mTalk | AstraGame: Effective and Efficient VLM Agent Serving for Large-Scale Game Testing in an Industry Setting Industry Papers Yuzhe Guo Peking University, Haochuan Lu Tencent, Mengzhou Wu Peking University, Ting Xiong Tencent Inc., Yuetang Deng Tencent, Dezhi Ran Peking University, Wei Yang UT Dallas, Tao Xie Peking University | ||
12:20 10mTalk | ScalerEval: Automated and Consistent Evaluation Testbed for Auto-scalers in Microservices Tool Demonstrations Shuaiyu Xie School of Computer Science, Wuhan University, China, Yang Luo Wuhan University, Yuzhen Tan Wuhan University, Yunqing Yong Wuhan University, Xiaosong Huang Peking University, Jian Wang Wuhan University, Bing Li Wuhan University | ||
12:30 20mTalk | WalleTruth: Visual-oriented Software Testing for Web3 Wallet Browser Extensions Research Papers Xiaohui Hu Huazhong University of Science and Technology, Ningyu He Hong Kong Polytechnic University, Haoyu Wang Huazhong University of Science and Technology | ||
10:30 - 12:30 | |||
10:30 20mTalk | On the Road to Personalized Code Intelligence: Portraiting and Assisting Developers Based on Their In-IDE Behaviors Research Papers Yuhong Liu Beihang University, YUNHE SU , Zhipeng Peng Beihang University, Zhiwen Luo Beihang University, Lin Shi Beihang University, Zhi Jin Wuhan University, Li Zhang Beihang University Pre-print | ||
10:50 20mTalk | At What Cost? Software Developers’ Well-Being in the Age of GenAI Ideas, Visions and Reflections Mariam Guizani Queen's University, Canada, Maduka Subasinghage The University of Western Australia, Sherlock A. Licorish University of Otago, Sofia Ouhbi Uppsala University Pre-print | ||
11:10 10mTalk | How Do Developers Interact with AI? An Exploratory Study on Modeling Developer Programming Behavior Research Papers Yinan Wu North Carolina State University, Ze Shi (Zane) Li University of Oklahoma, Kathryn Stolee North Carolina State University, Bowen Xu North Carolina State University Pre-print | ||
11:30 20mResearch paper | ToxiShield: Promoting Inclusive Developer Communication through Real-Time Toxicity Filtering Research Papers Md Awsaf Alam Anindya Bangladesh University of Engineering and Technology, Showvik Biswas Bangladesh University of Engineering and Technology, Anindya Iqbal Bangladesh University of Engineering and Technology Dhaka, Bangladesh, Jaydeb Sarker University of Nebraska at Omaha, Amiangshu Bosu Wayne State University Pre-print Media Attached | ||
11:50 20mTalk | Automated Extraction and Analysis of Developer's Rationale in Open Source Software Re-routed Presentations from Past Years Mouna Dhaouadi University of Montreal, Bentley Oakes Polytechnique Montréal, Michalis Famelis Université de Montréal | ||
12:10 20mTalk | Leveraging Risk Models to Improve Productivity for Effective Code Un-Freeze at Scale Journal-First Paper Audris Mockus University of Tennessee, Rui Abreu Faculty of Engineering of the University of Porto, Portugal, Peter C Rigby Meta / Concordia University, David Amsallem Meta Platforms, Inc., Parveen Bansal Meta Platforms, Inc., Kaavya Chinniah Meta Platforms, Inc., Brian Ellis Meta Platforms, Inc., Peng Fan Meta Platforms, Inc., Jun Ge Meta Platforms, Inc., Wenlei He Meta, Kelly Hirano Meta Platforms, Inc., Sahil Kumar Meta Platforms, Inc., Ajay Lingapuram Meta Platforms, Inc., W. Andrew Loe III Meta Platforms, Inc., Megh Mehta Meta Platforms, Inc., Venus Montes Meta Platforms, Inc., Maher Saba Meta Platforms, Inc., Gursharan Singh Meta Platforms, Inc., Matt Steiner Meta Platforms, Inc., Weiyan Sun Meta Platforms, Inc., Siri Uppalapati Meta Platforms, Inc., Nachiappan Nagappan Meta Platforms, Inc. | ||
10:30 - 12:30 | |||
10:30 20mTalk | Rethinking the Evaluation of Microservice RCA with a Fault Propagation-Aware Benchmark Research Papers Aoyang Fang Chinese University of Hong Kong, Shenzhen, Songhan Zhang The Chinese University of Hong Kong, Shenzhen, Yifan Yang , Haotong Wu The Chinese University of Hong Kong, Shenzhen, Junjielong Xu The Chinese University of Hong Kong, Shenzhen, Xuyang Wang The Chinese University of Hong Kong, Shenzhen, Rui Wang The Chinese University of Hong Kong, Shenzhen, Manyi Wang The Chinese University of Hong Kong, Shenzhen, Qisheng Lu The Chinese University of Hong Kong, Shenzhen, Pinjia He Chinese University of Hong Kong, Shenzhen | ||
10:50 20mTalk | Bridging the Delay: Lag-Aware Spatio-Temporal Causal Inference for Microservice Root Cause Analysis Industry Papers Shenglin Zhang Nankai University, Junhua Kuang Nankai University, Yimeng Zhang Nankai University, Sibo Xia Nankai University, Jintao Feng Nankai University, Jingyu Wang Nanjing University, Wenwei Gu Nankai University, Yongqian Sun Nankai University, Wei Li Alibaba Group, Liping Zhang Alibaba Group, Dan Pei Tsinghua University | ||
11:10 20mTalk | TORAI: Multi-Source Root Cause Analysis for \textit{Blind Spots} in Microservice Service Call Graph Research Papers Luan Pham University of New South Wales, Australia, Huong Ha RMIT University, Xiuzhen Zhang RMIT University, Hongyu Zhang Chongqing University | ||
11:30 20mTalk | CARE: Context Aware Root Cause Identification Using Distributed Traces and Profiling Metrics Journal-First Paper Mahsa Panahandeh Postdoctoral Fellow, School of Electrical Engineering and Computer Science, University of Ottawa, Naser Ezzati Jivan , Abdelwahab Hamou-Lhadj Concordia University, Montreal, Canada, James Miller Department of Electrical and Computer Engineering, University of Alberta, Edmonton, AB, Canada | ||
11:50 20mTalk | MetaRCA: A Generalizable Root Cause Analysis Framework for Cloud-Native Systems Powered by Meta Causal Knowledge Research Papers Shuai Liang Sun Yat-sen University; China Unicom Software Research Institute: Beijing, CN, Pengfei Chen Sun Yat-sen University, Bozhe Tian China Unicom Software Research Institute: Beijing, CN, Gou Tan School of Systems Science and Engineering, Sun Yat-sen University, Guangzhou, China, Maohong Xu China Unicom Software Research Institute: Beijing, CN, Youjun Qu China Unicom Software Research Institute: Beijing, CN, Yahui Zhao China Unicom Software Research Institute: Beijing, CN, Yiduo Shang China Unicom Software Research Institute: Beijing, CN, Chongkang Tan Individual Researcher | ||
10:30 - 12:30 | |||
10:30 17mTalk | LLM Agents for AIOps in Kubernetes: An Industrial Experience Report with Red Hat OpenShift Industry Papers | ||
10:47 17mTalk | Replication-Free Failover: Protocol-Fenced Takeover for Stateful Services Industry Papers Rongtong Jin Alibaba Cloud Computing Co. Ltd., Yinyou Gu Alibaba Cloud Computing Co. Ltd., Juntao Ji Alibaba Cloud Computing Co. Ltd., Yubao Fu Alibaba Cloud Computing Co. Ltd., Tao Liu Alibaba Cloud Computing, Fuzhi Lai Alibaba Cloud Computing, Gaoyang Cai Alibaba Cloud Computing, Qingshan Lin Alibaba Cloud Computing Co. Ltd. | ||
11:04 17mTalk | Programming of Automation Configuration in Smart Home Systems: Challenges and Opportunities Journal-First Paper Sheik Murad Hassan Anik Virginia Tech, Xinghua Gao Virginia Tech, Hao Zhong Shanghai Jiao Tong University, Xiaoyin Wang University of Texas at San Antonio, Na Meng Virginia Tech | ||
11:21 17mTalk | SmartDispatch: Dynamic Substitution of NumPy-style APIs on Heterogenous CPU-GPU Systems Research Papers Jinku Cui North Carolina State University, Yueming Hao Meta, Shuyin Jiao North Carolina State University, Jiajia Li North Carolina State University, Xu Liu North Carolina State University | ||
11:38 17mTalk | From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing Research Papers Linfeng Liang Macquarie University, Xiao Cheng Macquarie University, Tsong Yueh Chen Swinburne University of Technology, Xi Zheng Macquarie University | ||
11:55 17mTalk | CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings Research Papers Pascal Joos CISPA Helmholtz Center for Information Security, Islem BOUZENIA CISPA Helmholtz Center for Information Security, Michael Pradel CISPA Helmholtz Center for Information Security Pre-print | ||
12:12 17mTalk | SwarmBox: A Plug-and-Play Drone Swarm Framework for Streamlined Development and Comprehensive Analysis Research Papers Minki Lee Pohang University of Science and Technology, Seojin Lee Daegu Gyeongbuk Institute of Science and Technology, Seulbae Kim Pohang University of Science and Technology DOI Pre-print Media Attached | ||
10:30 - 12:30 | |||
10:30 20mTalk | Chiseling Out Efficiency: Structured Skeleton Supervision for Efficient Code Generation Research Papers Yu Yu Shandong Normal University, Zhihong Sun Nanjing University, Jia Li Tsinghua University, Yao Wan Huazhong University of Science and Technology, Chuanyi Li Nanjing University, Hongyu Zhang Chongqing University, Ruyun Wang Institute of Information Engineering, Chinese Academy of Sciences, Tao Huang Shandong Normal University, Zhi Jin Peking University, Wuhan University, Ge Li Peking University, Chen Lyu Shandong Normal University | ||
10:50 20mTalk | The Impact of Prompt Programming on Function-Level Code Generation Journal-First Paper Ranim Khojah Chalmers University of Technology and University of Gothenburg, Francisco Gomes de Oliveira Neto Chalmers | University of Gothenburg, Mazen Mohamad Chalmers | RISE - Research Institutes of Sweden, Philipp Leitner Chalmers | University of Gothenburg Link to publication DOI | ||
11:10 20mTalk | Comment Traps: How Defective Commented-out Code Augment Defects in AI-Assisted Code Generation Research Papers Yuan Huang Sun Yat-sen University, Yukang Zhou Sun Yat-sen University, Xiangping Chen Sun Yat-sen University, Zibin Zheng Sun Yat-sen University | ||
11:30 20mTalk | Influence-Aware Bayesian-Inspired Token Reweighting for Improved Code Generation Research Papers YUQI ZHU Academy of Military Sciences, Ge Li Peking University, Hong Mei Peking University, Zhi Jin Peking University, Wuhan University, Jia Li Wuhan University, Qibin Zheng Advanced Institute of Big Data, Beijing, Jieyuan Zhang Academy of Military Sciences | ||
11:50 20mTalk | HumanEvalComm: Benchmarking the Communication Competence of Code Generation for LLMs and LLM Agent Journal-First Paper Jie JW Wu Michigan Technological University, USA, Fatemeh Hendijani Fard University of British Columbia, Okanagan | ||
12:10 20mTalk | PlayCoder: Making LLM-Generated GUI Code Playable Research Papers Zhiyuan Peng Shanghai Jiao Tong University, Wei Tao LightSpeed, Xin Yin Zhejiang University, Chenhao Ying Shanghai Jiao Tong University, Yuan Luo Shanghai Jiao Tong University, Yiwen Guo Unaffiliated | ||
10:30 - 12:30 | |||
10:30 20mTalk | NES: An Instruction-Free, Low-Latency Next Edit Suggestion Framework Powered by Learned Historical Editing Trajectories Industry Papers Xinfang Chen Ant Group, Siyang Xiao Ant Group, Xianying Zhu Ant Group, Junhong Xie Ant Group, Ming Liang Ant Group, Dajun Chen Ant Group, Wei Jiang Ant Group, Yong Li Ant Group, Peng Di Kunlunxin & UNSW Sydney | ||
10:50 20mTalk | Balancing Latency and Accuracy of Code Completion via Local-Cloud Model Cascading Research Papers Lu Hanzhen Zhejiang University, Lishui Fan Zhejiang University, Jiachi Chen Sun Yat-sen University, Qiuyuan Chen Tencent Technology, Zhao Wei Tencent, Zhongxin Liu Zhejiang University | ||
11:10 20mTalk | Coding in a Bubble? Evaluating LLMs in Resolving Context Adaptation Bugs During Code Adaptation Research Papers Tanghaoran Zhang National University of Defense Technology, Xinjun Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology, Yuxin Zhao Key Laboratory of Software Engineering for Complex Systems, National University of Defense Technology, Yao Lu National University of Defense Technology, Zezhou Tang National University of Defense Technology, Wenyu Xu National University of Defense Technology, Longfei Sun National University of Defense Technology, Changrong Xie National University of Defense Technology, Kang Yang National University of Defense Technology, Yue Yu PengCheng Lab | ||
11:30 20mTalk | Hallucinations in LLM-based Code Summarization: Unveiling, Detection, and Mitigation Research Papers Guanghua Wan Huazhong University of Science and Technology, Yuanning Feng Huazhong University of Science and Technology, Yao Wan Huazhong University of Science and Technology, Zhaoyang Chu Huazhong University of Science and Technology, Zhangqian Bi Huazhong University of Science and Technology, Junxiao Han Hangzhou City University, Zhou Zhao Zhejiang University, Hongyu Zhang Chongqing University, Pingpeng Yuan Huazhong University of Science and Technology, Xuanhua Shi Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology | ||
11:50 20mTalk | ReDef: Do Code Language Models Truly Understand Code Changes for Just-in-Time Software Defect Prediction? Research Papers Doha Nam Korea Advanced Institute of Science and Technology, Taehyoun Kim Korea Advanced Institute of Science and Technology; Agency for Defense Development, Duksan Ryu Jeonbuk National University, Jongmoon Baik Korea Advanced Institute of Science and Technology DOI Pre-print Media Attached | ||
12:10 20mTalk | Cascaded Code Editing: Large-Small Model Collaboration for Effective and Efficient Code Editing Research Papers Chaozheng Wang The Chinese University of Hong Kong, Zezhou Yang Hong Kong University, Shuzheng Gao Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Shenzhen , Li Zongjie Hong Kong University of Science and Technology, Yichen LI ByteDance, Ting Peng Tencent Inc., Hailiang Huang Tencent Inc., Yuetang Deng Tencent, Michael Lyu The Chinese University of Hong Kong | ||
10:30 - 12:30 | |||
10:30 20mTalk | CuFuzz: An API-Knowledge-Graph Coverage-Driven Fuzzing Framework for CUDA Libraries Research Papers Ximing Fan School of cyber science and engineering, Sichuan University, China, Yong Fang Sichuan University, Peng Jia Sichuan University, Yang Liu Nanyang Technological University, Yijia Xu Sichuan University, Xi Peng Huawei Theory Lab, Yuhao Zhou Fudan University | ||
10:50 20mTalk | Eidolon: Perform Noise-Aware Fuzzing on FHE Libraries via Equivalence Expression Transformation Research Papers Zhensheng Xian Tsinghua University, Zhen Yan Tsinghua University, Yuanliang Chen Tsinghua University, Xuelian Cao Tsinghua University, Fuchen Ma Tsinghua University, Dalong Shi AVIC International Digital Network Technology Co., Ltd., Yu Jiang Tsinghua University | ||
11:10 20mTalk | SQLiFuzz: Uncovering SQL Injection in Any Web Applications Research Papers I Putu Arya Dharmaadi University of Groningen, Thuan Pham University of Melbourne, Fadi Mohsen University of Groningen, Fatih Turkmen University of Groningen | ||
11:30 20mTalk | Reducing Coverage-Equivalent Inputs in Grammar-based Fuzzing by Avoiding Recurrent Rule Sequences Research Papers Jaehan Yoon , Yunji Seo Korea University, Hakjoo Oh Korea University, Sooyoung Cha Sungkyunkwan University | ||
11:50 10mTalk | CapCo: Automating Carla-Apollo Co-Simulation and Scenario Fuzzing Tool Demonstrations Xiaodong Zhang University of Chinese Academy of Science, Songyang Yan Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Zijiang Yang University of Science and Technology of China and Synkrotron, Inc. | ||
12:00 10mTalk | SQLynx: Towards Generic Mutation-Based Fuzzing for DBMSs Across Diverse Dialects Tool Demonstrations Runpei Miao SKLCCSE Lab, Beihang University, Jie Liang Beihang University, Zhiyong Wu Tsinghua University, China, Jingzhou Fu School of Software, Tsinghua University, Yu Jiang Tsinghua University, Shuai Ma SKLCCSE Lab, Beihang University | ||
12:10 10mTalk | A Practical Fuzzer for the Python Runtime System Tool Demonstrations | ||
12:20 10mTalk | Shark2Pit: Automated Test Template Generation for Protocol Fuzzing Based on Packet Parser Tool Demonstrations Yulai Fu , Yuanliang Chen Tsinghua University, Fuchen Ma Tsinghua University, Changjian Liu Central South University, Wanli Chen Central South University, Dalong Shi AVIC International Digital Network Technology Co., Ltd., Qiang Fu Central South University, Heyuan Shi Central South University | ||
10:30 - 12:30 | Empirical 2Research Papers / Industry Papers / Re-routed Presentations from Past Years / Journal-First Paper at MB 3.445 | ||
10:30 20mTalk | Does Microservice Adoption Impact the Velocity? A Cohort Study Journal-First Paper Nyyti Saarimäki University of Luxembourg, Mikel Robredo University of Oulu, Valentina Lenarduzzi University of Southern Denmark, Sira Vegas Universidad Politecnica de Madrid, Natalia Juristo Universidad Politecnica de Madrid, Davide Taibi University of Southern Denmark and University of Oulu | ||
10:50 20mTalk | Building Software by Rolling the Dice: A Qualitative Study of Vibe Coding Research Papers Yi-Hung Chou University of California, Irvine, Boyuan Jiang University of California, Irvine, Yiwen Chen Independent, Mingyue Weng Marketing Creative Associate, Victoria Jackson University of Southampton, Thomas Zimmermann University of California, Irvine, James Jones University of California at Irvine Pre-print | ||
11:10 20mTalk | Beyond the Numbers: Evaluating DevOps Adoption in an Enterprise Software Development Organisation Industry Papers | ||
11:30 20mTalk | How Analysts Use AI in High-Stakes Crime Linkage: An Industrial Study Industry Papers Jessica Woodhams University of Birmingham, Amy Burrell University of Birmingham, Wanyin Li University of Reading, Fahim Ahmed Imperial College London, Matthew Tonkin University of Leicester, Jan Lemeire Vrije Universiteit, Arkady Konovalov University of Birmingham, Steven Frisson University of Birmingham, Mark Webb National Crime Agency, Sarah Galambos National Crime Agency, Vesna Nowack Imperial College London, Dalal Alrajeh Imperial College London | ||
11:50 20mTalk | Views on Internal and External Validity in Empirical Software Engineering: 10 Years Later and Beyond Re-routed Presentations from Past Years Alina Mailach Leipzig University, Janet Siegmund Chemnitz University of Technology, Sven Apel Saarland University, Norbert Siegmund Leipzig University | ||
12:10 20mTalk | How Low Can You Go? The Data-Light SE Challenge Research Papers | ||
10:30 - 12:30 | |||
10:30 20mTalk | Natural Language-Focused Software Engineering via Code-Documentation Equivalence Research Papers Aryaz Eghbali CISPA Helmholtz Center for Information Security, Germany, Zhongxin Liu Zhejiang University, Michael Pradel CISPA Helmholtz Center for Information Security | ||
10:50 20mTalk | Industrial Deployment of an AI Multi-Agent System for Requirements-Driven Code Verification Industry Papers Paul Baker JP Morgan - Chase, Blanca Manu JPMorganChase, Rebecca Moussa University College London, Federica Sarro University College London | ||
11:10 20mTalk | Leveraging LLMs for Alert Summarization and Mitigation Plan Generation Industry Papers Komal Sarda York University, Honggeun Ji York University, Amr M. Zaki York University, Marin Litoiu York University, Canada, Ian Watts IBM Canada, Larisa Shwartz IBM T.J. Watson Research | ||
11:30 20mTalk | TSGen: Automated Troubleshooting Guide Generation Industry Papers Yi Xiao Chongqing University, Hongyu Zhang Chongqing University, Daniel Genkin Microsoft, Chaoyun Zhang Microsoft, Rujia Wang Microsoft, Chetan Bansal Microsoft Research, Bhala Ranganathan Microsoft, Saravanakumar Rajmohan Microsoft 365, Minghua Ma Microsoft | ||
11:50 20mTalk | DualCodeDetect: Zero-Shot LLM-Generated Code Detection via Dual-Channel Perturbation Research Papers Zhengdao Li University of Science and Technology of China, Xiuwei Shang University of Science and Technology of China, Zhenkan Fu University of Science and Technology of China, Shikai Guo Dalian Maritime University, Weiming Zhang University of Science and Technology of China, Nenghai Yu School of Cyber Security, University of Science and Technology of China, Kejiang Chen University of Science and Technology of China | ||
12:10 20mTalk | Topic-wise Summarization of Support Ticket Dialogue via LLM Industry Papers XiaoLei Chen Fudan University, Fengrui Liu ByteDance, Xiao He Bytedance, Tieying Zhang ByteDance, Peng Wang Fudan University, Wei Wang Fudan University | ||
10:30 - 12:30 | SEET: Curriculum, Competencies, and Professional ReadinessSoftware Engineering Education / Research Papers at MB 9C | ||
10:30 20mTalk | Gamifying Video-Based Training: Comparing Attitudes of Software Engineering Students and Professionals Software Engineering Education Pasan Peiris University of Canterbury, New Zealand, Matthias Galster University of Canterbury, Antonija Mitrovic University of Canterbury, Sanna Malinen University of Canterbury, Raul Vincent Lumapas University of Canterbury, New Zealand, Jay Holland University of Canterbury | ||
10:50 20mTalk | Prompt Engineering in Software Engineering Education: An Empirical Study of Demand, Supply, and Assessment Software Engineering Education Mohamad Kassab Boston University | ||
11:10 20mTalk | Domain Diversity, Motivation, Inclusion, and Feedback in Software Modelling Education Software Engineering Education Isabella Graßl Technical University of Darmstadt , Christopher Lazik Humboldt-Universität zu Berlin, Shalini Chakraborty University of Bayreuth, Grischa Liebel Reykjavik University, Miguel Goulao NOVA-LINCS, FCT/UNL | ||
11:30 20mTalk | Building Production Software and Professional Competence: A Collaborative Model for AI-Integrated Software Engineering Practice Software Engineering Education Rumyana Neykova Brunel University London, Cigdem Sengul Brunel University London, Zear Ibrahim Brunel University London, Isabel Sassoon Brunel University London, Giuseppe Destefanis University College London (UCL), Alan Serrano Brunel University London | ||
11:50 20mTalk | BlocksDeFix: Guided Debugging Hints for Young Learners in Block-based Programming Environments Software Engineering Education Ewoud van Uijthoven Eindhoven University of Technology, Mazyar Seraj Eindhoven University of Technology | ||
14:00 - 15:30 | |||
14:00 20mTalk | Not All RAGs Are Created Equal: A Component-Wise Empirical Study for Software Engineering Tasks Research Papers Qiang Ke Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Hongjin Leng Xiamen University Malaysia, Shengming Zhao Fudan University, Haoyu Wang Huazhong University of Science and Technology | ||
14:20 20mTalk | ScanCoder: Leveraging Human Attention Patterns to Enhance LLMs for Code Research Papers Yueke Zhang Vanderbilt University, Yifan Zhang Vanderbilt University, Zihan Fang Vanderbilt University, Greg Trafton Naval Research Laboratory, Daniel Levin Vanderbilt University, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University | ||
14:40 20mTalk | CodeUltraFeedback: An LLM-as-a-Judge Dataset for Aligning Large Language Models to Coding Preferences Journal-First Paper Martin Weyssow DIRO, Université de Montréal, Aton Kamanda DIRO, Université de Montréal, Xin Zhou Singapore Management University, Singapore, Houari Sahraoui DIRO, Université de Montréal | ||
15:00 20mTalk | Empirical Studies of Parameter Efficient Methods for Large Language Models of Code and Knowledge Transfer to R Journal-First Paper Amirreza Esmaeili University of British Columbia, Iman Saberi University of British Columbia Okanagan, Fatemeh Hendijani Fard University of British Columbia, Okanagan | ||
15:20 10mTalk | AutoChecklist: Automated Checklist Refinement for LLM Judges Industry Papers Mansi Uniyal Microsoft, Mukul Singh Microsoft, Gust Verbruggen Microsoft, Vu Le Microsoft, Sumit Gulwani Microsoft | ||
14:00 - 15:20 | |||
14:00 20mTalk | VLM-Fuzz: Vision Language Model Assisted Recursive Depth-First Search Exploration for Effective GUI Testing of Android Apps Journal-First Paper Biniam Fisseha Demissie Technology Innovation Institute, Abu Dhabi, UAE, Yan Naing Tun Singapore Management University, Lwin Khin Shar Singapore Management University, Mariano Ceccato University of Verona | ||
14:20 20mTalk | From Suspicious Signals to Crashes: Guiding Bug-driven GUI Testing via Code-inspired Tracing Research Papers Mengzhuo Chen Institute of Software, Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Chunyang Chen TU Munich, Junjie Wang Institute of Software at Chinese Academy of Sciences, Boyu Wu Institute of Software at Chinese Academy of Sciences, Yuekai Huang Institute of Software, Chinese Academy of Sciences, Jun Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences | ||
14:40 20mTalk | WebTestPilot: Agentic End-to-End Web Testing against Natural Language Specification by Inferring Oracles with Symbolized GUI Elements Research Papers Xiwen Teoh National University of Singapore, Yun Lin Shanghai Jiao Tong University, Duc-Minh Nguyen Shanghai Jiao Tong University, Ruofei Ren Shanghai Jiao Tong University, Wenjie Zhang National University of Singapore, Jin Song Dong National University of Singapore | ||
15:00 10mTalk | From GUI Tests to Conversational Interaction: A New Perspective on App-Specific Voice Assistants Ideas, Visions and Reflections | ||
15:10 20mTalk | TUSR: A Test Unit–Based Framework for Repairing Obsolete GUI Test Scripts Research Papers | ||
14:00 - 15:30 | |||
14:00 20mTalk | GREClue: Failure Indexing with Graph-based Failure Representation and Entropy-based Deep Clustering Research Papers | ||
14:20 20mTalk | Failure-Based Testing for Deep Reinforcement Learning Agents Research Papers | ||
14:40 20mTalk | Predicting Intermittent Job Failure Categories for Diagnosis Using Few-Shot Fine-Tuned Language Models Industry Papers Henri Aïdasso École de technologie supérieure (ÉTS), Francis Bordeleau École de Technologie Supérieure (ETS), Ali Tizghadam TELUS | ||
15:00 20mTalk | How Execution Features Relate to Failures: An Empirical Study and Diagnosis Approach Journal-First Paper Marius Smytzek CISPA Helmholtz Center for Information Security, Martin Eberlein Humboldt-Universtität zu Berlin, Lars Grunske Humboldt-Universität zu Berlin, Andreas Zeller CISPA Helmholtz Center for Information Security Link to publication DOI | ||
15:20 10mTalk | TRACE: Topology-aware Reconstruction of Accidents in CARLA for AV Evaluation Tool Demonstrations | ||
14:00 - 15:30 | SE and AI 3Industry Papers / Journal-First Paper / Tool Demonstrations / Ideas, Visions and Reflections / Research Papers at MB 3.210 | ||
14:00 20mTalk | Model Context Protocol (MCP): Landscape, Security Threats, and Future Research Directions Journal-First Paper Xinyi Hou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Shenao Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology | ||
14:20 20mTalk | Machine Learning in the Wild: Early Evidence of Non-Compliant ML-Automation in Open-Source Software Ideas, Visions and Reflections Zohaib Arshid University of Sannio, Italy, Daniele Bifolco University of Sannio, Fiorella Zampetti University of Sannio, Italy, Massimiliano Di Penta University of Sannio, Italy | ||
14:40 10mTalk | SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents Journal-First Paper Amirhossein Zolfagharian University of Ottawa - School of Electrical Engineering & Computer Science (EECS), Manel Abdellatif École de Technologie Supérieure, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Ramesh S | ||
14:50 20mTalk | DevGen: Automated Generation of Virtual Device Models for Kernel Drivers via Large Language Models Ideas, Visions and Reflections Mingyu Wang Xidian University, Bin Yu Xidian University, Wenjian Lu Xidian University, kefeng gao Xidian University, Zhi Wang Xidian University, Cheng Wen Xidian University, Xu Lu Xidian University, Cong Tian Xidian University | ||
15:10 10mTalk | Panther: Faster and Cheaper Computations with Randomized Numerical Linear Algebra Tool Demonstrations Fahd Seddik University of British Columbia, Abdulrahman Elbedewy University of Texas at Austin, Gaser Elmasry Cairo University, Mohamed Abdelmoniem Noon, Yahia Zakaria Cairo University | ||
15:20 10mTalk | Human-aligned AI Model Cards with Weighted Hierarchy Architecture Industry Papers Pengyue Yang The University of Sydney, Haolin Jin The University of Sydney, Qingwen Zeng The University of Sydney, Jiawen Wen The University of Sydney, Harry Rao Bytedance, Huaming Chen The University of Sydney | ||
14:00 - 15:30 | Code translation and transformation 2Tool Demonstrations / Journal-First Paper / Research Papers at MB 3.270 | ||
14:00 20mTalk | Post-Incorporating Code Structural Knowledge into Pretrained Models via ICL for Code Translation Journal-First Paper | ||
14:20 20mTalk | TransLibEval: Demystify Large Language Models’ Capability in Third-party Library-targeted Code Translation Research Papers Pengyu Xue Shandong University, Kunwu Zheng Shandong University, Zhen Yang Shandong University, Yifei Pei Shandong University, Linhao Wu Shandong University, Jiahui Dong Shandong University, Xiapu Luo Hong Kong Polytechnic University, Yan Xiao Sun Yat-sen University, Fei Liu Shandong University, Yuxuan Zhang Shandong University, Xiran Lyu Shandong University, Xianhang Li Shandong University, Xuanyu Zhu Shandong University, Chengyi Wang Shandong University | ||
14:40 20mTalk | TransAgent: Enhancing LLM-Based Code Translation via Fine-Grained Execution Alignment Research Papers Zhiqiang Yuan Fudan University, Weitong Chen Fudan University, Hanlin Wang Fudan University, Xin Peng Fudan University, Zhenpeng Chen Tsinghua University, Yiling Lou University of Illinois at Urbana-Champaign | ||
15:00 10mTalk | CoRenameAgent: A Human-In-The-Loop, Multi-Agent Tool for Coordinated Rename Refactoring Tool Demonstrations Abhiram Bellur University of Colorado Boulder, Mohammed Raihan Ullah University of Colorado Boulder, Fraol Batole Tulane University, Mohit Kansara The University of Texas at Dallas, Masaharu Morimoto NEC Corporation, Kai Ishikawa NEC Corporation, Haifeng Chen NEC Laboratories America, Helena Klause JetBrains, Yaroslav Zharov JetBrains Research, Germany, Timofey Bryksin JetBrains Research, Tien N. Nguyen University of Texas at Dallas, Hridesh Rajan Tulane University, Nikolaos Tsantalis Concordia University, Danny Dig University of Colorado Boulder, JetBrains Research | ||
15:10 20mTalk | C2SaferRust: Transforming C Projects Into Safer Rust With NeuroSymbolic Techniques Journal-First Paper Vikram Nitin Columbia University, Rahul Krishna IBM Research, Luiz Lemos do Valle Columbia University, Baishakhi Ray Columbia University | ||
14:00 - 15:30 | |||
14:00 10mTalk | Mapping GitHub Sponsorships: A Longitudinal Observatory for Open-Source Sustainability Tool Demonstrations | ||
14:10 20mTalk | HAFix: History-Augmented Large Language Models for Bug Fixing Journal-First Paper Yu Shi Queen's University, Abdul Ali Bangash Lahore University of Management Sciences, Emad Fallahzadeh Queen's University, Bram Adams Queen's University, Ahmed E. Hassan Queen’s University | ||
14:30 20mTalk | Characterizing and Mitigating False-Positive Bug Reports in the Linux Kernel Research Papers jiashuo tian Tianjin University, Dong Wang Tianjin University, Chen Yang Tianjin University, Haichi Wang Tianjin University, Zan Wang Tianjin University, Junjie Chen Tianjin University | ||
14:50 10mTalk | Causal Software Engineering: A Vision and Roadmap Ideas, Visions and Reflections Roberto Pietrantuono Università di Napoli Federico II, Luca Giamattei Università di Napoli Federico II, Stefano Russo Università di Napoli Federico II, Julien Siebert Fraunhofer IESE, Neil Walkinshaw The University of Sheffield | ||
15:00 10mTalk | A Tool for Automatically Cataloguing and Selecting Pre-Trained Models and Datasets for Software Engineering Tool Demonstrations Alexandra González Universitat Politècnica de Barcelona - BarcelonaTech (UPC), Oscar Cerezo Universitat Politècnica de Catalunya - BarcelonaTech (UPC), Xavier Franch Universitat Politècnica de Catalunya, Silverio Martínez-Fernández UPC-BarcelonaTech Pre-print Media Attached | ||
14:00 - 15:30 | |||
14:00 20mTalk | Agentic Verification of Software Systems Research Papers Haoxin Tu Singapore Management University, Singapore, Huan Zhao National University of Singapore, Yahui Song Standard Chartered Bank, Mehtab Zafar National University of Singapore, Ruijie Meng CISPA Helmholtz Center for Information Security, Abhik Roychoudhury National University of Singapore | ||
14:20 20mTalk | DiverFPS: Generating Diverse Solutions for Floating-Point SMT Formulas Research Papers Shuangyu Lyu Beihang University, Chuan Luo Beihang University, Ruizhi Shi Beihang University, Zhuo Su Beihang University, Chunming Hu Beihang University | ||
14:40 10mTalk | The Watermark Paradox: How Provenance Verification Paves the Road to Camouflaged Backdoors Ideas, Visions and Reflections Haoyi Zhang Xi’an Jiaotong-Liverpool University, Huaijin Ran Xi’an Jiaotong-Liverpool University, Kisub Kim DGIST, Xunzhu Tang University of Luxembourg DOI | ||
14:50 10mTalk | HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects Tool Demonstrations Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Bo-Yuan Huang Intel, USA, Nian-Ze Lee National Taiwan University, Taiwan, Thomas Lemberger LMU Munich Media Attached | ||
15:00 10mTalk | PyMOP: A Runtime Verification Tool for Python Tool Demonstrations Zhuohang Shen Cornell University, Mohammed S. Yaseen Independent Researcher, Kevin Guan Cornell University, Denini Silva Federal University of Pernambuco, Marcelo d'Amorim North Carolina State University, Owolabi Legunsen Cornell University | ||
15:10 20mTalk | Property Refinement in Linear Temporal Logic: Formal Semantics and Algorithms for Software Verification Research Papers Luca Brodo Hochschule Hamm-Lippstadt, Giuseppe Scalora Hamm-Lippstadt University of Applied Sciences, Stefan Henkler Hochschule Hamm-Lippstadt | ||
14:00 - 15:30 | |||
14:00 20mTalk | VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns Research Papers Jia Li The Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Yuxin Su Sun Yat-sen University, Michael Lyu The Chinese University of Hong Kong | ||
14:20 20mTalk | Thought is All You Need: Smart Contract Vulnerability Detection with Thought-Augmented Large Language Model Research Papers Chaoyuan Peng Zhejiang University, Muhui Jiang BlockSec, Yajin Zhou The Chinese University of Hong Kong, Lei Wu Zhejiang University | ||
14:40 20mTalk | Three Heads Are Better Than One: A Multi-Perspective Reasoning Framework for Enhanced Vulnerability Detection Research Papers Xin Peng , Bo Lin National University of Defense Technology, Jing Wang National University of Defense Technology, Xiaoling Li National University of Defense Technology, Jun Ma National University of Defense Technology, Jie Yu National University of Defense Technology, Xiaoguang Mao National University of Defense Technology, Shangwen Wang National University of Defense Technology | ||
15:00 20mTalk | Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis Research Papers Felipe Paixão Federal University of Bahia (UFBA), Eduardo Almeida Federal University of Bahia (UFBA), Joanna C. S. Santos University of Notre Dame, Paulo Anselmo da Mota Silveira Neto Federal Rural University of Pernambuco, Recife, Pernambuco, Brazil, Daniel Sadoc Menasche Federal University of Rio de Janeiro, Gustavo B. Figueiredo Federal University of Bahia (UFBA) | ||
14:00 - 15:30 | |||
14:00 20mTalk | StepFly: Agentic Troubleshooting Guide Automation for Incident Diagnosis Research Papers Jiayi Mao Tsinghua University, Liqun Li Microsoft Research, Yanjie Gao Microsoft Research, Zegang Peng Tsinghua University, Shilin He Microsoft Research, Chaoyun Zhang Microsoft, Si Qin Microsoft Research, Samia Khalid Microsoft, Qingwei Lin Microsoft, Saravan Rajmohan Microsoft, Sitaram Lanka Microsoft, Dongmei Zhang Microsoft | ||
14:20 20mTalk | Spectrum-based Failure Attribution for Multi-Agent Systems Research Papers Yu Ge Nanjing University, Linna Xie Nanjing University, Zhong Li Nanjing University, Yu Pei Hong Kong Polytechnic University, Tian Zhang Nanjing University | ||
14:40 10mTalk | RuntimeSlicer: Towards Generalizable Unified Runtime State Representation for Failure Management Ideas, Visions and Reflections Lingzhe Zhang Peking University, China, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Weijie Hong Peking university, Mingyu Wang Peking University, Chiming Duan Peking University, Minghua He Peking University, Rongqian Wang Huawei Theory Lab, Xi Peng Huawei Theory Lab, Meiling Wang Huawei America Lab, Nicholas Zhang Huawei Theory Lab, Renhai Chen Huawei Theory Lab, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
14:50 10mTalk | Efficient Failure Management for Multi-Agent Systems with Reasoning Trace Representation Ideas, Visions and Reflections Lingzhe Zhang Peking University, China, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Mingyu Wang Peking University, Weijie Hong Peking university, Chiming Duan Peking University, Minghua He Peking University, Rongqian Wang Huawei Theory Lab, Xi Peng Huawei Theory Lab, Meiling Wang Huawei America Lab, Nicholas Zhang Huawei Theory Lab, Renhai Chen Huawei Theory Lab, Ying Li School of Software and Microelectronics, Peking University, Beijing, China | ||
15:00 20mTalk | FaultWeave: Bounded Resilience Testing with Failure Diagnosis Capability for Microservice Applications Industry Papers Mingzhuo Zheng Institute of Software, Chinese Academy of Sciences, Guoquan Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; University of Chinese Academy of Sciences Nanjing College; China Southern Power Grid, Jinbo Zhang Information Center, Guangdong Power Grid, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Wei Chen Institute of Software at Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Zheheng Liang Joint Laboratory on Cyberspace Security of China Southern Power Grid | ||
15:20 10mTalk | From Syntactic to Semantic Spectra for Fault Localization Ideas, Visions and Reflections Zhaorui Yang University of California, Riverside, Qian Zhang University of California at Riverside, Rajiv Gupta University of California at Riverside, Ashish Kundu Cisco Research | ||
14:00 - 15:30 | |||
14:00 20mTalk | Phantom Rendering Detection: Identifying and Analyzing unnecessary UI computations Research Papers Zhihao Lin , Mingyi Zhou Beihang University, Bo Sun Huawei, Han Hu Huawei Hong Kong Research Center, Gang Fan Huawei Hong Kong Research Centre, Li Li Beihang University | ||
14:20 20mTalk | Understanding Performance Problems in CUDA Programs Research Papers Yuyang Bi , Junming Cao Fudan University, You Lu Fudan University, Bihuan Chen Fudan University, Tianwei Gan Fudan University, Dingji Wang Fudan University, Xin Peng Fudan University | ||
14:40 20mTalk | CrossFit: Demystifying VM Callback Bugs in Interpreters Research Papers | ||
15:00 10mTalk | PSR²: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement Ideas, Visions and Reflections Xiaoqi Li Hainan University, Xin Wang Hainan University, Wenkai Li Hainan University, Zongwei Li Hainan University | ||
15:10 20mTalk | When Shared Worlds Break: Demystifying Defects in Multi-User Extended Reality Software Systems Research Papers Shuqing Li The Chinese University of Hong Kong, Chenran Zhang Harbin Institute of Technology, Binchang Li Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Michael Lyu The Chinese University of Hong Kong | ||
14:00 - 15:30 | SEET: Project-Based Learning, Teamwork, and Course SupportSoftware Engineering Education / Research Papers at MB 9C | ||
14:00 20mTalk | Overcoming the Empirical Process Control Threshold Concept through Scrum Simulation Software Engineering Education Eduardo Miranda Carnegie Mellon University, Torgeir Dingsøyr Norwegian University of Science and Technology and SimulaMet, Pritam Chita Edinburgh Napier University | ||
14:20 20mTalk | Bridging the Gap in Industrial Software Education: A LLM-Based Intelligent Assistant for GNU Radio Software Engineering Education Daiyang Zhang Xidian University, Yuanye Qiu XIDIAN University, Yu Duan Xidian University, Zhiping Jiang Xidian University, Yueshen Xu Xidian University, Gairui Bai Xidian University, Rui Li School of Computer Science and Technology,Xidian University,Xi'an,China, Di Cui Xidian University | ||
14:40 20mTalk | How Do Students Perceive Their Teammates? A Qualitative Study of Peer Evaluation in SE Course Projects Software Engineering Education Sahithya Gandu Colorado State University, Anurag Vemula Colorado State University, Satyanarayana Chowdary Kadiyala Colorado State University, Marcia C. Moraes Colorado State University, Sudipto Ghosh Colorado State University, USA, Fabio Marcos De Abreu Santos Colorado State University, USA, Bianca Trinkenreich Colorado State University | ||
15:00 20mTalk | From Domain Understanding to Design Readiness: a playbook for GenAI-supported learning in Software Engineering Software Engineering Education Rafal Wlodarski Carnegie Mellon Silicon Valley | ||
15:30 - 16:00 | Coffee BreakCatering The poster presentations will be held in this coffee break area near the MB Atrium on the first floor. Authors are expected to stand near their posters during the scheduled coffee breaks to present their work and answer questions. Authors should print their own posters and bring them to the conference venue. Posters should be mounted on the designated poster boards before 8 July. Each poster board is double-sided and measures 4 × 6 ft. Each side can hold two portrait-oriented posters, with a recommended poster size of 24 × 36 inches. Each board can therefore accommodate four posters in total. Authors who need local printing may use the Concordia Print Store: https://www.concordia.ca/print/store.html. Other printing shops are also available near the venue. | ||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:00 | Mobile Apps 2Research Papers / Ideas, Visions and Reflections / Industry Papers / Tool Demonstrations at MB 2.210 | ||
16:00 20mTalk | GUIMigrator: Semantics-Preserving Transpilation from Android XML to Compose and SwiftUI Research Papers Yi Gao Zhejiang University, Xing Hu Zhejiang University, Xiaohu Yang Zhejiang University, Xin Xia Zhejiang University | ||
16:20 10mTalk | Kea2: Practical Property-based Testing for Mobile Apps Tool Demonstrations Xixian Liang East China Normal University, Cheng Peng East China Normal University, Bo Ma East China Normal University, Xiangchen Shen East China Normal University, Yiheng Xiong Singapore Management University, Ting Su East China Normal University | ||
16:30 20mTalk | What You See Is Not What You Tap: Detecting Misalignments between Visual and Interactive Boundaries in Mobile Apps Industry Papers Qingyang Qiu College of Computer Science and Artificial Intelligence, Fudan University, Xuan Wang Fudan University, Jintao Wang College of Computer Science and Artificial Intelligence, Fudan University, Yongxiang Hu Fudan University, Hailiang Jin Meituan Inc., Xingjian Yang College of Computer Science and Artificial Intelligence, Fudan University, Yao Xu College of Computer Science and Artificial Intelligence, Fudan University, Shiyu Guo Meituan Inc., Juxing Yuan Meituan Inc., Yangfan Zhou Fudan University | ||
16:50 10mTalk | Characterizing Real-World Accessibility Issues Reported in Kotlin Mobile Apps Ideas, Visions and Reflections Benjamín Enrique González-Briones Pontificia Universidad Católica de Chile, Juan Pablo Sandoval Alcocer Pontificia Universidad Católica de Chile, Alison Fernandez-Blanco Pontificia Universidad Católica de Chile, Leonel Merino Pontificia Universidad Católica de Chile, Camilo Escobar-Velásquez Universidad de los Andes, Colombia, Mario Linares-Vásquez Universidad de los Andes | ||
16:00 - 17:00 | |||
16:00 - 17:00 | |||
16:00 20mTalk | Dependency-Guided Repository-Level C-to-Rust Translation with Reinforcement Alignment Industry Papers jiafeng Harbin Institute of Technology, Shenzhen, Wenjie Gan Southeast university of China, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Chaozheng Wang The Chinese University of Hong Kong, Feng Luo Harbin Institute of Technology (Shenzhen), Xin Xia Zhejiang University, Ge Li Peking University, Kui Liu Huawei | ||
16:20 20mTalk | Project-Level C-to-Rust Translation via Pointer Knowledge Graphs Research Papers Zhiqiang Yuan Fudan University, Wenjun Mao Fudan University, Zhou , Xiyue Shang Fudan University, Chong Wang Nanyang Technological University, Yiling Lou University of Illinois at Urbana-Champaign, Xin Peng Fudan University | ||
16:40 20mTalk | GraphQLify: Automated and Type Safety-Preserving GraphQL API Adoption Research Papers Saleh Amareen Wayne State University, Arif Rahman Wayne State University, Sazzadur Rahaman University of Arizona, Tucson, Arizona, USA, Amiangshu Bosu Wayne State University | ||
16:00 - 17:00 | |||
16:00 20mTalk | Automated Repair of TEE Partitioning Issues via DSL-Guided and LLM-Assisted Patching Research Papers Chengyan Ma Singapore Management University, Jieke Shi Singapore Management University, Ruidong Han Singapore Management University, Ye Liu Singapore Management University, FENG Li , Yuqing Niu , David Lo Singapore Management University Pre-print | ||
16:20 20mTalk | BackportBench: A Multilingual Benchmark for Automated Patch Backporting Research Papers Zhiqing Zhong The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Jiaming Huang The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Pinjia He Chinese University of Hong Kong, Shenzhen | ||
16:40 20mTalk | Mitigating Implicit Inconsistencies in Patch Porting Industry Papers Shengyi Pan Zhejiang University, Zhongxin Liu Zhejiang University, Jiayuan Zhou Huawei, Xing Hu Zhejiang University, Xin Xia Zhejiang University, Shanping Li The State Key Laboratory of Blockchain and Data Security, Zhejiang University | ||
Unscheduled Events
| Not scheduled Talk | Assessing Harmful Comments and Specificity in Code Review Feedback at Scale using Large Language Models Industry Papers Audrey You University of Auckland, Jingyi (Jenny) Wang University of Auckland, Youxiang Lei Multitudes, Lauren Peate Multitudes, Kelly Blincoe University of Auckland |
Accepted Papers
Call for Industry Papers
The FSE 2026 Industry Track offers a platform for showcasing outstanding applied research in software engineering. Submissions are expected to have a strong focus on real-world application of software engineering techniques, tools, methods, processes, or practices. At the same time, the work should be original, demonstrating novelty in its technology, context, or approach. The industry track is soliciting submissions that cover all aspects of software engineering, provided they have been applied in an industrial context or their relevance to such context is clearly identified and articulated in the paper.
Paper Categories
FSE 2026 wants to make sharing industrial research as forthcoming as possible. For this reason, we provide two paper categories:
- Short papers (5 pages, plus 1 page with references): Ideal for shorter contributions, tech transfer stories, experience reports, or visionary ideas.
- Long papers (10 pages, plus 2 pages with references): Ideal for practice-oriented research papers or case studies.
Submissions should clearly identify the novel aspects of the approach, the industrial context in which it is applied or relevant, and the outcomes of its application (ideally supported by experimental results, especially for long papers), as well as what the audience is expected to learn.
We welcome submissions from all areas of industry and for all software engineering techniques, tools, methodologies, processes, and practices applicable at any point in the software lifecycle. Both paper types will be reviewed based on the same evaluation criteria, but short papers are expected to have a smaller set of contributions. All accepted papers will appear in the conference companion proceedings. For inspiration in terms of topic, contribution, and style, consider accepted papers from previous ESEC/FSE industry tracks (e.g., 2023, 2024, and 2025).
Evaluation Criteria
All submissions will be evaluated based on significance, soundness, thoroughness of evaluation, quality of presentation, and appropriate discussion of related work. Additional key reviewing criteria for the industry track are listed below. Not all criteria apply to every submission (for example, improvement on the state of the practice may be irrelevant for an experience report); therefore, the criteria will be adjusted to fit the specific type of submission.
- Industrial application: The applied research or experience report has taken place in an industrial setting and/or with an industrial partner. Research on a problem relevant to industry or motivated by current and forthcoming industrial challenges is also welcome.
- Improvement on the state of the practice: The amount of improvement that the work achieves above and beyond the state-of-the-practice.
- Clarity of lessons learned: The clarity with which the lessons learned are presented and how well they are supported with data and discussion.
- Generality of results: A clear discussion about how the work, approach, or lessons learned apply to practitioners outside of the studied group.
Format and Submission Procedure
At the time of submission, all papers must conform to the FSE 2026 Format and Submission Guidelines, and must not exceed
- for short papers: 5 pages for all text and figures, plus 1 page for references
- for long papers: 10 pages for all text and figures plus 2 pages for references.
Submissions must be in English.
Papers must be submitted electronically as PDF files through the conference submission site at: https://fse2026-industry.hotcrp.com.
Submissions can be double-blind, but do not have to be. We leave it up to the authors to judge whether they want to include their names, affiliation, and the company in which the work was performed.
Submitted papers must not have been published elsewhere and must not be under review or submitted for review elsewhere during the duration of consideration. Specifically, authors are required to adhere to the ACM Policy and Procedures on Plagiarism and the ACM Policy on Prior Publication and Simultaneous Submissions.
To prevent double submissions, the chairs may compare the submissions with related conferences that have overlapping review periods. The double submission restriction applies only to refereed journals and conferences, not to unrefereed pre-publication archive servers (e.g., arXiv.org). ACM plagiarism policies and procedures will be followed for cases of double submission. Submissions that do not comply with the foregoing instructions will be desk rejected without being reviewed.
By submitting your article to an ACM Publication, you are hereby acknowledging that you and your co-authors are subject to all ACM Publications Policies, including ACM’s new Publications Policy on Research Involving Human Participants and Subjects. Alleged violations of this policy or any ACM Publications Policy will be investigated by ACM and may result in a full retraction of your paper, in addition to other potential penalties, as per ACM Publications Policy.
Please ensure that you and your co-authors obtain an ORCID ID, so you can complete the publishing process for your accepted paper. ACM has been involved in ORCID from the start and we have recently made a commitment to collect ORCID IDs from all of our published authors. The collection process has started and will roll out as a requirement throughout 2022. We are committed to improve author discoverability, ensure proper attribution and contribute to ongoing community efforts around name normalization; your ORCID ID will help in these efforts.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work.
In order for a paper to appear in the proceedings, at least one of the authors must register for the conference.
ACM Article Processing Charges (APC)
For FSE 2026, ACM will fully transition to Open Access. All ACM publications, including those from ACM-sponsored conferences, will be 100% Open Access. Authors will have two primary options for publishing Open Access articles with ACM: the ACM Open institutional model or by paying Article Processing Charges (APCs). With over 1,800 institutions already part of ACM Open, the majority of ACM-sponsored conference papers will not require APCs from authors or conferences (currently, around 70-75%).
Authors from institutions not participating in ACM Open will need to pay an APC to publish their papers, unless they qualify for a financial or discretionary waiver. To find out whether an APC applies to your article, please consult the list of participating institutions in ACM Open and review the APC Waivers and Discounts Policy. Keep in mind that waivers are rare and are granted based on specific criteria set by ACM.
Understanding that this change could present financial challenges, ACM has approved a temporary subsidy for FSE 2026 to ease the transition and allow more time for institutions to join ACM Open. The subsidy will offer:
- $250 APC for ACM/SIG members
- $350 for non-members
This represents a 65% discount, funded directly by ACM. Authors are encouraged to help advocate for their institutions to join ACM Open during this transition period.
- Types of contributions (position papers, research papers, short papers etc. + MANDATORY “extended abstracts”) and their estimated number and page limits. NOTE: Workshops must include an option for submission of “extended abstracts” (limited to five pages or less) and make it explicit that those are free of APC charges. However, for them to be free, the “extended abstract” term should be explicit in the call (and papers should be marked as such by the proceedings chairs). Please note that “short papers” are charged, but “extended abstracts” are not (see https://libraries.acm.org/acmopen/article-types).
Important Dates in AoE
- Submission deadline - January 22, 2026
- Author notification - March 20, 2026
- Camera ready - Apr 2, 2026
Important Dates AoE (UTC-12h)
| Thu 2 Apr 2026 Camera ready |
| Fri 20 Mar 2026 Author notification |
| Thu 22 Jan 2026 Submission deadline |
Submission Link
Shaukat AliCo-chair
Simula Research Laboratory and Oslo Metropolitan University
Norway
Sarah FakhouryCo-chair
Microsoft Research
United States
Aitor Arrieta
Mondragon University
Spain
Alexander Egyed
Johannes Kepler University Linz
Austria
Angelo Gargantini
University of Bergamo
Italy
Ani Mishra
DoorDash Inc
United States
chenxinyu
Christoph Elsner
Siemens AG
Germany
Derui Zhu
Rochester Institute of Technology
Eddie Kohler
HotCRP Author
Elisa Yumi Nakagawa
University of São Paulo
Brazil
Ferruccio Damiani
University of Turin
Italy
Fuyuki Ishikawa
National Institute of Informatics
Japan
Gabin An
Korea University
South Korea
Gang Fan
Huawei Hong Kong Research Centre
Hong Kong SAR China
peng gengyun
Zhejiang University
Haowei Qiu
Tsinghua University
China
Hassan Sartaj
Simula Research Laboratory
Norway
Hei Yu Chan
Cornell University
Helena Holmström Olsson
Malmö University
Helene Waeselynck
LAAS-CNRS
France
Hong Jin Kang
University of Sydney
Australia
Jan-Niclas Strüwer
Fraunhofer IEM
Jiamou Sun
CSIRO's Data61
Juha Savolainen
Danfoss
Kundi Yao
Ontario Tech University
Canada
LiGuo Huang
Dept. of Computer Science, Southern Methodist University, Dallas, TX, 75205
United States
Lizhi Liao
University of Guelph
Canada
Luxing Yin
Lanzhou University
Man Zhang
Beihang University, China
Minghua Ma
Microsoft
United States
Moonzoo Kim
KAIST / VPlusLab Inc.
South Korea
Muneera Bano
CSIRO's Data61
Australia
Paolo Arcaini
National Institute of Informatics
Japan
Pei Wang
Google
Rajesh Vasa
Deakin University, Australia
Australia
Ruzanna Chitchyan
University of Bristol
United Kingdom
Shinobu Saito
NTT, Inc.
Japan
Shraddha Barke
Microsoft Research, Redmond
United States
Siddharth Santurkar
Meta Platforms, Inc.
United States
Sigrid Eldh
Ericsson AB, Mälardalen University, Carleton University
Sweden
Silvia Abrahão
Universitat Politècnica de València
Spain
Tao Yue
Beihang University
China
Masood Maldar
Test
Tingting Bi
The University of Melbourne
Australia
Vamshi Krishna Thotempudi
Microsoft Research
United States
Vesna Nowack
Imperial College London
United Kingdom
Weiyi Shang
University of Waterloo
Xianhao Jin
ByteDance
Xin Xia
Zhejiang University
China
Yanjie Gao
Microsoft Research
Yanlin Wang
Sun Yat-sen University
China
Zheng Pei
Sun Yat-Sen University
China
Zhenhao Li
York University
Canada
Sumeet Singh Arora
Meta Platforms Inc
Jasdeep Singh Bhalla
GoDaddy
United States
Francisco Chicano
University of Malaga
Spain
Ronnie de Souza Santos
University of Calgary
Canada
Liping Han
Nanjing University of Posts and Telecommunications
Xin Liu
Lanzhou University
Juan Marcano
Uber Technologies
United States
Ganesh Nalawade
RED HAT
United States
Carlos Paradis
No Affiliation
United States
Rubén Saborido
ITIS Software, University of Malaga
Spain
Yiming Tang
Rochester Institute of Technology
United States
Miriam Ugarte
Mondragon University
Pablo Valle
Mondragon University
Spain
Haonan Zhang
University of Waterloo
Canada
Mingwei Zheng
Purdue University
United States