FSE 2025 - Demonstrations

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	RE and DesignResearch Papers / Demonstrations / Journal First / Industry Papers at Andromeda Chair(s): Ipek Ozkaya Carnegie Mellon University

10:30 10m Talk		PF2UML:A Tool for Problem-Oriented Requirements Modeling and Transformation Demonstrations Hongbin Xiao Guangxi Key Lab of Multi-Source Information Mining and Securit(Guangxi Normal University), Zhi Li Guangxi Normal University, Yilong Yang Beihang University, Fei Tang Huawei Technologies Co., Ltd, Dongming Jin Peking University, China Media Attached
10:40 10m Talk		DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool Demonstrations Ruixin Geng Beihang University, Jiahao Weng Beihang University, Ning Ge School of Software, Beihang University, Jingyao Li Beihang University, Chunming Hu Beihang University
10:50 20m Talk		Incorporating Verification Standards for Security Requirements Generation from Functional Specifications Research Papers Xiaoli Lian Beihang University, China, Shuaisong Wang Beihang University, Hanyu Zou Beihang University, Fang Liu Beihang University, Jiajun Wu Beihang University, Li Zhang Beihang University DOI
11:10 10m Talk		Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements Demonstrations Aurora Francesca Zanenga University of Bergamo, Bergamo, Italy, Nunzio Marco Bisceglia University of Bergamo, Bergamo, Italy, Benedetta Ippoliti University of Bergamo, Bergamo, Italy, Andrea Bombarda University of Bergamo, Angelo Gargantini University of Bergamo, Akshay Rajhans Mathworks, Claudio Menghi University of Bergamo; McMaster University
11:20 20m Talk		Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software Industry Papers Longxing Yang Beijing Institute of Control Engineering, Yixing Luo Beijing Institute of Control Engineering, Hao Gao Beijing Institute of Control Engineering, Yingshuang Fan Beijing Institute of Control Engineering, Jingru Zhang Beijing Institute of Control Engineering, Xiaofeng Li Beijing Institute of Control Engineering, Xiaogang Dong Beijing Institute of Control Engineering, Bin Gu Beijing Institute of Control Engineering, Zhi Jin Peking University, Mengfei Yang China Academy of Space Technology
11:40 20m Talk		To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines Journal First Márton Elekes Budapest University of Technology and Economics, Vince Molnár Budapest University of Technology and Economics, Zoltán Micskei Budapest University of Technology and Economics Link to publication DOI Pre-print
12:00 10m Talk		Merlin-A: A tool to engineer adaptive modelling languages Demonstrations Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid Pre-print Media Attached
12:10 20m Talk		Unlocking Optimal ORM Database Designs: Accelerated Tradeoff Analysis with Transformers Research Papers Md Rashedul Hasan University of Nebraska-Lincoln, Mohammad Rashedul Hasan University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln DOI Pre-print

10:30 - 12:30	ClonesResearch Papers / Journal First at Aurora A Chair(s): Julia Lawall Inria

10:30 20m Talk		An empirical study of business process models and model clones on GitHub Journal First Mahdi Saeedi Nikoo Eindhoven University of Technology, Sangeeth Kochanthara Eindhoven University of Technology (TU/e) , Önder Babur Eindhoven University of Technology, Mark van den Brand Eindhoven University of Technology
10:50 20m Talk		The Struggles of LLMs in Cross-lingual Code Clone Detection Research Papers Micheline Bénédicte MOUMOULA University of Luxembourg, Abdoul Kader Kaboré University of Luxembourg, Jacques Klein University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg DOI
11:10 20m Talk		Clone Detection for Smart Contracts: How Far Are We? Research Papers Zuobin Wang Zhejiang University, Zhiyuan Wan Zhejiang University, Yujing Chen Zhejiang University, Yun Zhang Hangzhou City University, David Lo Singapore Management University, Difan Xie Hangzhou High-Tech Zone (Binjiang) Institute of Blockchain and Data Security, Xiaohu Yang Zhejiang University DOI
11:30 20m Talk		Measuring Model Alignment for Code Clone Detection Using Causal Interpretation Journal First Shamsa Abid National University of Computer and Emerging Sciences, Xuemeng Cai Singapore Management University, Lingxiao Jiang Singapore Management University
11:50 20m Talk		An Empirical Study of Code Clones from Commercial AI Code Generators Research Papers Weibin Wu Sun Yat-sen University, Haoxuan Hu Sun Yat-sen University, China, Zhaoji Fan Sun Yat-sen University, Yitong Qiao Sun Yat-sen University, China, Yizhan Huang The Chinese University of Hong Kong, Yichen LI The Chinese University of Hong Kong, Zibin Zheng Sun Yat-sen University, Michael Lyu Chinese University of Hong Kong DOI
12:10 20m Talk		VexIR2Vec: An Architecture-Neutral Embedding Framework for Binary Similarity Journal First S. VenkataKeerthy IIT Hyderabad, Soumya Banerjee IIT Hyderabad, Sayan Dey IIT Hyderabad, Yashas Andaluri IIT Hyderabad, Raghul PS IIT Hyderabad, Subrahmanyam Kalyanasundaram IIT Hyderabad, Fernando Magno Quintão Pereira Federal University of Minas Gerais, Ramakrishna Upadrasta IIT Hyderabad

10:30 - 12:20	Bug DetectionResearch Papers / Industry Papers / Demonstrations / Journal First at Aurora B Chair(s): Lingming Zhang University of Illinois at Urbana-Champaign

10:30 20m Talk		Yuga: Automatically Detecting Lifetime Annotation Bugs in the Rust Language Journal First Vikram Nitin Columbia University, Anne Mulhern Red Hat Inc, Sanjay Arora Red Hat Inc, Baishakhi Ray Columbia University
10:50 10m Talk		SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software Demonstrations Boxiang Wang Beijing Sunwise Information Technology Ltd, Chao Li Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Rui Chen Beijing Institute of Control Engineering; Beijing Sunwise Information Technology, Sheng Wang Beijing Sunwise Information Technology Ltd, Chunpeng Jia Beijing Sunwise Information Technology Ltd, Mengfei Yang China Academy of Space Technology
11:00 20m Talk		dl²: Detecting Communication Deadlocks in Deep Learning Jobs Industry Papers Yanjie Gao Microsoft Research, Jiyu Luo University of Science and Technology of China, Haoxiang Lin Microsoft Research, Hongyu Zhang Chongqing University, Ming Wu Zero Gravity Labs, Mao Yang Microsoft Research
11:20 20m Talk		Detecting Metadata-Related Bugs in Enterprise Applications Research Papers Md Mahir Asef Kabir Virginia Tech, Xiaoyin Wang University of Texas at San Antonio, Na Meng Virginia Tech DOI
11:40 20m Talk		ROSCallBaX: Statically Detecting Inconsistencies In Callback Function Setup of Robotic Systems Research Papers Sayali Kate Purdue University, Yifei Gao Purdue University, Shiwei Feng Purdue University, Xiangyu Zhang Purdue University DOI
12:00 20m Talk		Enhancing Web Accessibility: Automated Detection of Issues with Generative AI Research Papers Ziyao He University of California, Irvine, Syed Fatiul Huq University of California, Irvine, Sam Malek University of California at Irvine DOI

10:30 - 12:30	Autonomous DrivingDemonstrations / Research Papers / Industry Papers at Cosmos 3A Chair(s): Nassim Belmecheri

10:30 20m Talk		On-Demand Scenario Generation for Testing Automated Driving Systems Research Papers Songyang Yan Xi'an Jiaotong University, Xiaodong Zhang Xidian University, Kunkun Hao Synkrotron, Inc., Haojie Xin Xi'an Jiaotong University, Yonggang Luo Chongqing Changan Automobile Co. Ltd, Jucheng Yang Chongqing Changan Automobile Co. Ltd, Ming Fan Xi'an Jiaotong University, Chao Yang Xidian University, Jun Sun Singapore Management University, Zijiang Yang University of Science and Technology of China and Synkrotron, Inc. DOI Pre-print
10:50 20m Talk		Multi-Modal Traffic Scenario Generation for Autonomous Driving System Testing Research Papers Zhi Tu Purdue University, Liangkun Niu Purdue University, Wei Fan Purdue University, Tianyi Zhang Purdue University DOI Pre-print
11:10 10m Talk		CCTest: Critical Configuration Testing for Autonomous Driving Systems Demonstrations Changwen Li , Joseph Sifakis University Grenoble Alpes; CNRS; Grenoble INP; VERIMAG, Rongjie Yan Institute of Software at 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
11:20 10m Talk		HazSim: An Urban Driving Simulator for Testing Perception Systems of ADSes Against Hazards Demonstrations Xiaodong Zhang Xidian University, Jie Bao Xi'an Jiaotong University, Yulong Shen Xidian University, Qin Xia Xi'an Jiaotong University, Zijiang Yang University of Science and Technology of China and Synkrotron, Inc.
11:40 20m Talk		A Comprehensive Study of Bug-Fix Patterns in Autonomous Driving Systems Research Papers Yuntianyi Chen University of California, Irvine, Yuqi Huai University of California, Irvine, Yirui He University of California, Irvine, Shilong Li University of California, Irvine, Changnam Hong University of California, Irvine, Alfred Chen University of California, Irvine, Joshua Garcia University of California, Irvine DOI Pre-print
12:00 10m Talk		PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator Demonstrations Masoud Jamshidiyan Tehrani Università della Svizzera italiana, Jinhan Kim Università della Svizzera italiana (USI), Paolo Tonella USI Lugano
12:10 20m Talk		AutoTracer: A Low-Overhead Tracing Framework for Autonomous Driving System Industry Papers Bo Jiang Beihang University, Fancheng Shu SKLCCSE，Beihang University, Yuyang Cui SKLCCSE，Beihang University, Xiangjie Wang SKLCCSE，Beihang University, Peng Tang SKLCCSE，Beihang University, Lei Wang SKLCCSE，Beihang University, Weiping Zhang DiDi Global, Yong Wang Beihang University, Guobin Wu DiDi Global

10:30 - 12:30	Vulnerability 1Research Papers / Ideas, Visions and Reflections / Journal First at Cosmos 3C Chair(s): Cuiyun Gao Harbin Institute of Technology, Shenzhen

10:30 20m Talk		VulPA: Detecting Semantically Recurring Vulnerabilities with Multi-Object Typestate Analysis Research Papers Liqing Cao Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Haofeng Li SKLP, Institute of Computing Technology, CAS, Chenghang Shi SKLP, Institute of Computing Technology, CAS, Jie Lu SKLP, Institute of Computing Technology, CAS, China; University of Chinese Academy of Sciences, China, Haining Meng SKLP, Institute of Computing Technology, CAS, China; University of Chinese Academy of Sciences, China, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jingling Xue University of New South Wales DOI
10:50 20m Talk		Mystique: Automated Vulnerability Patch Porting with Semantic and Syntactic-Enhanced LLM Research Papers Susheng Wu Fudan University, Ruisi Wang Fudan University, Bihuan Chen Fudan University, Zhuotong Zhou Fudan University, Yiheng Huang Fudan University, JunPeng Zhao Fudan University, Xin Peng Fudan University DOI
11:10 20m Talk		Identifying Affected Third-Party Java Libraries from Textual Descriptions of Vulnerabilities and Libraries Journal First Tianyu Chen Peking University, Lin Li Huawei Cloud Computing Technologies Co., Ltd., Bingjie Shan Huawei Cloud Computing Technologies Co., Ltd., Guangtai Liang Huawei Cloud Computing Technologies, Ding Li Peking University, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University
11:30 20m Talk		Code Change Intention, Development Artifact and History Vulnerability: Putting Them Together for Vulnerability Fix Detection by LLM Research Papers Xu Yang University of Manitoba, Wenhan Zhu Huawei Canada, Michael Pacheco Centre for Software Excellence, Huawei, Jiayuan Zhou Huawei, Shaowei Wang University of Manitoba, Xing Hu Zhejiang University, Kui Liu Huawei DOI
11:50 10m Talk		Augmenting Software Bills of Materials with Software Vulnerability Description Ideas, Visions and Reflections Davide Fucci Blekinge Institute of Technology, Massimiliano Di Penta University of Sannio, Italy, Simone Romano University of Salerno, Giuseppe Scanniello University of Salerno
12:00 20m Talk		Teaching AI the ‘Why’ and ‘How’ of Software Vulnerability Fixes Research Papers Amiao Gao Department of Computer Science, Southern Methodist University, Dallas, Texas, USA 75275-0122, Zenong Zhang The University of Texas - Dallas, Simin Wang Department of Computer Science, Southern Methodist University, Dallas, Texas, USA 75275-0122, LiGuo Huang Dept. of Computer Science, Southern Methodist University, Dallas, TX, 75205, Shiyi Wei University of Texas at Dallas, Vincent Ng Human Language Technology Research Institute, University of Texas at Dallas, Richardson, TX 75083-0688 DOI
12:20 10m Talk		Emerging Results in Using Explainable AI to Improve Software Vulnerability Prediction Ideas, Visions and Reflections Fahad Al Debeyan Lancaster University, Tracy Hall Lancaster University, Lech Madeyski Wroclaw University of Science and Technology

10:30 - 12:30	Test GenerationResearch Papers / Industry Papers at Cosmos Hall Chair(s): Michael Pradel University of Stuttgart

10:30 20m Talk		CoverUp: Effective High Coverage Test Generation for Python Research Papers Juan Altmayer Pizzorno University of Massachusetts Amherst, Emery D. Berger University of Massachusetts Amherst DOI Pre-print
11:00 20m Talk		Doc2OracLL: Investigating the Impact of Documentation on LLM-based Test Oracle Generation Research Papers Soneya Binta Hossain University of Virginia, Raygan Taylor Dillard University, Matthew B Dwyer University of Virginia DOI
11:20 20m Talk		Less is More: On the Importance of Data Quality for Unit Test Generation Research Papers Junwei Zhang Zhejiang University, Xing Hu Zhejiang University, Shan Gao Huawei, Xin Xia Zhejiang University, David Lo Singapore Management University, Shanping Li Zhejiang University DOI
11:40 20m Talk		Mutation-Guided LLM-based Test Generation at Meta Industry Papers Mark Harman Meta Platforms, Inc. and UCL, Jillian Ritchey Meta platforms, Inna Harper Meta, Shubho Sengupta Meta platforms, Ke Mao Meta, Abhishek Gulati Meta platforms, Christopher Foster Meta platforms, Hervé Robert Meta platforms
12:00 10m Talk		LSPAI: An IDE Plugin for LLM-Powered Multi-Language Unit Test Generation with Language Server Protocol Industry Papers Gwihwan Go Tsinghua University, Chijin Zhou Tsinghua University, Quan Zhang Tsinghua University, Yu Jiang Tsinghua University, Zhao Wei Tencent
12:10 20m Talk		Can Generative AI Produce Test Cases? An Experience from the Automotive Domain Industry Papers Stephen Wynn-Williams McMaster University, Canada, Ryan Tyrrell McMaster University, Vera Pantelic McMaster University, Mark Lawford McMaster University, Claudio Menghi University of Bergamo; McMaster University, Phaneendra Nalla FCA US LLC, Hassan Artail FCA US LLC

10:30 - 12:30	Library and Product LineIndustry Papers / Journal First / Ideas, Visions and Reflections / Demonstrations at Pirsenteret 150 Chair(s): Andrea Arcuri Kristiania University of Applied Sciences

10:30 10m Talk		Drop the Golden Apples: Identifying Third-Party Reuse by DB-Less Software Composition Analysis Ideas, Visions and Reflections Lyuye Zhang Nanyang Technological University, Chengwei Liu Nanyang Technological University, Wu Jiahui , Shiyang Zhang Tianjin University, CHENGYUE LIU , Zhengzi Xu Imperial Global Singapore, Sen Chen Nankai University, Yang Liu Nanyang Technological University
10:40 20m Talk		Quantifying the benefits of code hints for refactoring deprecated Java APIs Industry Papers Cristina David University of Bristol, Pascal Kesseli Meta, Daniel Kroening Amazon, Hanliang Zhang University of Bristol
11:00 20m Talk		Mapping APIs in Dynamic-typed Programs by Leveraging Transfer Learning Journal First Zhenfei Huang Tianjin University, Junjie Chen Tianjin University, Jiajun Jiang Tianjin University, Yihua Liang Tianjin University, Hanmo You Tianjin University, Fengjie Li Tianjin University
11:20 10m Talk		Dirty-Waters: Detecting Software Supply Chain Smells Demonstrations Raphina Liu KTH Royal Institute of Technology, Sofia Bobadilla KTH Royal Institute of Technology, Sweden, Benoit Baudry KTH Royal Institute of Technology, Martin Monperrus KTH Royal Institute of Technology
11:30 10m Talk		Pursuit of Automotive Software Variant Reduction for Engineering Simplicity Industry Papers Vard Antinyan Volvo Car Group
11:40 20m Talk		Software Product Line Engineering via Software Transplantation Journal First Leandro Oliveira de Souza Federal Institute of Bahia, Irecê, Bahia, Brazil, Eduardo Almeida , Paulo Anselmo da Mota Silveira Neto Federal Rural University of Pernambuco, Recife, Pernambuco, Brazil, Earl T. Barr University College London, Justyna Petke University College London
12:00 10m Talk		Beyond Software Families: Community-Driven Variability Ideas, Visions and Reflections Roman Bögli University of Bern, Alexander Boll University of Bern, Alexander Schultheiß Paderborn University, Timo Kehrer University of Bern Pre-print
12:10 20m Talk		The Promise and Pitfalls of WebAssembly: Perspectives from the Industry Industry Papers Ningyu He Hong Kong Polytechnic University, Shangtong Cao Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology, Yao Guo Peking University, Xiapu Luo Hong Kong Polytechnic University

10:30 - 12:30	PerformanceDemonstrations / Research Papers / Ideas, Visions and Reflections / Journal First / Industry Papers at Vega Chair(s): Philipp Leitner Chalmers \| University of Gothenburg

10:30 20m Talk		Accuracy Can Lie: On the Impact of Surrogate Model in Configuration Tuning Journal First Pengzhou Chen University of electronic science and technology of China, Jingzhi Gong University of Leeds, Tao Chen University of Birmingham
10:50 20m Talk		Understanding Debugging as Episodes: A Case Study on Performance Bugs in Configurable Software Systems Research Papers Max Weber Leipzig University, Alina Mailach Leipzig University, Sven Apel Saarland University, Janet Siegmund Chemnitz University of Technology, Raimund Dachselt Technical University of Dresden, Norbert Siegmund Leipzig University DOI
11:10 20m Talk		Towards Understanding Performance Bugs in Popular Data Science Libraries Research Papers Haowen Yang The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Zhengda Li The Chinese University of Hong Kong, Shenzhen, Zhiqing Zhong The Chinese University of Hong Kong, Shenzhen (CUHK-Shenzhen), Xiaoying Tang hinese University of Hong Kong, Shenzhen, Pinjia He Chinese University of Hong Kong, Shenzhen DOI
11:30 20m Talk		When Should I Run My Application Benchmark?: Studying Cloud Performance Variability for the Case of Stream Processing Applications Industry Papers Sören Henning Dynatrace Research, Adriano Vogel , Esteban Pérez Wohlfeil Dynatrace Research, Otmar Ertl Dynatrace Research, Rick Rabiser LIT CPS, Johannes Kepler University Linz DOI Pre-print
11:50 10m Talk		LitmusKt: Concurrency Stress Testing for Kotlin Demonstrations Denis Lochmelis Constructor University Bremen, JetBrains Research, Evgenii Moiseenko JetBrains Research, Yaroslav Golubev JetBrains Research, Anton Podkopaev JetBrains Research, Constructor University DOI Pre-print
12:00 10m Talk		Breaking the Loop: AWARE is the New MAPE-K Ideas, Visions and Reflections Brell SANWOUO Univ. Lille / INRIA, Clément Quinton University of Lille, Paul Temple IRISA
12:10 20m Talk		COFFE: A Code Efficiency Benchmark for Code Generation Research Papers Yun Peng The Chinese University of Hong Kong, Jun Wan Zhejiang University, Yichen LI The Chinese University of Hong Kong, Xiaoxue Ren Zhejiang University DOI

14:00 - 15:30	LoggingResearch Papers / Journal First at Andromeda Chair(s): Domenico Bianculli University of Luxembourg

14:00 20m Talk		No More Labelled Examples? An Unsupervised Log Parser with LLMs Research Papers Junjie Huang The Chinese University of Hong Kong, Zhihan Jiang The Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Michael Lyu Chinese University of Hong Kong DOI
14:20 20m Talk		Exploring the Effectiveness of LLMs in Automated Logging Statement Generation: An Empirical Study Journal First Yichen LI The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Zhihan Jiang The Chinese University of Hong Kong, Renyi Zhong The Chinese University of Hong Kong, Pinjia He Chinese University of Hong Kong, Shenzhen, Yuxin Su Sun Yat-sen University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland, Michael Lyu Chinese University of Hong Kong
14:40 20m Talk		Protecting Privacy in Software Logs: What Should be Anonymized? Research Papers Roozbeh Aghili Polytechnique Montréal, Heng Li Polytechnique Montréal, Foutse Khomh Polytechnique Montréal DOI

14:00 - 15:30	Code SearchResearch Papers / Journal First / Ideas, Visions and Reflections at Aurora A Chair(s): Xin Xia Zhejiang University

14:00 20m Talk		10 years later: revisiting how developers search for code Research Papers Kathryn Stolee North Carolina State University, Tobias Welp Google, Caitlin Sadowski , Sebastian Elbaum University of Virginia DOI
14:20 20m Talk		Approaching Code Search for Python as a Translation Retrieval Problem with Dual Encoders Journal First Monoshiz Mahbub Khan Rochester Institute of Technology, Zhe Yu Rochester Institute of Technology
14:40 20m Talk		Zero-Shot Cross-Domain Code Search without Fine-Tuning Research Papers Keyu Liang Zhejiang University, Zhongxin Liu Zhejiang University, Chao Liu Chongqing University, Zhiyuan Wan Zhejiang University, David Lo Singapore Management University, Xiaohu Yang Zhejiang University DOI
15:00 10m Talk		Measuring What Matters: An Aggregate Metric for Assessing Enterprise Code Summaries Ideas, Visions and Reflections Ashita Saxena IBM Research, Palanivel Kodeswaran IBM Research India, Sayandeep Sen IBM Research India, Srikanth Tamilselvam IBM Research
15:10 20m Talk		MiSum: Multi-Modality Heterogeneous Code Graph Learning for Multi-Intent Binary Code Summarization Research Papers Kangchen Zhu National university of Defense Technology, Zhiliang Tian National University of Defense Technology, Shangwen Wang National University of Defense Technology, Weiguo Chen National University of Defense Technology, Zixuan Dong National University of Defense Technology, mingyue leng National University of Defense Technology, Xiaoguang Mao National University of Defense Technology DOI

14:00 - 15:20	Testing 1Journal First / Industry Papers / Research Papers at Aurora B Chair(s): Jialun Cao Hong Kong University of Science and Technology

14:00 20m Talk		Automated Soap Opera Testing Directed by LLMs and Scenario Knowledge: Feasibility, Challenges, and Road Ahead Research Papers Yanqi Su Australian National University, Zhenchang Xing CSIRO's Data61, Chong Wang Nanyang Technological University, Chunyang Chen TU Munich, Xiwei (Sherry) Xu Data61, CSIRO, Qinghua Lu Data61, CSIRO, Liming Zhu CSIRO’s Data61 DOI
14:20 20m Talk		Automated Test Case Repair Using Language Models Journal First Ahmadreza Saboor Yaraghi University of Ottawa, Darren Holden Carleton University, Nafiseh Kahani Carleton University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
14:40 20m Talk		TestGPT-Server: Automatically Testing Microservices with Large Language Models at ByteDance Industry Papers Jue Wang ByteDance, Shuxiang Chen ByteDance, Yu Liu ByteDance, Yuan Deng ByteDance, Lei Zhang ByteDance, Yuanchang Fu ByteDance, Bo Liu ByteDance
15:00 20m Talk		LTM: Scalable and Black-Box Similarity-Based Test Suite Minimization Based on Language Models Journal First RONGQI PAN University of Ottawa, Taher A Ghaleb Trent University, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland

14:00 - 15:20	Program Analysis 1Industry Papers / Research Papers at Cosmos 3A Chair(s): Shiyi Wei University of Texas at Dallas

14:00 20m Talk		Dynamic Taint Tracking for Modern Java Virtual Machines Research Papers Katherine Hough Northeastern University, Jonathan Bell Northeastern University DOI
14:20 20m Talk		HapTest: The Dynamic Analysis Framework for OpenHarmony Industry Papers Farong Liu Beihang University, Mingyi Zhou Beihang University, Yakun Zhang Peking University, Ting Su East China Normal University, Bo Sun Huawei, Jacques Klein University of Luxembourg, Xiang Gao Beihang University, Li Li Beihang University
14:40 20m Talk		An Empirical Study of Suppressed Static Analysis Warnings Research Papers Huimin Hu University of Stuttgart, Yingying Wang University of British Columbia, Julia Rubin The University of British Columbia, Michael Pradel University of Stuttgart DOI
15:00 20m Talk		A New Approach to Evaluating Nullability Inference Tools Research Papers Nima Karimipour University of California, Riverside, Erfan Arvan New Jersey Institute of Technology, Martin Kellogg New Jersey Institute of Technology, Manu Sridharan University of California at Riverside DOI

14:00 - 15:30	Fuzzing 1Demonstrations / Research Papers / Journal First at Cosmos 3C Chair(s): Shin Hwei Tan Concordia University

14:00 20m Talk		Liberating libraries through automated fuzz driver generation: Striking a Balance Without Consumer Code Research Papers Flavio Toffalini EPFL, Switzerland and Ruhr-Universität Bochum, Germany, Nicolas Badoux EPFL, Zurab Tsinadze EPFL, Mathias Payer EPFL DOI
14:20 20m Talk		Presentation Proposal for: Finding Information Leaks with Information Flow Fuzzing Journal First Bernd Gruner German Aerospace Center (DLR), Institute of Data Science, Clemens-Alexander Brust German Aerospace Center (DLR), Andreas Zeller CISPA Helmholtz Center for Information Security
14:40 20m Talk		MendelFuzz: The Return of the Deterministic Stage Research Papers Han Zheng EPFL, Flavio Toffalini EPFL, Switzerland and Ruhr-Universität Bochum, Germany, Marcel Böhme MPI for Security and Privacy, Mathias Payer EPFL DOI
15:00 10m Talk		PeachCI: Scalable Continuous Integration of Generation-Based Protocol Fuzzing Demonstrations Wanli Chen Central South University, Yuanliang Chen Tsinghua University, Fuchen Ma Tsinghua University, Ruikang Peng Central South University, Qi Xu Tsinghua University, Yu Jiang Tsinghua University, Qiang Fu Central South University, Heyuan Shi Central South University
15:10 10m Talk		Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Python Support for EvoMaster Demonstrations Andrea Arcuri Kristiania University of Applied Sciences, Philip Garrett Kristiania University of Applied Sciences, Juan Pablo Galeotti University of Buenos Aires, Man Zhang Beihang University, China

14:00 - 15:20	LLM for SE 1Ideas, Visions and Reflections / Research Papers / Industry Papers / Demonstrations at Cosmos Hall Chair(s): Chao Peng ByteDance

14:00 10m Talk		Teamwork makes the dream work: LLMs-Based Agents for GitHub README.MD Summarization Ideas, Visions and Reflections Duc S. H. Nguyen Hanoi University of Science and Technology, Bach G. Truong Hanoi University of Science and Technology, Phuong T. Nguyen University of L’Aquila, Juri Di Rocco University of L'Aquila, Davide Di Ruscio University of L'Aquila Pre-print
14:10 20m Talk		A Knowledge Enhanced Large Language Model for Bug Localization Research Papers Yue Li Nanjing University, Bohan Liu Nanjing University, Ting Zhang Singapore Management University, Zhiqi Wang Nanjing University, David Lo Singapore Management University, Lanxin Yang Nanjing University, Jun Lyu Nanjing University, He Zhang Nanjing University DOI
14:30 10m Talk		A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models Demonstrations Changshu Liu University of Illinois at Urbana-Champaign, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign Pre-print Media Attached
14:40 20m Talk		TickIt: Leveraging Large Language Models for Automated Ticket Escalation Industry Papers Fengrui Liu ByteDance, Xiao He Bytedance, Tieying Zhang ByteDance, Jianjun Chen Bytedance, Yi Li Nanyang Technological University, Lihua Yi Bytedance, Haipeng Zhang Bytedance, Gang Wu Bytedance, Rui Shi Bytedance
15:00 20m Talk		Natural Language Outlines for Code: Literate Programming in the LLM Era Industry Papers Kensen Shi Google DeepMind, Deniz Altinbuken Google, Saswat Anand Google, Mihai Christodorescu Google, Katja Grünwedel Google, Alexa Koenings Google, Sai Naidu Google, Anurag Pathak Google, Marc Rasi Google, Fredde Ribeiro Google, Brandon Ruffin Google, Siddhant Sanyam Google, Maxim Tabachnyk Google, Sara Toth Google, Roy Tu Google, Tobias Welp Google, Pengcheng Yin Google, Manzil Zaheer Google, Satish Chandra Google, Inc, Charles Sutton Google Research

14:00 - 15:30	BugsResearch Papers / Industry Papers / Ideas, Visions and Reflections at Pirsenteret 150 Chair(s): Ying Zou Queen's University, Kingston, Ontario

14:00 20m Talk		Dissecting Real-World Cross-Language Bugs Research Papers Haoran Yang Washington State University, Haipeng Cai University at Buffalo, SUNY DOI
14:20 20m Talk		Towards Understanding Fine-Grained Programming Mistakes and Fixing Patterns in Data Science Research Papers Weihao Chen Purdue University, Jia Lin Cheoh Purdue University, Manthan Keim Purdue University, Sabine Brunswicker Purdue University, Tianyi Zhang Purdue University DOI
14:40 20m Talk		Error Delayed is Not Error Handled: Understanding and Fixing Propagated Error-Handling Bugs Research Papers Haoran Liu National University of Defense Technology, Shanshan Li National University of Defense Technology, Zhouyang Jia National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Linxiao Bai National University of Defense Technology, Si Zheng National University of Defense Technology, Xiaoguang Mao National University of Defense Technology, Liao Xiangke National University of Defense Technology DOI
15:00 10m Talk		“Silent Is Not Actually Silent”: An Investigation of Toxicity on Bug Report Discussion Ideas, Visions and Reflections Mia Mohammad Imran Missouri University of Science and Technology, Jaydeb Sarker University of Nebraska at Omaha Pre-print
15:10 20m Talk		Behind the Hot Fix: Demystifying Hot Fixing Industrial Practices at Zühlke and Beyond Industry Papers Carol Hanna University College London, David Elliman Zuhlke Engineering Ltd, Wolfgang Emmerich Zuhlke Engineering Ltd, Federica Sarro University College London, Justyna Petke University College London

16:00 - 18:00	RepairsResearch Papers / Journal First at Andromeda Chair(s): Michael Pradel University of Stuttgart

16:00 20m Talk		HornBro: Homotopy-like Method for Automated Quantum Program Repair Research Papers Siwei Tan Zhejiang University, Liqiang Lu Zhejiang University, Debin Xiang Zhejiang University, Tianyao Chu Zhejiang University, Congliang Lang Zhejiang University, Jintao Chen Zhejiang University, Xing Hu Zhejiang University, Jianwei Yin Zhejiang University DOI
16:20 20m Talk		RePurr: Automated Repair of Block-Based Learners' Programs Research Papers Sebastian Schweikl University of Passau, Gordon Fraser University of Passau DOI
16:40 20m Talk		Demystifying Memorization in LLM-based Program Repair via a General Hypothesis Testing Framework Research Papers Jiaolong Kong Singapore Management University, Xiaofei Xie Singapore Management University, Shangqing Liu Nanyang Technological University DOI
17:00 20m Talk		IRepair: An Intent-Aware Approach to Repair Data-Driven Errors in Large Language Models Research Papers Sayem Mohammad Imtiaz Iowa State University, Astha Singh Dept. of Computer Science, Iowa State University, Fraol Batole Tulane University, Hridesh Rajan Tulane University DOI
17:20 20m Talk		Repairs and Breaks Prediction for Deep Neural Networks Journal First Yuta Ishimoto Kyushu University, Masanari Kondo Kyushu University, Lei Ma The University of Tokyo & University of Alberta, Naoyasu Ubayashi Waseda University, Yasutaka Kamei Kyushu University
17:40 20m Talk		Element-Based Automated DNN Repair with Fine-Tuned Masked Language Model Research Papers Xu Wang Beihang University; Zhongguancun Laboratory; Ministry of Education, Mingming Zhang Beihang University, Xiangxin Meng Beihang University, Jian Zhang Nanyang Technological University, Yang Liu Nanyang Technological University, Chunming Hu Beihang University DOI

16:00 - 18:00	Mobile AppsIdeas, Visions and Reflections / Industry Papers / Demonstrations / Research Papers / Journal First at Aurora A Chair(s): Kelly Blincoe University of Auckland

16:00 10m Talk		DynDebloater: Dynamically Debloating Unwanted Features of Android Apps without APK Modification Demonstrations Zicheng Zhang School of Computing and Information Systems, Singapore Management University, Jiakun Liu Singapore Management University, Ferdian Thung Singapore Management University, Xing Hu Zhejiang University, Wei Minn Singapore Management University, Yan Naing Tun Singapore Management University, Lwin Khin Shar Singapore Management University, David Lo Singapore Management University, Debin Gao Singapore Management University
16:10 20m Talk		HapRepair: Learn to Repair OpenHarmony Apps Industry Papers Zhihao Lin , Mingyi Zhou Beihang University, Wei Ma , chichen , Yun Yang Yunnan University, Jun Wang Post Luxembourg, Chunming Hu Beihang University, Li Li Beihang University
16:30 20m Talk		Are iOS Apps Immune to Abusive Advertising Practices? Industry Papers Tianming Liu Monash Univerisity, Jiapeng Deng Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xiao Chen University of Newcastle, Xiaoning Du Monash University, Li Li Beihang University, Haoyu Wang Huazhong University of Science and Technology
16:50 10m Talk		Toward LLM-Driven GDPR Compliance Checking for Android Apps Ideas, Visions and Reflections Marco Alecci University of Luxembourg, Nicolas Sannier University of Luxembourg, SnT, Marcello Ceci University of Luxembourg, Sallam Abualhaija University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg, Domenico Bianculli University of Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
17:00 20m Talk		MiniScope: Automated UI Exploration and Privacy Inconsistency Detection of MiniApps via Two-phase Iterative Hybrid Analysis Journal First Shenao Wang Huazhong University of Science and Technology, Yuekang Li UNSW, Kailong Wang Huazhong University of Science and Technology, Yi Liu Nanyang Technological University, Hui Li Samsung Electronics (China) R&D Centre, Yang Liu Nanyang Technological University, Haoyu Wang Huazhong University of Science and Technology
17:20 20m Talk		Temporal-Incremental Learning for Android Malware Detection Journal First Tiezhu Sun University of Luxembourg, Nadia Daoudi Luxembourg Institute of Science and Technology, Weiguo Pian University of Luxembourg, Kisub Kim Singapore Management University, Singapore, Kevin Allix Independent Researcher, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
17:40 20m Talk		Mitigating Emergent Malware Label Noise in DNN-Based Android Malware Detection Research Papers haodong li Beijing University of Posts and Telecommunications, Xiao Cheng UNSW, Guohan Zhang Beijing University of Posts and Telecommunications, Guosheng Xu Beijing University of Posts and Telecommunications, Guoai Xu Harbin Institute of Technology, Shenzhen, Haoyu Wang Huazhong University of Science and Technology DOI

16:00 - 18:00	MSR 1Industry Papers / Ideas, Visions and Reflections / Research Papers / Journal First at Aurora B Chair(s): Andrew Begel Carnegie Mellon University

16:00 20m Talk		On Refining the SZZ Algorithm with Bug Discussion Data Journal First Pooja Rani University of Zurich, Fernando Petrulio University of Zurich, Alberto Bacchelli University of Zurich
16:20 20m Talk		SemBIC: Semantic-aware Identification of Bug-inducing Commits Research Papers Xiao Chen The Hong Kong University of Science and Technology, Hengcheng Zhu The Hong Kong University of Science and Technology, Jialun Cao Hong Kong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology DOI
16:40 20m Talk		Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel Journal First Yunbo Lyu Singapore Management University, Hong Jin Kang University of Sydney, Ratnadira Widyasari Singapore Management University, Singapore, Julia Lawall Inria, David Lo Singapore Management University
17:00 10m Talk		HyperSeq: A Hyper-Adaptive Representation for Predictive Sequencing of States Ideas, Visions and Reflections Roham Koohestani Delft University of Technology, Maliheh Izadi Delft University of Technology
17:10 10m Talk		LLMs for Defect Prediction in Evolving Datasets: Emerging Results and Future Directions Ideas, Visions and Reflections Umamaheswara Sharma B National Institute of Technology, Calicut, Farhan Chonari National Institute of Technology Calicut, Gokul K Anilkumar National Institute of Technology Calicut, Saikiran Konchada National Institute of Technology Calicut
17:20 20m Talk		ROSE LCOM Tools Industry Papers Kenneth Lamar University of Central Florida, Peter Pirkelbauer Lawrence Livermore National Laboratory, Zachary Painter University of Central Florida, Damian Dechev University of Central Florida

16:00 - 18:00	Testing 2Journal First / Research Papers at Cosmos 3A Chair(s): Miryung Kim UCLA and Amazon Web Services

16:00 20m Talk		Search-based DNN Testing and Retraining with GAN-enhanced Simulations Journal First Mohammed Attaoui University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
16:20 20m Talk		TEASMA: A Practical Methodology for Test Adequacy Assessment of Deep Neural Networks Journal First 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
16:40 20m Talk		VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation Research Papers Zhijie Wang University of Alberta, Zhehua Zhou University of Alberta, Canada, Jiayang Song University of Alberta, Yuheng Huang The University of Tokyo, Zhan Shu University of Alberta, Lei Ma The University of Tokyo & University of Alberta DOI Pre-print
17:00 20m Talk		DRWASI: LLM-assisted Differential Testing for WebAssembly System Interface Implementations Journal First Yixuan Zhang Peking University, Ningyu He Hong Kong Polytechnic University, Jianting Gao Huazhong University of Science and Technology, Shangtong Cao Beijing University of Posts and Telecommunications, Kaibo Liu Peking University, Haoyu Wang Huazhong University of Science and Technology, Yun Ma Peking University, Gang Huang Peking University, Xuanzhe Liu Peking University
17:20 20m Talk		MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases Journal First Congying Xu The Hong Kong University of Science and Technology, China, Valerio Terragni University of Auckland, Hengcheng Zhu The Hong Kong University of Science and Technology, Jiarong Wu , Shing-Chi Cheung Hong Kong University of Science and Technology
17:40 20m Talk		UnitCon: Synthesizing Targeted Unit Tests for Java Runtime Exceptions Research Papers Sujin Jang KAIST, Yeonhee Ryou KAIST, Heewon Lee KAIST, Korea, South (The Republic of), Kihong Heo KAIST DOI

16:00 - 17:50	Code Generation 1Industry Papers / Demonstrations / Research Papers / Journal First at Cosmos 3C Chair(s): Zhongxin Liu Zhejiang University

16:00 20m Talk		How Do Programming Students Use Generative AI? Research Papers Christian Rahe University of Hamburg, Walid Maalej University of Hamburg DOI Pre-print
16:20 20m Talk		Towards Mitigating API Hallucination in Code Generated by LLMs with Hierarchical Dependency Aware Industry Papers Yujia Chen Harbin Institute of Technology, Shenzhen, Mingyu Chen Harbin Institute of Technology, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Zhihan Jiang Huawei Cloud Computing Technologies Co., Ltd., Zhongqi Li Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies
16:40 10m Talk		CoSEFA: An LLM-Based Programming Assistant for Secure Code Generation via Supervised Co-Decoding Demonstrations Xuan He Chongqing University, Dong Li Chongqing University, Hao Wen CloudWalk Technology Co., Ltd, Yueheng Zhu Chongqing University, Chao Liu Chongqing University, Meng Yan Chongqing University, Hongyu Zhang Chongqing University
16:50 20m Talk		DeclarUI: Bridging Design and Development with Automated Declarative UI Code Generation Research Papers Ting Zhou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Xiaoyu Sun Australian National University, Australia, Kai Chen Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology DOI
17:10 20m Talk		RAG or Fine-tuning? A Comparative Study on LCMs-based Code Completion in Industry Industry Papers Chaozheng Wang The Chinese University of Hong Kong, Zezhou Yang Tencent Inc., Shuzheng Gao Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Ting Peng Tencent Inc., Hailiang Huang Tencent Inc., Yuetang Deng Tencent, Michael Lyu Chinese University of Hong Kong
17:30 20m Talk		Automated Code Editing with Search-Generate-Modify Journal First Changshu Liu Columbia University, Pelin Cetin Columbia University, Yogesh Patodia Columbia University, Baishakhi Ray Columbia University, Saikat Chakraborty Microsoft Research, Yangruibo Ding Columbia University Pre-print Media Attached File Attached

16:00 - 18:00	SE and AI 1Research Papers / Journal First / Ideas, Visions and Reflections / Demonstrations at Cosmos Hall Chair(s): Yuchao Jiang UNSW

16:00 10m Talk		Learning to Edit Interactive Machine Learning Notebooks Ideas, Visions and Reflections Bihui Jin University of Waterloo, Jiayue Wang University of Waterloo, Pengyu Nie University of Waterloo
16:10 20m Talk		Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions Research Papers Shaila Sharmin Iowa State University, Anwar Hossain Zahid Iowa State University, Subhankar Bhattacharjee Iowa State University, Chiamaka Igwilo Iowa State University, Miryung Kim UCLA and Amazon Web Services, Wei Le Iowa State University DOI
16:30 20m Talk		Mitigating Regression Faults Induced by Feature Evolution in Deep Learning Systems Journal First Hanmo You Tianjin University, Zan Wang Tianjin University, Xuyang Chen College of Intelligence and Computing, Tianjin University, Junjie Chen Tianjin University, Jun Sun Singapore Management University, Shuang Liu Renmin University of China, Zishuo Dong College of Intelligence and Computing, Tianjin University
16:50 10m Talk		ClusterXplain: a Clustering-based Tool for DNN components Debugging Demonstrations Mohammed Attaoui University of Luxembourg, Fabrizio Pastore University of Luxembourg
17:00 10m Talk		Capturing Semantic Flow of ML-based Systems Ideas, Visions and Reflections Shin Yoo KAIST, Robert Feldt Chalmers \| University of Gothenburg, Somin Kim Korea Advanced Institute of Science and Technology, Naryeong Kim Korea Advanced Institute of Science and Technology
17:10 20m Talk		Has My Code Been Stolen for Model Training? A Naturalness Based Approach to Code Contamination Detection Research Papers Haris Ali Khan Beijing Institute of Technology, Yanjie Jiang Peking University, Qasim Umer Information and Computer Science Department, King Fahd University of Petroleum & Minerals (KFUPM), Dhahran 31261, Saudi Arabia, Yuxia Zhang Beijing Institute of Technology, Waseem Akram Beijing Institute of Technology, Hui Liu Beijing Institute of Technology DOI
17:30 20m Talk		AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation Research Papers Ali Reza Ibrahimzada University of Illinois Urbana-Champaign, Kaiyao Ke University of Illinois Urbana-Champaign, Mrigank Pawagi Indian Institute of Science, Bengaluru, Muhammad Salman Abid Cornell University, Rangeet Pan IBM Research, Saurabh Sinha IBM Research, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign DOI Pre-print Media Attached
17:50 10m Talk		Can Hessian-Based Insights Support Fault Diagnosis in Attention-based Models? Ideas, Visions and Reflections Sigma Jahan Dalhousie University, Masud Rahman Dalhousie University

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Architecture, Services, and CloudIndustry Papers / Demonstrations / Research Papers / Ideas, Visions and Reflections at Andromeda Chair(s): Paris Avgeriou University of Groningen, The Netherlands

10:30 10m Talk		Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design Ideas, Visions and Reflections Yiran Zhang , Ruiyin Li Wuhan University, China; University of Groningen, The Netherlands, Peng Liang Wuhan University, China, Weisong Sun Nanyang Technological University, Yang Liu Nanyang Technological University
10:40 10m Talk		Designing for Scalability: Building a Universal Serverless Messaging Architecture with Apache RocketMQ Industry Papers Juntao Ji Alibaba Cloud Computing Co. Ltd., Yubao Fu Alibaba Cloud Computing Co. Ltd., Rongtong Jin Alibaba Cloud Computing Co. Ltd., Qingshan Lin Alibaba Cloud Computing Co. Ltd.
10:50 20m Talk		A Multimodal Intelligent Change Assessment Framework for Microservice Systems Based on Large Language Models Industry Papers Yongqian Sun Nankai University, zhengtinghua Nankai university, Xidao Wen BizSeer, Weihua Kuang Nankai university, Heng Liu CHINA TIANCHEN ENGINEERING CORPORATION LTD., Shenglin Zhang Nankai University, Chao Shen Nankai University, Bo Wu Tencent Technologies, Dan Pei Tsinghua University
11:10 20m Talk		TracePicker: Optimization-based Trace Sampling for Microservice-based Systems Research Papers Shuaiyu Xie School of Computer Science, Wuhan University, China, Jian Wang Wuhan University, Maodong Li School of Computer Science, Wuhan University, China, Peiran Chen School of Computer Science, Wuhan University, China, Jifeng Xuan Wuhan University, Bing Li Wuhan University DOI
11:30 10m Talk		Analyzing Evolution of Microservice-based Systems Demonstrations Tomas Cerny University of Arizona, Gabriel Goulis University of Arizona, Samanta Perry University of Arizona, Malia Edmonds University of Arizona, Amr Elsayed The University of Arizona, Matteo Esposito University of Oulu, Alexander Bakhtin University of Oulu, Valentina Lenarduzzi University of Oulu, Davide Taibi University of Oulu
11:40 20m Talk		SemServGen: Advancing Industrial Domain-Specific Language Engineering through Semantic Service Generation Industry Papers Yong Wang Beihang University, Ning Ge School of Software, Beihang University, Jingyao Li Beihang University, Loulin Wang Beihang University, Guangyu Zhou Huawei, Chengrui Deng Huawei, Li Zhang Beihang University, Chunming Hu Beihang University
12:00 10m Talk		CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems Demonstrations Sarah Sohana Rogers Communications Canada Inc., Toronto, Canada, William Pourmajidi Toronto Metropolitan University, Toronto, Canada, John Steinbacher IBM, Andriy Miranskyy Toronto Metropolitan University (formerly Ryerson University) DOI Pre-print
12:10 20m Talk		Te-PID: An Adaptive Erasure Coding Temperature Management System for Optimized Cloud Storage Industry Papers Pei Xiao Peking University, Lu Wang Microsoft Research, Fangkai Yang Microsoft Research, Guoqing Geng Microsoft, Haoran Li Microsoft, Jeff Zhu Microsoft, Yu Kang Microsoft Research, Yifan Li Microsoft, Terry Chen Microsoft, Yue Chen Microsoft, Saravan Rajmohan Microsoft 365, Qi Zhang Microsoft

10:30 - 12:20	Code Review, Build, and ReleaseIdeas, Visions and Reflections / Industry Papers / Demonstrations / Research Papers / Journal First at Aurora A Chair(s): Peter Rigby Concordia University; Meta

10:30 10m Talk		From Overload to Insight: Bridging Code Search and Code Review with LLMs Ideas, Visions and Reflections Nikitha Rao Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University, Reid Holmes University of British Columbia
10:40 20m Talk		Explaining Explanations: An Empirical Study of Explanations in Code Reviews Journal First Ratnadira Widyasari Singapore Management University, Singapore, Ting Zhang Singapore Management University, Abir Bouraffa University of Hamburg, Walid Maalej University of Hamburg, David Lo Singapore Management University
11:00 10m Talk		Support, Not Automation: Towards AI-supported Code Review for Code Quality and Beyond Ideas, Visions and Reflections Lo Heander Lund University, Emma Söderberg Lund University, Christofer Rydenfält Lund University
11:10 20m Talk		BitsAI-CR: Automated Code Review via LLM in Practice Industry Papers Tao Sun Beihang University, Jian Xu ByteDance, Yuanpeng Li ByteDance, Zhao Yan ByteDance, Ge Zhang ByteDance, Lintao Xie ByteDance, Lu Geng ByteDance, Zheng Wang University of Leeds, Yueyan Chen ByteDance, Qin Lin ByteDance, Wenbo Duan ByteDance, Kaixin Sui ByteDance, Yuanshuo Zhu ByteDance
11:30 10m Talk		Visualising Developer Interactions in Code Reviews Demonstrations Daniel Bee Royal Holloway, University of London, DongGyun Han Royal Holloway, University of London
11:40 20m Talk		CXXCrafter: An LLM-Based Agent for Automated C/C++ Open Source Software Building Research Papers Zhengmin Yu Fudan University, Yuan Zhang Fudan University, Ming Wen Huazhong University of Science and Technology, Yinan Nie Fudan University, Zhang Wenhui Fudan University, Min Yang Fudan University DOI
12:00 20m Talk		SmartNote: An LLM-Powered, Personalised Release Note Generator That Just Works Research Papers Farbod Daneshyan Peking University, Runzhi He Peking University, Jianyu Wu Peking University, Minghui Zhou Peking University DOI

10:30 - 12:30	SecurityJournal First / Research Papers / Industry Papers at Aurora B Chair(s): Zhenchang Xing CSIRO’s Data61; Australian National University

10:30 20m Talk		Come for Syntax, Stay for Speed, Write Secure Code: An Empirical Study of Security Weaknesses in Julia Programs Journal First Yue Zhang Auburn University, Justin Murphy Tennessee Tech University, Akond Rahman Auburn University
10:50 20m Talk		AIM: Automated Input Set Minimization for Metamorphic Security Testing Journal First Nazanin Bayati Chaleshtari University of Ottawa, Yoann Marquer University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
11:10 20m Talk		Understanding Industry Perspectives of Static Application Security Testing (SAST) Evaluation Research Papers Yuan Li Zhejiang University, Peisen Yao Zhejiang University, Kan Yu Ant Group, Chengpeng Wang Hong Kong University of Science and Technology, Yaoyang Ye Zhejiang University, Song Li The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Meng Luo The State Key Laboratory of Blockchain and Data Security, Zhejiang University, Yepang Liu Southern University of Science and Technology, Kui Ren Zhejiang University DOI
11:30 20m Talk		Efficient and Robust Security-Patch Localization for Disclosed OSS Vulnerabilities with Fine-Tuned LLMs in an Industrial Setting Industry Papers Dezhi Ran Peking University, Lin Li Huawei Cloud Computing Technologies Co., Ltd., Liuchuan Zhu Huawei Cloud Computing Technologies Co., Ltd., Yuan Cao Peking University, Landelong Zhao Huawei Cloud Computing Technologies Co., Ltd., Xin Tan Beihang University, Guangtai Liang Huawei Cloud Computing Technologies, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University
11:50 20m Talk		It’s Acting Odd! Exploring Equivocal Behaviors of Goodware Research Papers Gregorio Dalia University of Sannio, Andrea Di Sorbo University of Sannio, Corrado A. Visaggio University of Sannio, Italy, Gerardo Canfora University of Sannio DOI
12:10 20m Talk		On the Unnecessary Complexity of Names in X.509 and Their Impact on Implementations Research Papers Yuteng Sun The Chinese University of Hong Kong, Joyanta Debnath Stony Brook University, Wenzheng Hong Independent, Omar Chowdhury Stony Brook University, Sze Yiu Chau The Chinese University of Hong Kong DOI

10:30 - 12:30	Verification and ValidationDemonstrations / Ideas, Visions and Reflections / Research Papers / Journal First at Cosmos 3A Chair(s): Alex Orso Georgia Institute of Technology

10:30 10m Talk		TraceMOP: An Explicit-Trace Runtime Verification Tool for Java Demonstrations Kevin Guan Cornell University, Owolabi Legunsen Cornell University
10:40 10m Talk		VO-GCSE: Verification Optimization through Global Common Subexpression Elimination Demonstrations Rafael Menezes University of Manchester, Norbert Tihanyi Technology Innovation Institute, Ridhi Jain Technology Innovation Institute (TII), Abu Dhabi, UAE, Alexander Levin Nvidia, Rosiane de Freitas Federal University of Amazonas, Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil
10:50 10m Talk		GIVUP: Automated Generation and Verification of Textual Process Descriptions Demonstrations Quentin Nivon University Grenoble Alpes, Gwen Salaün University of Grenoble Alpes, Frederic Lang Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, Grenoble, France
11:00 10m Talk		NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS Ideas, Visions and Reflections Xi Zheng Macquarie University, Ziyang Li University of Pennsylvania, Ivan Ruchkin University of Florida, Ruzica Piskac Yale University, Miroslav Pajic Duke University
11:10 20m Talk		Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems Research Papers Trey Woodlief University of Virginia, United States, Felipe Toledo , Matthew B Dwyer University of Virginia, Sebastian Elbaum University of Virginia DOI
11:30 20m Talk		QSF: Multi-Objective Optimization based Efficient Solving for Floating-Point Constraints Research Papers Xu Yang College of Computer Science and Technology, National University of Defense Technology, Zhenbang Chen College of Computer, National University of Defense Technology, Wei Dong National University of Defense Technology, Ji Wang National University of Defense Technology DOI
11:50 20m Talk		Consistent Local-First Software: Enforcing Safety and Invariants for Local-First Applications Journal First Mirko Köhler TU Darmstadt, George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
12:10 20m Talk		ChangeGuard: Validating Code Changes via Pairwise Learning-Guided Execution Research Papers Lars Gröninger University of Stuttgart, Beatriz Souza Universität Stuttgart, Michael Pradel University of Stuttgart DOI

10:30 - 12:30	SE for LLMJournal First / Industry Papers / Demonstrations / Research Papers / Ideas, Visions and Reflections at Cosmos 3C Chair(s): Hongyu Zhang Chongqing University

10:30 10m Talk		Enhancing Code LLM Training with Programmer Attention Ideas, Visions and Reflections Yifan Zhang Vanderbilt University, Chen Huang Sichuan University, Zachary Karas Vanderbilt University, Thuy Dung Nguyen Vanderbilt University, Kevin Leach Vanderbilt University, Yu Huang Vanderbilt University
10:40 20m Talk		Risk Assessment Framework for Code LLMs via Leveraging Internal States Industry Papers Yuheng Huang The University of Tokyo, Lei Ma The University of Tokyo & University of Alberta, Keizaburo Nishikino Fujitsu Limited, Takumi Akazaki Fujitsu Limited
11:00 20m Talk		An Empirical Study of Issues in Large Language Model Training Systems Industry Papers Yanjie Gao Microsoft Research, Ruiming Lu Shanghai Jiao Tong University, Haoxiang Lin Microsoft Research, Yueguo Chen Renmin University of China
11:20 20m Talk		Look Before You Leap: An Exploratory Study of Uncertainty Analysis for Large Language Models Journal First Yuheng Huang The University of Tokyo, Jiayang Song University of Alberta, Zhijie Wang University of Alberta, Shengming Zhao University of Alberta, Huaming Chen The University of Sydney, Felix Juefei-Xu New York University, Lei Ma The University of Tokyo & University of Alberta Link to publication DOI Pre-print
11:40 10m Talk		EvidenceBot: A Privacy-Preserving, Customizable RAG-Based Tool for Enhancing Large Language Model Interactions Demonstrations Nafiz Imtiaz Khan Department of Computer Science, University of California, Davis, Vladimir Filkov University of California at Davis, USA
11:50 20m Talk		OpsEval: A Comprehensive Benchmark Suite for Evaluating Large Language Models’ Capability in IT Operations Domain Industry Papers Yuhe Liu Tsinghua University, Changhua Pei Computer Network Information Center at Chinese Academy of Sciences, Longlong Xu Tsinghua University, Bohan Chen Tsinghua University, Mingze Sun Tsinghua University, Zhirui Zhang Beijing University of Posts and Telecommunications, Yongqian Sun Nankai University, Shenglin Zhang Nankai University, Kun Wang Zhejiang University, Haiming Zhang Chinese Academy of Sciences, Jianhui Li Computer Network Information Center at Chinese Academy of Sciences, Gaogang Xie Computer Network Information Center at Chinese Academy of Sciences, Xidao Wen BizSeer, Xiaohui Nie Computer Network Information Center at Chinese Academy of Sciences, Minghua Ma Microsoft, Dan Pei Tsinghua University
12:10 20m Talk		Hallucination Detection in Large Language Models with Metamorphic Relations Research Papers Borui Yang Beijing University of Posts ad Telecommunications, Md Afif Al Mamun University of Calgary, Jie M. Zhang King's College London, Gias Uddin York University, Canada DOI

10:30 - 12:30	Code Generation 2Research Papers / Journal First at Cosmos Hall Chair(s): Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign

10:30 20m Talk		An Empirical Study of the Non-determinism of ChatGPT in Code Generation Journal First Shuyin Ouyang King's College London, Jie M. Zhang King's College London, Mark Harman Meta Platforms, Inc. and UCL, Meng Wang University of Bristol
10:50 20m Talk		Don’t Complete It! Preventing Unhelpful Code Completion for Productive and Sustainable Neural Code Completion Systems Journal First Zhensu Sun Singapore Management University, Xiaoning Du Monash University, Fu Song Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology, Shangwen Wang National University of Defense Technology, Mingze Ni University of Technology Sydney, Li Li Beihang University, David Lo Singapore Management University
11:10 20m Talk		Divide-and-Conquer: Generating UI Code from Screenshots Research Papers Yuxuan Wan The Chinese University of Hong Kong, Chaozheng Wang The Chinese University of Hong Kong, Yi Dong The Chinese University of Hong Kong, Wenxuan Wang Chinese University of Hong Kong, Shuqing Li The Chinese University of Hong Kong, Yintong Huo Singapore Management University, Michael Lyu Chinese University of Hong Kong DOI
11:30 20m Talk		LLM-based Method Name Suggestion with Automatically Generated Context-Rich Prompts Research Papers Waseem Akram Beijing Institute of Technology, Yanjie Jiang Peking University, Yuxia Zhang Beijing Institute of Technology, Haris Ali Khan Beijing Institute of Technology, Hui Liu Beijing Institute of Technology DOI
11:50 20m Talk		Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models Research Papers Yanlin Wang Sun Yat-sen University, Tianyue Jiang Sun Yat-sen University, Mingwei Liu Sun Yat-Sen University, Jiachi Chen Sun Yat-sen University, Mingzhi Mao Sun Yat-sen University, Xilin Liu Huawei Cloud, Yuchi Ma Huawei Cloud Computing Technologies, Zibin Zheng Sun Yat-sen University DOI
12:10 20m Talk		Refining ChatGPT-Generated Code: Characterizing and Mitigating Code Quality Issues Journal First Yue Liu Monash University, Le-Cong Thanh The University of Melbourne, Ratnadira Widyasari Singapore Management University, Singapore, Kla Tantithamthavorn Monash University, Li Li Beihang University, Xuan-Bach D. Le University of Melbourne, David Lo Singapore Management University

10:30 - 12:30	Vulnerability 2Research Papers / Demonstrations at Pirsenteret 150 Chair(s): Xiaoxue Ren Zhejiang University

10:30 20m Talk		Statement-level Adversarial Attack on Vulnerability Detection Models via Out-Of-Distribution Features Research Papers Xiaohu Du Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Haoyu Wang , Zichao Wei Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology DOI
10:50 20m Talk		Large Language Models for In-File Vulnerability Localization can be “Lost in the End” Research Papers Francesco Sovrano Collegium Helveticum, ETH Zurich, Switzerland; Department of Informatics, University of Zurich, Switzerland, Adam Bauer University of Zurich, Alberto Bacchelli University of Zurich DOI
11:10 20m Talk		One-for-All Does Not Work! Enhancing Vulnerability Detection by Mixture-of-Experts (MoE) Research Papers Xu Yang University of Manitoba, Shaowei Wang University of Manitoba, Jiayuan Zhou Huawei, Wenhan Zhu Huawei Canada DOI
11:30 20m Talk		Gleipner: A Benchmark for Gadget Chain Detection in Java Deserialization Vulnerabilities Research Papers Bruno Kreyssig Umeå University, Alexandre Bartel Umeå University DOI
11:50 10m Talk		BinPool: A Dataset of Vulnerabilities for Binary Security Analysis Demonstrations Sima Arasteh University of Southern California, Georgios Nikitopoulos Dartmouth College, University of Thessaly, Wei-Cheng Wu Dartmouth College, Nicolaas Weideman USC Information Sciences Institute, Aaron Portnoy Dartmouth College, Mukund Raghothaman University of Southern California, Christophe Hauser Dartmouth College
12:00 20m Talk		Today's cat is tomorrow's dog: accounting for time-based changes in the labels of ML vulnerability detection approaches Research Papers Ranindya Paramitha University of Trento, Yuan Feng , Fabio Massacci University of Trento; Vrije Universiteit Amsterdam DOI Pre-print
12:20 10m Talk		KAVe: A Tool to Detect XSS and SQLi Vulnerabilities using a Multi-Agent System over a Multi-Layer Knowledge Graph Demonstrations Rafael Ramires LASIGE, DI, Faculdade de Ciencias da Universidade de Lisboa, Ana Respício LASIGE, DI, Faculdade de Ciencias da Universidade de Lisboa, Ibéria Medeiros LaSIGE, Faculdade de Ciências da Universidade de Lisboa, Mike Papadakis University of Luxembourg

10:30 - 12:20	Blockchain and Smart ContractIdeas, Visions and Reflections / Research Papers at Vega Chair(s): Cuiyun Gao Harbin Institute of Technology, Shenzhen

10:30 10m Talk		SmartShift: A Secure and Efficient Approach to Smart Contract Migration Ideas, Visions and Reflections Tahrim Hossain Syracuse University, Faisal Haque Bappy Syracuse University, Tarannum Shaila Zaman University of Maryland Baltimore County, Raiful Hasan Kent State University, Tariqul Islam Syracuse University
10:40 20m Talk		LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts Research Papers Shoupeng Ren Zhejiang University, Lipeng He University of Waterloo, Tianyu Tu Zhejiang University, Di Wu Zhejiang University, Jian Liu Zhejiang University, Kui Ren Zhejiang University, Chun Chen Zhejiang University DOI Pre-print
11:00 20m Talk		SmartShot: Hunt Hidden Vulnerabilities in Smart Contracts using Mutable Snapshots Research Papers Ruichao Liang Wuhan University, Jing Chen Wuhan University, Ruochen Cao Wuhan University, Kun He Wuhan University, Ruiying Du Wuhan University, Shuhua Li Wuhan University, Zheng Lin University of Hong Kong, Cong Wu Wuhan University DOI
11:20 20m Talk		Automated and Accurate Token Transfer Identification and Its Applications in Cryptocurrency Security Research Papers Shuwei Song University of Electronic Science and Technology of China, Ting Chen University of Electronic Science and Technology of China, Ao Qiao University of Electronic Science and Technology of China, Xiapu Luo Hong Kong Polytechnic University, Leqing Wang University of Electronic Science and Technology of China, Zheyuan He University of Electronic Science and Technology of China, Ting Wang Penn State University, Xiaodong Lin University of Guelph, Peng He University of Electronic Science and Technology of China, Wensheng Zhang University of Electronic Science and Technology of China, Xiaosong Zhang University of Electronic Science and Technology of China DOI
11:40 20m Talk		Detecting Smart Contract State-Inconsistency Bugs via Flow Divergence and Multiplex Symbolic Execution Research Papers Yinxi Liu Rochester Institute of Technology, Wei Meng Chinese University of Hong Kong, Yinqian Zhang Southern University of Science and Technology DOI
12:00 20m Talk		Smart Contract Fuzzing Towards Profitable Vulnerabilities Research Papers Ziqiao Kong Nanyang Technological University, Cen Zhang Nanyang Technological University, Maoyi Xie Nanyang Technological University, Ming Hu Singapore Management University, Yue Xue MetaTrust Labs, Ye Liu Singapore Management University, Haijun Wang Xi'an Jiaotong University, Yang Liu Nanyang Technological University DOI Pre-print File Attached

14:00 - 15:30	UI TestingResearch Papers / Journal First / Industry Papers at Andromeda Chair(s): Chunyang Chen TU Munich

14:00 10m Talk		ProphetAgent: Automatically Synthesizing GUI Tests from Test Cases in Natural Language for Mobile Apps Industry Papers Qichao Kong ByteDance, Zhengwei Lv ByteDance, Yiheng Xiong East China Normal University, Jingling Sun University of Electronic Science and Technology of China, Ting Su East China Normal University, Dingchun Wang ByteDance Ltd, Beijing, China, Letao Li ByteDance Ltd, Beijing, China, Xu Yang ByteDance, Gang Huo ByteDance
14:10 20m Talk		Standing on the Shoulders of Giants: Bug-Aware Automated GUI Testing via Retrieval Augmentation 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 University of Chinese Academy of Sciences, Beijing, China, Jun Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences DOI
14:30 20m Talk		A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Settings Research Papers Shaoheng Cao Nanjing University, Renyi Chen Samsung Electronics（China）R&D Centre, Wenhua Yang Nanjing University of Aeronautics and Astronautics, Minxue Pan Nanjing University, Xuandong Li Nanjing University DOI
14:50 20m Talk		Non-Flaky and Nearly-Optimal Time-based Treatment of Asynchronous Wait Web Tests Journal First yu pei , Jeongju Sohn Kyungpook National University, Sarra Habchi Ubisoft Montréal, Mike Papadakis University of Luxembourg
15:10 20m Talk		LLMDroid: Enhancing Automated Mobile App GUI Testing Coverage with Large Language Model Guidance Research Papers Chenxu Wang Huazhong University of Science and Technology, Tianming Liu Monash Univerisity, Yanjie Zhao Huazhong University of Science and Technology, Minghui Yang OPPO, Haoyu Wang Huazhong University of Science and Technology DOI

14:00 - 15:30	ProcessIndustry Papers / Ideas, Visions and Reflections / Journal First / Research Papers at Aurora A Chair(s): Trey Woodlief University of Virginia, United States

14:00 10m Talk		Non-Knowledge as a New Lens on Software Engineering Ideas, Visions and Reflections Jacob Krüger Eindhoven University of Technology, Xenia Marlene Zerweck Harz University of Applied Sciences, Sol Martinez Demarco Harz University of Applied Sciences, Alena Bleicher Harz University of Applied Sciences, Thomas Leich Harz University of Applied Sciences, Germany
14:10 10m Talk		To Co-locate or Not to Co-locate? On the Impact of Hybrid Work to Software Design Process Ideas, Visions and Reflections Tommi Mikkonen University of Jyvaskyla, Mahum Adil Free University of Bozen/Bolzano, Ilenia Fronza Free University of Bozen/Bolzano, Italy, Gennaro Iaccarino Provincia Autonoma di Bolzano, Petri Ihantola University of Jyväskylä
14:20 20m Talk		“Ok Pal, we have to code that now”: Interaction Patterns of Programming Beginners with a Conversational Chatbot Journal First Alina Mailach Leipzig University, Dominik Gorgosch Chemnitz University of Technology, Norbert Siegmund Leipzig University, Janet Siegmund Chemnitz University of Technology
14:40 20m Talk		Revolutionizing Newcomers' Onboarding Process in OSS Communities: The Future AI Mentor Research Papers Xin Tan Beihang University, Xiao Long , Yinghao Zhu Beihang University, Lin Shi Beihang University, Xiaoli Lian Beihang University, China, Li Zhang Beihang University DOI Pre-print
15:00 20m Talk		OurCode: Experiences Transitioning University Research into a Developer Tools Startup Industry Papers Consuelo Lopez OurCode Inc., Sahar Mehrpour George Mason University, USA, Austin Henley Carnegie Mellon University, Thomas LaToza George Mason University
15:20 10m Talk		Polymer: Development Workflows as Software Ideas, Visions and Reflections Dhasarathy Parthasarathy Volvo Group, Yinan Yu Chalmers University of Technology, Earl T. Barr University College London

14:00 - 15:30	Fuzzing 2Industry Papers / Journal First / Ideas, Visions and Reflections / Research Papers at Aurora B Chair(s): Haipeng Cai University at Buffalo, SUNY

14:00 20m Talk		AFLNet Five Years Later: On Coverage-Guided Protocol Fuzzing Journal First Ruijie Meng National University of Singapore, Singapore, Thuan Pham University of Melbourne, Marcel Böhme MPI for Security and Privacy, Abhik Roychoudhury National University of Singapore
14:20 20m Talk		My Fuzzers Won’t Build: An Empirical Study of Fuzzing Build Failures Journal First Olivier Nourry The University of Osaka, Yutaro Kashiwa Nara Institute of Science and Technology, Weiyi Shang University of Waterloo, Honglin Shu Kyushu University, Yasutaka Kamei Kyushu University
14:40 20m Talk		Directed Testing in MLIR: Unleashing Its Potential by Overcoming the Limitations of Random Fuzzing Research Papers Weiyuan Tong Northwest University, Zixu Wang Northwest University, Zhanyong Tang Northwest University, Jianbin Fang National University of Defense Technology, Yuqun Zhang Southern University of Science and Technology, Guixin Ye Northwest University DOI
15:00 10m Talk		GAFLERNA Ahoy! Integrating EM Side-Channel Analysis into Traditional Fuzzing Workflows Ideas, Visions and Reflections Jorge Barredo IKERLAN, Mondragon Unibertsitatea, Justyna Petke University College London, David Clark University College London, Daniel Blackwell University College London, Maialen Eceiza IKERLAN, Jose Luis Flores University of the Basque Country UPV/EHU, Mikel Iturbe Mondragon Unibertsitatea
15:10 20m Talk		Grey-Box Fuzzing in Constrained Ultra-Large Systems: Lessons for SE Community Industry Papers Jiazhao Yu Sun Yat-sen University, Yanlun Tu Ant Group, Zhanlei Zhang Macquaire University, TIEHUA ZHANG Tongji University, Cheng Xu Ant Group, Weigang Wu Sun Yat-sen University, Hong Jin Kang University of Sydney, Xi Zheng Macquarie University

14:00 - 15:20	Empirical Studies 1Research Papers / Journal First at Cosmos 3A Chair(s): Letizia Jaccheri Norwegian University of Science and Technology (NTNU)

14:00 20m Talk		Core Developer Turnover in the Rust Package Ecosystem: Prevalence, Impact, and Awareness Research Papers Meng Fan Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Hui Liu Beijing Institute of Technology DOI
14:20 20m Talk		A Comprehensive Study of Governance Issues in Decentralized Finance Applications Journal First Wei Ma Singapore Management University, Chenguang Zhu Meta AI, Ye Liu Singapore Management University, Xiaofei Xie Singapore Management University, Yi Li Nanyang Technological University Link to publication Pre-print
14:40 20m Talk		An Empirical Study on Release-Wise Refactoring Patterns Research Papers Shayan Noei Queen's University, Heng Li Polytechnique Montréal, Ying Zou Queen's University, Kingston, Ontario DOI
15:00 20m Talk		Towards enhancing the reproducibility of deep learning bugs: an empirical study Journal First Mehil Shah Dalhousie University, Masud Rahman Dalhousie University, Foutse Khomh Polytechnique Montréal Link to publication Pre-print

14:00 - 15:30	Testing 3Research Papers / Industry Papers / Ideas, Visions and Reflections / Journal First at Cosmos 3C Chair(s): Dan Hao Peking University

14:00 20m Talk		LlamaRestTest: Effective REST API Testing with Small Language Models Research Papers Myeongsoo Kim Georgia Institute of Technology, Saurabh Sinha IBM Research, Alessandro Orso Georgia Institute of Technology DOI
14:20 20m Talk		Testing Updated Apps by Adapting Learned Models Journal First Chanh Duc Ngo University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland Link to publication
14:40 20m Talk		Automated Testing of COBOL to Java Transformation Industry Papers Sandeep Hans IBM India Research Lab, Atul Kumar IBM Research India, Toshiaki Yasue IBM Research - Tokyo, Kohichi Ono IBM Research - Tokyo, Saravanan Krishnan IBM India Research Lab, Devika Sondhi IBM Research, Fumiko Satoh IBM Research - Tokyo, Gerald Mitchell IBM Software, Sachin Kumar IBM Software, Diptikalyan Saha IBM Research India
15:00 20m Talk		TerzoN: Human-in-the-Loop Software Testing with a Composite Oracle Research Papers Matthew C. Davis Carnegie Mellon University, Amy Wei University of Michigan, Brad A. Myers Carnegie Mellon University, Joshua Sunshine Carnegie Mellon University Link to publication DOI
15:20 10m Talk		Efficient Test Generation for Dynamic Behaviors Leveraging Token-Level Input Commonalities Ideas, Visions and Reflections Yuxin Qiu University of California at Riverside, Qian Zhang University of California at Riverside

14:00 - 15:30	LLM for SE 2Research Papers / Industry Papers / Ideas, Visions and Reflections at Cosmos Hall Chair(s): Jialun Cao Hong Kong University of Science and Technology

14:00 20m Talk		Migrating Code At Scale With LLMs At Google Industry Papers Celal Ziftci Google, Stoyan Nikolov Google, Inc., Anna Sjovall Google, Inc., Bo Kim Google, Daniele Codecasa Google, Inc., Max Kim Google
14:20 20m Talk		Integrating Large Language Models and Reinforcement Learning for Non-Linear Reasoning Research Papers Yoav Alon University of Bristol, Cristina David University of Bristol DOI
14:40 20m Talk		Smaller but Better: Self-Paced Knowledge Distillation for Lightweight yet Effective LCMs Research Papers Yujia Chen Harbin Institute of Technology, Shenzhen, Yang Ye Huawei Cloud Computing Technologies Co., Ltd., Zhongqi Li Huawei Cloud Computing Technologies Co., Ltd., Yuchi Ma Huawei Cloud Computing Technologies, Cuiyun Gao Harbin Institute of Technology, Shenzhen DOI
15:00 10m Talk		Enabling Scalable Proactive Workspaces With Environment-Wide Context Ideas, Visions and Reflections Nick Bradley University of British Columbia, Thomas Fritz University of Zurich, Reid Holmes University of British Columbia
15:10 20m Talk		Bridging Operator Semantic Inconsistencies: A Source-level Cross-framework Model Conversion Approach Research Papers Xingpei Li National University of Defense Technology, China, Yan Lei Chongqing University, Zhouyang Jia National University of Defense Technology, Yuanliang Zhang National University of Defense Technology, Haoran Liu National University of Defense Technology, Liqian Chen National University of Defense Technology, Wei Dong National University of Defense Technology, Shanshan Li National University of Defense Technology DOI

14:00 - 15:20	Program Analysis 2Research Papers / Ideas, Visions and Reflections / Demonstrations at Pirsenteret 150 Chair(s): Martin Kellogg New Jersey Institute of Technology

14:00 10m Talk		IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers Demonstrations Yu Xiao Institute of Software, Chinese Academy of Sciences, Xutong Ma Inria Paris, zhilin li , Jun Yan Institute of Software, Chinese Academy of Sciences
14:10 20m Talk		Blended Analysis for Predictive Execution Research Papers Yi Li University of Texas at Dallas, Hridya Dhulipala University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Xiaokai Rong University of Texas at Dallas, Shaohua Wang Central University of Finance and Economics, Tien N. Nguyen University of Texas at Dallas DOI
14:30 20m Talk		Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis Research Papers Xiaolei Ren Macau University of Science and Technology, Mengfei Ren University of Alabama in Huntsville, Jeff Yu Lei University of Texas at Arlington, Jiang Ming Tulane University, USA DOI
14:50 20m Talk		DyLin: A Dynamic Linter for Python Research Papers Aryaz Eghbali University of Stuttgart, Felix Burk University of Stuttgart, Michael Pradel University of Stuttgart DOI Pre-print
15:10 10m Talk		Do you have 5 min? Improving Call Graph Analysis with Runtime Information Ideas, Visions and Reflections Jordan Samhi University of Luxembourg, Luxembourg, Marc Miltenberger Fraunhofer SIT; ATHENE, Marco Alecci University of Luxembourg, Steven Arzt Fraunhofer SIT; ATHENE, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg

16:00 - 17:40	Fairness and GreenJournal First / Research Papers / Demonstrations at Aurora A Chair(s): Aldeida Aleti Monash University

16:00 10m Talk		MANILA: A Low-Code Application to Benchmark Machine Learning Models and Fairness-Enhancing Methods Demonstrations Giordano d'Aloisio University of L'Aquila Pre-print Media Attached
16:10 20m Talk		Fairness Testing of Machine Translation Systems Journal First Zeyu Sun Institute of Software, Chinese Academy of Sciences, Zhenpeng Chen Nanyang Technological University, Jie M. Zhang King's College London, Dan Hao Peking University
16:30 20m Talk		Bias behind the Wheel: Fairness Testing of Autonomous Driving Systems Journal First Xinyue Li Peking University, Zhenpeng Chen Nanyang Technological University, Jie M. Zhang King's College London, Federica Sarro University College London, Ying Zhang Peking University, Xuanzhe Liu Peking University
16:50 10m Talk		FAMLEM, the FAst ModuLar Energy Meter at Code Level Demonstrations Max Weber Leipzig University, Johannes Dorn Leipzig University, Sven Apel Saarland University, Norbert Siegmund Leipzig University
17:00 20m Talk		NLP Libraries, Energy Consumption and Runtime - An Empirical Study Research Papers Rajrupa Chattaraj Indian Institute of Technology Tirupati, India, Sridhar Chimalakonda Indian Institute of Technology Tirupati DOI
17:20 20m Talk		An adaptive language-agnostic pruning method for greener language models for code Research Papers Mootez Saad Dalhousie University, José Antonio Hernández López Linköping University, Boqi Chen McGill University, Daniel Varro Linköping University / McGill University, Tushar Sharma Dalhousie University DOI Pre-print

16:00 - 17:40	Failure and FaultDemonstrations / Research Papers / Ideas, Visions and Reflections / Journal First at Aurora B Chair(s): Lars Grunske Humboldt-Universität zu Berlin

16:00 10m Talk		AgentFM: Role-Aware Failure Management for Distributed Databases with LLM-Driven Multi-Agents Ideas, Visions and Reflections Lingzhe Zhang Peking University, China, Yunpeng Zhai Alibaba Group, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Xiaosong Huang Peking University, Chiming Duan Peking University, Ying Li School of Software and Microelectronics, Peking University, Beijing, China
16:10 20m Talk		ReproCopilot: LLM-Driven Failure Reproduction with Dynamic Refinement Research Papers Tanakorn Leesatapornwongsa Microsoft Research, Fazle Faisal Microsoft Research, Suman Nath Microsoft Research DOI
16:30 20m Talk		Improving Graph Learning-Based Fault Localization with Tailored Semi-Supervised Learning Research Papers Chun Li Nanjing University, Hui Li Samsung Electronics (China) R&D Centre, Zhong Li , Minxue Pan Nanjing University, Xuandong Li Nanjing University DOI
16:50 20m Talk		Towards Understanding Docker Build Faults in Practice: Symptoms, Root Causes, and Fix Patterns Research Papers Yiwen Wu National University of Defense Technology, Yang Zhang National University of Defense Technology, China, Tao Wang National University of Defense Technology, Bo Ding National University of Defense Technology, Huaimin Wang DOI
17:10 20m Talk		One Sentence Can Kill the Bug: Auto-replay Mobile App Crashes from One-sentence Overviews Journal First Yuchao Huang , Junjie Wang Institute of Software at Chinese Academy of Sciences, Zhe Liu Institute of Software, Chinese Academy of Sciences, Mingyang Li Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Song Wang York University, Chunyang Chen TU Munich, Yuanzhe Hu Institute of Software, Chinese Academy of Sciences, Qing Wang Institute of Software at Chinese Academy of Sciences
17:30 10m Talk		Steering the Future: A Catalog of Failures in Deep Learning-Enabled Robotic Navigation Systems Demonstrations Meriel von Stein University of Virginia, Yili Bai University of Virginia, Trey Woodlief University of Virginia, United States, Sebastian Elbaum University of Virginia

16:00 - 17:40	LLM for SE 3Ideas, Visions and Reflections / Industry Papers / Demonstrations / Journal First at Cosmos 3A Chair(s): Maliheh Izadi Delft University of Technology

16:00 20m Talk		LicenseGPT: A Fine-tuned Foundation Model for Publicly Available Dataset License Compliance Industry Papers JingwenTan School of Software Engineering, Sun Yat-Sen University, Gopi Krishnan Rajbahadur Centre for Software Excellence, Huawei, Canada, Zi Li Huawei China, xiangfu song Huawei Canada Research Centre, jianshan lin Huawei Technologies Co. Ltd, Dan Li Sun Yat-sen University, Zibin Zheng Sun Yat-sen University, Ahmed E. Hassan Queen’s University
16:20 20m Talk		LLM-Augmented Ticket Aggregation for Low-cost Mobile OS Defect Resolution Industry Papers Yongqian Sun Nankai University, Bowen Hao Nankai University, Xiaotian Wang Nankai University, Chenyu Zhao Nankai University, Yongxin Zhao , Binpeng Shi Nankai University, Shenglin Zhang Nankai University, Qiao Ge Huawei Inc., Wenhu Li Huawei Inc., Hua Wei Huawei Inc., Dan Pei Tsinghua University
16:40 20m Talk		On the Workflows and Smells of Leaderboard Operations (LBOps): An Exploratory Study of Foundation Model Leaderboards Journal First Zhimin Zhao Queen's University, Abdul Ali Bangash Queen's University, Filipe Cogo Centre for Software Excellence, Huawei Canada, Bram Adams Queen's University, Ahmed E. Hassan Queen’s University
17:00 10m Talk		CodingGenie: A Proactive LLM-Powered Programming Assistant Demonstrations Sebastian Zhao University of California, Berkeley, Alan Zhu Carnegie Mellon University, Hussein Mozannar Microsoft Research, David Sontag MIT, Ameet Talwalkar Carnegie Mellon University, Valerie Chen Carnegie Mellon University
17:10 10m Talk		Collaboration is all you need: LLM Assisted Safe Code Translation Ideas, Visions and Reflections Rabimba Karanjai University of Houston, Sam Blackshear Mysten Labs, Lei Xu Kent State University, Weidong Shi University of Houston
17:20 20m Talk		Exploring Variable Potential for LLM-based Log Parsing Efficiency and Reduced Costs Ideas, Visions and Reflections Jinrui Sun Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Minghua He Peking University, Yihan Wu National Computer Network Emergency Response Technical Team/Coordination Center of China, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Gang Huang Peking University

16:00 - 17:40	MSR 2Journal First / Ideas, Visions and Reflections / Research Papers / Demonstrations at Cosmos 3C Chair(s): DongGyun Han Royal Holloway, University of London

16:00 10m Talk		Introducing Repository Stability Ideas, Visions and Reflections Giuseppe Destefanis Brunel University of London, Silvia Bartolucci UCL, Daniel Graziotin University of Hohenheim, Rumyana Neykova Brunel University London, Marco Ortu University of Cagliari Pre-print
16:10 20m Talk		Scientific Open-Source Software Is Less Likely To Become Abandoned Than One Might Think! Lessons from Curating a Catalog of Maintained Scientific Software Research Papers Addi Malviya-Thakur The University of Tennessee, Knoxville / Oak Ridge National Laboratory, Reed Milewicz Sandia National Laboratories, Mahmoud Jahanshahi University of Tennessee, Lavinia Francesca Paganini Eindhoven University of Technology, Bogdan Vasilescu Carnegie Mellon University, Audris Mockus University of Tennessee Link to publication DOI
16:30 20m Talk		Who Will Stop Contributing to OSS Projects? Predicting Company Turnover Based on Initial Behavior Research Papers Mian Qin Beijing Institute of Technology, Yuxia Zhang Beijing Institute of Technology, Klaas-Jan Stol Lero; University College Cork; SINTEF Digital , Hui Liu Beijing Institute of Technology DOI
16:50 20m Talk		An empirical study of token-based micro commits Journal First Masanari Kondo Kyushu University, Daniel M. German University of Victoria, Yasutaka Kamei Kyushu University, Naoyasu Ubayashi Waseda University, Osamu Mizuno Kyoto Institute of Technology
17:10 10m Talk		TS-Detector : Detecting Feature Toggle Usage Patterns Demonstrations Md Tajmilur Rahman Gannon University, Mengzhe Fei University of Saskatchewan; Vendasta, Tushar Sharma Dalhousie University, Chanchal K. Roy University of Saskatchewan
17:20 20m Talk		Impact of Request Formats on Effort Estimation: Are LLMs Different than Humans? Research Papers Gül Calikli University of Glasgow, Mohammed Alhamed Applied Behaviour Systems LTD (Hexis), United Kingdom DOI

16:00 - 17:40	Anomaly DetectionIdeas, Visions and Reflections / Research Papers / Industry Papers at Pirsenteret 150 Chair(s): Gias Uddin York University, Canada

16:00 20m Talk		Cross-System Categorization of Abnormal Traces in Microservice-Based Systems via Meta-Learning Research Papers Yuqing Wang University of Helsinki, Finland, Mika Mäntylä University of Helsinki and University of Oulu, Serge Demeyer University of Antwerp and Flanders Make vzw, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Joanna Kisaakye University of Antwerp, Belgium, Jesse Nyyssölä University of Helsinki DOI
16:20 10m Talk		CLSLog: Collaborating Large and Small Models for Log-based Anomaly Detection Ideas, Visions and Reflections Pei Xiao Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Chiming Duan Peking University, Minghua He Peking University, Weijie Hong Peking university, Xixuan Yang School of Software and Microelectronics, Peking University, Yihan Wu National Computer Network Emergency Response Technical Team/Coordination Center of China, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Gang Huang Peking University
16:30 10m Talk		From Few-Label to Zero-Label: An Approach for Cross-System Log-Based Anomaly Detection with Meta-Learning Ideas, Visions and Reflections Xinlong Zhao Peking University, Tong Jia Institute for Artificial Intelligence, Peking University, Beijing, China, Minghua He Peking University, Yihan Wu National Computer Network Emergency Response Technical Team/Coordination Center of China, Ying Li School of Software and Microelectronics, Peking University, Beijing, China, Gang Huang Peking University
16:40 20m Talk		CAShift: Benchmarking Log-Based Cloud Attack Detection under Normality Shift Research Papers Jiongchi Yu Singapore Management University, Xiaofei Xie Singapore Management University, Qiang Hu Tianjin University, Bowen Zhang Singapore Management University, Ziming Zhao Zhejiang University, Yun Lin Shanghai Jiao Tong University, Lei Ma The University of Tokyo & University of Alberta, Ruitao Feng Southern Cross University, Frank Liauw Government Technology Agency Singapore DOI Pre-print
17:00 20m Talk		Detecting and Handling WoT Violations by Learning Physical Interactions from Device Logs Research Papers Bingkun Sun Fudan University, Shiqi Sun Northwestern Polytechnique University, Jialin Ren Fudan University, Mingming Hu Fudan University, Kun Hu School of Computer Science, Fudan University, Liwei Shen Fudan University, Xin Peng Fudan University DOI
17:20 20m Talk		L4: Diagnosing Large-scale LLM Training Failures via Automated Log Analysis Industry Papers Zhihan Jiang The Chinese University of Hong Kong, Junjie Huang The Chinese University of Hong Kong, Guangba Yu The Chinese University of Hong Kong, Zhuangbin Chen Sun Yat-sen University, Yichen LI The Chinese University of Hong Kong, Renyi Zhong The Chinese University of Hong Kong, Cong Feng Huawei Cloud Computing Technology, Yongqiang Yang Huawei Cloud Computing Technology, Zengyin Yang Computing and Networking Innovation Lab, Huawei Cloud Computing Technology Co., Ltd, Michael Lyu Chinese University of Hong Kong

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30	LLM and PromptIndustry Papers / Ideas, Visions and Reflections / Research Papers / Journal First at Cosmos 3B Chair(s): Giuseppe Scanniello University of Salerno

11:00 20m Talk		On Inter-dataset Code Duplication and Data Leakage in Large Language Models Journal First José Antonio Hernández López Linköping University, Boqi Chen McGill University, Mootez Saad Dalhousie University, Tushar Sharma Dalhousie University, Daniel Varro Linköping University / McGill University
11:20 20m Talk		LLM App Squatting and Cloning Industry Papers Yinglin Xie Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Kai Chen Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
11:40 10m Talk		Predictive Prompt Analysis Ideas, Visions and Reflections Jae Yong Lee , Sungmin Kang NUS, Shin Yoo KAIST
11:50 20m Talk		From Prompts to Templates: A Systematic Prompt Template Analysis for Real-world LLMapps Industry Papers Yuetian Mao Technical University of Munich, Junjie He Technical University of Munich, Chunyang Chen TU Munich
12:10 20m Talk		Prompts Are Programs Too! Understanding How Developers Build Software Containing Prompts Research Papers Jenny T. Liang Carnegie Mellon University, Melissa Lin Carnegie Mellon University, Nikitha Rao Carnegie Mellon University, Brad A. Myers Carnegie Mellon University DOI

11:00 - 12:30	CompilerResearch Papers / Journal First / Ideas, Visions and Reflections at Cosmos 3C Chair(s): Na Meng Virginia Tech

11:00 20m Talk		De-duplicating Silent Compiler Bugs via Deep Semantic Representation Research Papers Junjie Chen Tianjin University, Xingyu Fan Tianjin University, Chen Yang Tianjin University, Shuang Liu Renmin University of China, Jun Sun Singapore Management University DOI
11:20 20m Talk		DiSCo: Towards Decompiling EVM Bytecode to Source Code using Large Language Models Research Papers Xing Su National Key Lab for Novel Software Technology, Nanjing University, China, Hanzhong Liang National Key Lab for Novel Software Technology, Nanjing University, China, Hao Wu , Ben Niu State Key Laboratory of Information Security, Institute of Information Engineering, China, Fengyuan Xu National Key Lab for Novel Software Technology, Nanjing University, China, Sheng Zhong National Key Lab for Novel Software Technology, Nanjing University, China DOI
11:40 20m Talk		Compiler Autotuning through Multiple Phase Learning Journal First Mingxuan Zhu Peking University, Dan Hao Peking University, Junjie Chen Tianjin University
12:00 20m Talk		PDCAT: Preference-Driven Compiler Auto-Tuning Research Papers Mingxuan Zhu Peking University, Zeyu Sun Institute of Software, Chinese Academy of Sciences, Dan Hao Peking University DOI
12:20 10m Talk		Compiler Optimization Testing Based on Optimization-Guided Equivalence Transformations Ideas, Visions and Reflections Jingwen Wu Shandong University, Jiajing Zheng Shandong University, Zhenyu Yang Shandong University, Zhongxing Yu Shandong University

11:00 - 12:20	Program Analysis 3Research Papers / Demonstrations / Industry Papers at Cosmos 3D Chair(s): Earl T. Barr University College London

11:00 10m Talk		MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem Demonstrations Francesco Pagano University of Verona, Mariano Ceccato University of Verona, Alessio Merlo CASD - School of Advanced Defense Studies, Paolo Tonella USI Lugano
11:10 10m Talk		Refactoring Detection in C++ Programs with RefactoringMiner++ Demonstrations Benjamin Ritz Graz University of Technology, Aleksandar Karakaš Carinthia University of Applied Sciences, Denis Helic Graz University of Technology
11:20 20m Talk		Codellm-Devkit: A Framework for Contextualizing Code LLMs with Program Analysis Insights Industry Papers Rahul Krishna IBM Research, Rangeet Pan IBM Research, Saurabh Sinha IBM Research, Srikanth Tamilselvam IBM Research, Raju Pavuluri IBM T.J. Watson Research Center, Maja Vukovic IBM Research
11:40 20m Talk		Towards Diverse Program Transformations for Program Simplification Research Papers Haibo Wang Concordia University, Zezhong Xing Southern University of Science and Technology, Chengnian Sun University of Waterloo, Zheng Wang University of Leeds, Shin Hwei Tan Concordia University DOI
12:00 20m Talk		CRISPE: Semantic-Guided Execution Planning and Dynamic Reasoning for Enhancing Code Coverage Prediction Research Papers Hridya Dhulipala University of Texas at Dallas, Aashish Yadavally University of Texas at Dallas, Smit Soneshbhai Patel University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas DOI

11:00 - 12:30	SE and AI 2Ideas, Visions and Reflections / Research Papers at Cosmos Hall Chair(s): Massimiliano Di Penta University of Sannio, Italy

11:00 20m Talk		Beyond PEFT: Layer-Wise Optimization for More Effective and Efficient Large Code Model Tuning Research Papers Chaozheng Wang The Chinese University of Hong Kong, jiafeng University of Electronic Science and Technology of China, Shuzheng Gao Chinese University of Hong Kong, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Li Zongjie Hong Kong University of Science and Technology, Ting Peng Tencent Inc., Hailiang Huang Tencent Inc., Yuetang Deng Tencent, Michael Lyu Chinese University of Hong Kong DOI
11:20 20m Talk		Automated Trustworthiness Oracle Generation for Machine Learning Text Classifiers Research Papers Lam Nguyen Tung Monash University, Australia, Steven Cho The University of Auckland, New Zealand, Xiaoning Du Monash University, Neelofar Neelofar Royal Melbourne Institure of Techonlogy (RMIT), Valerio Terragni University of Auckland, Stefano Ruberto JRC European Commission, Aldeida Aleti Monash University DOI Pre-print
11:40 20m Talk		A Causal Learning Framework for Enhancing Robustness of Source Code Models Research Papers Junyao Ye Huazhong University of Science and Technology, Zhen Li Huazhong University of Science and Technology, Xi Tang Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Shouhuai Xu University of Colorado Colorado Springs, Qiang Weizhong Huazhong University of Science and Technology, Hai Jin Huazhong University of Science and Technology DOI
12:00 20m Talk		Eliminating Backdoors in Neural Code Models for Secure Code Understanding Research Papers Weisong Sun Nanjing University, Yuchen Chen Nanjing University, Chunrong Fang Nanjing University, Yebo Feng Nanyang Technological University, Yuan Xiao Nanjing University, An Guo Nanjing University, Quanjun Zhang School of Computer Science and Engineering, Nanjing University of Science and Technology, Zhenyu Chen Nanjing University, Baowen Xu Nanjing University, Yang Liu Nanyang Technological University DOI
12:20 10m Talk		Reduction Fusion for Optimized Distributed Data-Parallel Computations via Inverse Recomputation Ideas, Visions and Reflections Haoxiang Lin Microsoft Research, Yang Wang Microsoft Research Asia, Yanjie Gao Microsoft Research, Hongyu Zhang Chongqing University, Ming Wu Zero Gravity Labs, Mao Yang Microsoft Research

11:00 - 12:30	Software TestsJournal First / Demonstrations / Research Papers at Pirsenteret 150 Chair(s): Tien N. Nguyen University of Texas at Dallas

11:00 10m Talk		pytest-ranking: A Regression Test Prioritization Tool for Python Demonstrations Runxiang Cheng University of Illinois at Urbana-Champaign, Kaiyao Ke University of Illinois Urbana-Champaign, Darko Marinov University of Illinois at Urbana-Champaign
11:10 20m Talk		The Effects of Computational Resources on Flaky Tests Journal First Denini Silva Federal University of Pernambuco, Martin Gruber BMW Group, Satyajit Gokhale Northeastern University, Ellen Arteca Northeastern University, Alexi Turcotte CISPA, Marcelo d'Amorim North Carolina State University, Wing Lam George Mason University, Stefan Winter LMU Munich, Jonathan Bell Northeastern University DOI File Attached
11:30 20m Talk		Prioritizing Speech Test Cases Journal First Zhou Yang Singapore Management University; University of Alberta, Jieke Shi Singapore Management University, Muhammad Hilmi Asyroﬁ School of Computing and Information Systems, Singapore Management University, Bowen Xu North Carolina State University, Xin Zhou Singapore Management University, Singapore, DongGyun Han Royal Holloway, University of London, David Lo Singapore Management University
11:50 20m Talk		Automated Unit Test Refactoring Research Papers Yi Gao Zhejiang University, Xing Hu Zhejiang University, Xiaohu Yang Zhejiang University, Xin Xia Zhejiang University DOI
12:10 20m Talk		Understanding and Characterizing Mock Assertions in Unit Tests Research Papers Hengcheng Zhu The Hong Kong University of Science and Technology, Valerio Terragni University of Auckland, Lili Wei McGill University, Shing-Chi Cheung Hong Kong University of Science and Technology, Jiarong Wu , Yepang Liu Southern University of Science and Technology DOI Pre-print

11:00 - 12:30	DebuggingResearch Papers / Ideas, Visions and Reflections at Vega Chair(s): Chao Peng ByteDance

11:00 20m Talk		ChatDBG: Augmenting Debugging with Large Language Models Research Papers Kyla H. Levin University of Massachusetts Amherst, USA, Nicolas van Kempen University of Massachusetts Amherst, USA, Emery D. Berger University of Massachusetts Amherst, Stephen N. Freund Williams College DOI Pre-print
11:20 10m Talk		Towards Adaptive Software Agents for Debugging Ideas, Visions and Reflections Yacine Majdoub IReSCoMath Research Lab, Faculty of Sciences, University Of Gabes, Tunisia, Eya Ben Charrada IReSCoMath Research Lab, Faculty of Sciences, University Of Gabes, Tunisia, Haifa Touati IReSCoMath Research Lab, Faculty of Sciences, University Of Gabes, Tunisia Pre-print
11:30 20m Talk		Empirically Evaluating the Impact of Object-Centric Breakpoints on the Debugging of Object-Oriented Programs Research Papers Valentin Bourcier INRIA, Pooja Rani University of Zurich, Maximilian Ignacio Willembrinck Santander Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL F-59000 Lille, France, Alberto Bacchelli University of Zurich, Steven Costiou INRIA Lille DOI
11:50 20m Talk		An Empirical Study of Bugs in Data Visualization Libraries Research Papers Weiqi Lu The Hong Kong University of Science and Technology, Yongqiang Tian , Xiaohan Zhong The Hong Kong University of Science and Technology, Haoyang Ma Hong Kong University of Science and Technology, Zhenyang Xu University of Waterloo, Shing-Chi Cheung Hong Kong University of Science and Technology, Chengnian Sun University of Waterloo DOI
12:10 20m Talk		DuoReduce: Bug Isolation for Multi-Layer Extensible Compilation Research Papers Jiyuan Wang University of California at Los Angeles, Yuxin Qiu University of California at Riverside, Ben Limpanukorn University of California, Los Angeles, Hong Jin Kang University of Sydney, Qian Zhang University of California at Riverside, Miryung Kim UCLA and Amazon Web Services DOI Pre-print

14:00 - 15:30	AgentDemonstrations / Industry Papers / Research Papers at Cosmos 3B Chair(s): Chunyang Chen TU Munich

14:00 10m Talk		A Multi-agent Onboarding Assistant based on Large Language Models, Retrieval Augmented Generation, and Chain-of-Thought Demonstrations Andrei Cristian Ionescu Delft University of Technology, Sergey Titov JetBrains Research, Maliheh Izadi Delft University of Technology
14:10 20m Talk		Alibaba LingmaAgent: Improving Automated Issue Resolution via Comprehensive Repository Exploration Industry Papers Yingwei Ma Tongyi Lab, Alibaba, Qingping Yang Tongyi Lab, Alibaba, Rongyu Cao Tongyi Lab, Alibaba, China, Binhua Li Tongyi Lab, Alibaba, China, Fei Huang Tongyi Lab, Alibaba, China, Yongbin Li Tongyi Lab, Alibaba, China
14:30 20m Talk		Demystifying LLM-based Software Engineering Agents Research Papers Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Yinlin Deng University of Illinois at Urbana-Champaign, Soren Dunn University of Illinois Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign DOI
14:50 20m Talk		AEGIS: An Agent-based Framework for Bug Reproduction from Issue Descriptions Industry Papers Xinchen Wang Harbin Institute of Technology, Pengfei Gao ByteDance, Xiangxin Meng Beihang University, Chao Peng ByteDance, Ruida Hu Harbin Institute of Technology, Shenzhen, Yun Lin Shanghai Jiao Tong University, Cuiyun Gao Harbin Institute of Technology, Shenzhen
15:10 20m Talk		Enhancing Game AI Behaviors with Large Language Models and Agentic AI Industry Papers Ciprian Paduraru Gameloft, and University of Bucharest, Miruna Gabriela Paduraru University of Bucharest , Alin Stefanescu University of Bucharest

14:00 - 15:30	Empirical Studies 2Ideas, Visions and Reflections / Research Papers / Journal First at Cosmos 3C Chair(s): Yuchao Jiang UNSW

14:00 20m Talk		An Empirical Analysis of Issue Templates Usage in Large-Scale Projects on GitHub Journal First Emre Sülün Bilkent University, Metehan Saçakcı Bilkent University, Eray Tüzün Bilkent University
14:20 20m Talk		The Landscape of Toxicity: An Empirical Investigation of Toxicity on GitHub Research Papers Jaydeb Sarker University of Nebraska at Omaha, Asif Kamal Turzo Wayne State University, Amiangshu Bosu Wayne State University DOI Pre-print
14:40 20m Talk		Expressing and Checking Statistical Assumptions Research Papers Alexi Turcotte CISPA, Zheyuan Wu Saarland University DOI
15:00 20m Talk		Why the Proof Fails in Different Versions of Theorem Provers: An Empirical Study of Compatibility Issues in Isabelle Research Papers Xiaokun Luan Peking University, David Sanan Singapore Institute of Technology, Zhe Hou Griffith University, Qiyuan Xu Nanyang Technological University, Chengwei Liu Nanyang Technological University, Yufan Cai National University of Singapore, Yang Liu Nanyang Technological University, Meng Sun Peking University DOI
15:20 10m Talk		Missing Threats: Dealing with the Treatment-sensitive Factorial Structure Bias in Empirical Software Engineering Ideas, Visions and Reflections Sabato Nocera University of Salerno, Giuseppe Scanniello University of Salerno

14:00 - 15:20	Testing 4Industry Papers / Research Papers / Demonstrations at Cosmos 3D Chair(s): Antonio Mastropaolo William and Mary, USA

14:00 20m Talk		Detecting and Reducing the Factual Hallucinations of Large Language Models with Metamorphic Testing Research Papers Weibin Wu Sun Yat-sen University, Yuhang Cao Sun Yat-sen University, Ning Yi Sun Yat-sen University, Rongyi Ou Sun Yat-sen University, Zibin Zheng Sun Yat-sen University DOI
14:20 10m Talk		A Tool for Generating Exceptional Behavior Tests With Large Language Models Demonstrations Linghan Zhong University of Texas Austin, Samuel Yuan The University of Texas at Austin, Jiyang Zhang University of Texas at Austin, Yu Liu Meta, Pengyu Nie University of Waterloo, Junyi Jessy Li University of Texas at Austin, USA, Milos Gligoric The University of Texas at Austin
14:30 20m Talk		Using Large Language Models to Support the Workflow of Differential Testing Industry Papers Arun Krishna Vajjala George Mason University, Ajay Krishna Vajjala George Mason University, Carmen Badea Microsoft Research, Christian Bird Microsoft Research, Jade D'Souza Microsoft, Robert DeLine Microsoft Research, Mikhail Demyanyuk Microsoft, Jason Entenmann Microsoft Research, Nicole Forsgren Microsoft Research, Aliaksandr Hramadski Microsoft, Haris Mohammad Microsoft, Sandeepan Sanyal Microsoft, Oleg Surmachev Microsoft, Thomas Zimmermann University of California, Irvine
14:50 20m Talk		Adaptive Random Testing with Qgrams: the Illusion Comes True Research Papers Matteo Biagiola Università della Svizzera italiana, Robert Feldt Chalmers \| University of Gothenburg, Paolo Tonella USI Lugano DOI Pre-print
15:10 10m Talk		Dynamic Application Security Testing for Kubernetes Deployment: An Experience Report from Industry Industry Papers Shazibul Islam Shamim Kennesaw State University, Hanyang Hu Company A, Akond Rahman Auburn University Pre-print

14:00 - 15:20	LLM for SE 4Research Papers / Journal First at Cosmos Hall Chair(s): Ting Su East China Normal University

14:00 20m Talk		Large Language Models for Software Engineering: A Systematic Literature Review Journal First Xinyi Hou Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Yue Liu Monash University, Zhou Yang Singapore Management University; University of Alberta, Kailong Wang Huazhong University of Science and Technology, Li Li Beihang University, Xiapu Luo Hong Kong Polytechnic University, David Lo Singapore Management University, John Grundy Monash University, Haoyu Wang Huazhong University of Science and Technology
14:20 20m Talk		Calibration of Large Language Models on Code Summarization Research Papers Yuvraj Virk UC Davis, Prem Devanbu University of California at Davis, Toufique Ahmed IBM Research DOI
14:40 20m Talk		Code Red! On the Harmfulness of Applying Off-the-shelf Large Language Models to Programming Tasks Research Papers Ali Al-Kaswan Delft University of Technology, Netherlands, Sebastian Deatc Delft University of Technology, Begüm Koç Delft University of Technology, Arie van Deursen TU Delft, Maliheh Izadi Delft University of Technology DOI Pre-print
15:00 20m Talk		PATCH: Empowering Large Language Model with Programmer-Intent Guidance and Collaborative-Behavior Simulation for Automatic Bug Fixing Journal First Yuwei Zhang Institute of Software Chinese Academy of Sciences, Zhi Jin Peking University, xingying Beijing University of Posts and Telecommunications, Ge Li Peking University, Fang Liu Beihang University, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, Wensheng Dou Institute of Software Chinese Academy of Sciences, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

14:00 - 15:30	Program Analysis 4Demonstrations / Journal First / Research Papers at Pirsenteret 150 Chair(s): Matthew B Dwyer University of Virginia

14:00 10m Talk		HeaderSplit: An Automated Tool for Splitting Header Files in C Projects Demonstrations Yue Wang Peking University, Jiaxuan Sun Peking University, Tongwei Deng Peking University, Wenhui Chang Peking University, Yanzhen Zou Peking University, Bing Xie Peking University
14:10 20m Talk		Recasting Type Hints from WebAssembly Contracts Research Papers Kunsong Zhao The Hong Kong Polytechnic University, Zihao Li Hong Kong Polytechnic University, Weimin Chen The Hong Kong Polytechnic University, Xiapu Luo Hong Kong Polytechnic University, Ting Chen University of Electronic Science and Technology of China, Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences, Yajin Zhou Zhejiang University; ZJU-Hangzhou Global Scientific and Technological Innovation Center DOI
14:30 20m Talk		Medusa: A Framework for Collaborative Development of Foundation Models with Automated Parameter Ownership Assignment Research Papers Dezhi Ran Peking University, Yuan Cao Peking University, Yuzhe Guo Beijing Jiaotong University, Yuetong Li The University of Chicago, Mengzhou Wu Peking University, Simin Chen University of Texas at Dallas, Wei Yang UT Dallas, Tao Xie Peking University DOI
14:50 10m Talk		jAST: Analyzing and Modifying Java ASTs with Python Demonstrations 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
15:00 20m Talk		Hybrid Automated Program Repair by Combining Large Language Models and Program Analysis Journal First Fengjie Li Tianjin University, Jiajun Jiang Tianjin University, Jiajun Sun Tianjin University, Hongyu Zhang Chongqing University
15:20 10m Talk		JSSpecVis: A JavaScript Language Specification Visualization Tool Demonstrations Minseok Choe Korea University, Kyungho Song Sogang University, Hyunjoon Kim Korea University, Jihyeok Park Korea University

14:00 - 15:30	DependencyResearch Papers / Journal First / Demonstrations at Vega Chair(s): Alexandre Bartel Umeå University

14:00 20m Talk		Automatically fixing dependency breaking changes Research Papers Lukas Fruntke University College London, Jens Krinke University College London DOI
14:20 10m Talk		AutoPyDep: A Recommendation System for Python Dependency Management Utilizing Graph-Based Analytics Demonstrations Dibyendu Brinto Bose Virginia Tech, USA , Travis Chan Virginia Tech, Matthew Trimble Virginia Tech, Chris Brown Virginia Tech
14:30 20m Talk		Pinning Is Futile: You Need More Than Local Dependency Versioning to Defend Against Supply Chain Attacks Research Papers Hao He Carnegie Mellon University, Bogdan Vasilescu Carnegie Mellon University, Christian Kästner Carnegie Mellon University DOI
14:50 20m Talk		Towards Better Comprehension of Breaking Changes in the NPM Ecosystem Journal First Dezhen Kong Zhejiang University, Jiakun Liu Singapore Management University, Lingfeng Bao Zhejiang University, David Lo Singapore Management University
15:10 20m Talk		On the Characteristics and Impacts of Protestware Libraries Research Papers Tanner Finken University of Arizona, Jesse Chen University of Arizona, Sazzadur Rahaman University of Arizona, Tucson, Arizona, USA DOI

Hide past events

Accepted Papers

	Title
	A Multi-agent Onboarding Assistant based on Large Language Models, Retrieval Augmented Generation, and Chain-of-Thought Demonstrations Andrei Cristian Ionescu, Sergey Titov, Maliheh Izadi
	Analyzing Evolution of Microservice-based Systems Demonstrations Tomas Cerny, Gabriel Goulis, Samanta Perry, Malia Edmonds, Amr Elsayed, Matteo Esposito, Alexander Bakhtin, Valentina Lenarduzzi, Davide Taibi
	A Tool for Generating Exceptional Behavior Tests With Large Language Models Demonstrations Linghan Zhong, Samuel Yuan, Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
	A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models Demonstrations Changshu Liu, Reyhaneh Jabbarvand Pre-print Media Attached
	AutoPyDep: A Recommendation System for Python Dependency Management Utilizing Graph-Based Analytics Demonstrations Dibyendu Brinto Bose, Travis Chan, Matthew Trimble, Chris Brown
	BinPool: A Dataset of Vulnerabilities for Binary Security Analysis Demonstrations Sima Arasteh, Georgios Nikitopoulos, Wei-Cheng Wu, Nicolaas Weideman, Aaron Portnoy, Mukund Raghothaman, Christophe Hauser
	CCTest: Critical Configuration Testing for Autonomous Driving Systems Demonstrations Changwen Li, Joseph Sifakis, Rongjie Yan, Jian Zhang
	CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems Demonstrations Sarah Sohana, William Pourmajidi, John Steinbacher, Andriy Miranskyy DOI Pre-print
	ClusterXplain: a Clustering-based Tool for DNN components Debugging Demonstrations Mohammed Attaoui, Fabrizio Pastore
	CodingGenie: A Proactive LLM-Powered Programming Assistant Demonstrations Sebastian Zhao, Alan Zhu, Hussein Mozannar, David Sontag, Ameet Talwalkar, Valerie Chen
	CoSEFA: An LLM-Based Programming Assistant for Secure Code Generation via Supervised Co-Decoding Demonstrations Xuan He, Dong Li, Hao Wen, Yueheng Zhu, Chao Liu, Meng Yan, Hongyu Zhang
	Dirty-Waters: Detecting Software Supply Chain Smells Demonstrations Raphina Liu, Sofia Bobadilla, Benoit Baudry, Martin Monperrus
	DReM: Efficiently Generating Domain-Specific Requirements Modeling Tool Demonstrations Ruixin Geng, Jiahao Weng, Ning Ge, Jingyao Li, Chunming Hu
	DynDebloater: Dynamically Debloating Unwanted Features of Android Apps without APK Modification Demonstrations Zicheng Zhang, Jiakun Liu, Ferdian Thung, Xing Hu, Wei Minn, Yan Naing Tun, Lwin Khin Shar, David Lo, Debin Gao
	EvidenceBot: A Privacy-Preserving, Customizable RAG-Based Tool for Enhancing Large Language Model Interactions Demonstrations Nafiz Imtiaz Khan, Vladimir Filkov
	FAMLEM, the FAst ModuLar Energy Meter at Code Level Demonstrations Max Weber, Johannes Dorn, Sven Apel, Norbert Siegmund
	GIVUP: Automated Generation and Verification of Textual Process Descriptions Demonstrations Quentin Nivon, Gwen Salaün, Frederic Lang
	HazSim: An Urban Driving Simulator for Testing Perception Systems of ADSes Against Hazards Demonstrations Xiaodong Zhang, Jie Bao, Yulong Shen, Qin Xia, Zijiang Yang
	HeaderSplit: An Automated Tool for Splitting Header Files in C Projects Demonstrations Yue Wang, Jiaxuan Sun, Tongwei Deng, Wenhui Chang, Yanzhen Zou, Bing Xie
	IceBear: A Fine-Grained Incremental Scheduler for C/C++ Static Analyzers Demonstrations Yu Xiao, Xutong Ma, zhilin li, Jun Yan
	jAST: Analyzing and Modifying Java ASTs with Python Demonstrations Marius Smytzek, Martin Eberlein, Lars Grunske, Andreas Zeller
	JSSpecVis: A JavaScript Language Specification Visualization Tool Demonstrations Minseok Choe, Kyungho Song, Hyunjoon Kim, Jihyeok Park
	KAVe: A Tool to Detect XSS and SQLi Vulnerabilities using a Multi-Agent System over a Multi-Layer Knowledge Graph Demonstrations Rafael Ramires, Ana Respício, Ibéria Medeiros, Mike Papadakis
	LitmusKt: Concurrency Stress Testing for Kotlin Demonstrations Denis Lochmelis, Evgenii Moiseenko, Yaroslav Golubev, Anton Podkopaev DOI Pre-print
	MANILA: A Low-Code Application to Benchmark Machine Learning Models and Fairness-Enhancing Methods Demonstrations Giordano d'Aloisio Pre-print Media Attached
	Merlin-A: A tool to engineer adaptive modelling languages Demonstrations Esther Guerra, Juan de Lara Pre-print Media Attached
	MITHRAS: A Dynamic Analysis Framework for the Mobile-IoT Ecosystem Demonstrations Francesco Pagano, Mariano Ceccato, Alessio Merlo, Paolo Tonella
	PCLA: A Framework for Testing Autonomous Agents in the CARLA Simulator Demonstrations Masoud Jamshidiyan Tehrani, Jinhan Kim, Paolo Tonella
	PeachCI: Scalable Continuous Integration of Generation-Based Protocol Fuzzing Demonstrations Wanli Chen, Yuanliang Chen, Fuchen Ma, Ruikang Peng, Qi Xu, Yu Jiang, Qiang Fu, Heyuan Shi
	PF2UML:A Tool for Problem-Oriented Requirements Modeling and Transformation Demonstrations Hongbin Xiao, Zhi Li, Yilong Yang, Fei Tang, Dongming Jin Media Attached
	pytest-ranking: A Regression Test Prioritization Tool for Python Demonstrations Runxiang Cheng, Kaiyao Ke, Darko Marinov
	Refactoring Detection in C++ Programs with RefactoringMiner++ Demonstrations Benjamin Ritz, Aleksandar Karakaš, Denis Helic
	SpecChecker-Int: An Extensible Concurrency Bugs Detection Tool for Interrupt-driven Embedded Software Demonstrations Boxiang Wang, Chao Li, Rui Chen, Sheng Wang, Chunpeng Jia, Mengfei Yang
	Steering the Future: A Catalog of Failures in Deep Learning-Enabled Robotic Navigation Systems Demonstrations Meriel von Stein, Yili Bai, Trey Woodlief, Sebastian Elbaum
	Theano: A Tool for Verifying the Consistency and Completeness in Tabular Requirements Demonstrations Aurora Francesca Zanenga, Nunzio Marco Bisceglia, Benedetta Ippoliti, Andrea Bombarda, Angelo Gargantini, Akshay Rajhans, Claudio Menghi
	TraceMOP: An Explicit-Trace Runtime Verification Tool for Java Demonstrations Kevin Guan, Owolabi Legunsen
	TS-Detector : Detecting Feature Toggle Usage Patterns Demonstrations Md Tajmilur Rahman, Mengzhe Fei, Tushar Sharma, Chanchal K. Roy
	Visualising Developer Interactions in Code Reviews Demonstrations Daniel Bee, DongGyun Han
	VO-GCSE: Verification Optimization through Global Common Subexpression Elimination Demonstrations Rafael Menezes, Norbert Tihanyi, Ridhi Jain , Alexander Levin, Rosiane de Freitas, Lucas C. Cordeiro
	Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Python Support for EvoMaster Demonstrations Andrea Arcuri, Philip Garrett, Juan Pablo Galeotti, Man Zhang

Call for Tool Demonstrations

The FSE 2025 Demonstrations Track invites researchers and practitioners to present and discuss the most recent advances, experiences, and challenges in the field of software engineering supported by live presentations of new research tools, data, and other artifacts. We encourage innovative research demonstrations, which show early implementations of novel software engineering concepts, as well as mature prototypes. The research demonstrations are intended to highlight underlying scientific contributions.

Whereas a regular research paper points out the scientific contribution of a new software engineering approach, a demonstration paper provides the opportunity to show how a scientific contribution has been transferred into a working tool or data set. Authors of regular research papers are thus encouraged to submit an accompanying demonstration paper. Demonstration papers should present new content, such as details on a tool implementation, that has not been previously published, including in other tracks of the same conference. If applicable, authors should clearly describe any differences with their previous publications in their submission.

Submission Guidelines

At the time of submission, all papers must conform to the FSE 2025 Format and Submission Guidelines, and must not exceed four pages for all text, figures, and tables. An additional one page can be used for references. Submitted papers must be written in English. They must be unpublished and not submitted for publication elsewhere.

A submitted paper should describe the artifact and the intent and relevance of the demonstration for researchers and practitioners. To provide insight into the actual demonstration and availability, the authors are requested to include:

A walkthrough of the actual demonstration provided as an appendix to the paper (this appendix will not be included in the page count and will not be published).
A link to a screencast or some other accompanying multimedia presentation of the demonstration.
Information on the tool or data availability, maturity, and user base, as well as a link to a website for the materials (if one exists) and any tool source code (if open source).
All accepted demonstration papers will be published in the ACM Digital Library.

FSE Tool Demo will employ a single-blind review process. The papers submitted do not need to hide the authors’ identities.

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 FSE 2025. The official publication date affects the deadline for any patent filings related to published work.

At least one author of each accepted paper must register and present the paper at FSE 2025 in order for the paper to be published in the proceedings. One-day registrations do NOT satisfy the registration requirement. Please carefully read the complete list of FSE Submission Policies and Policies for Accepted Contributions. Papers must be submitted electronically as PDF files through the conference submission site at https://fse2025-demo.hotcrp.com

Tools and Data Availability

To promote replicability and to disseminate the advances achieved with the research tools and data sets, we require that data sets are publicly available for download and use. We strongly encourage the same for tools, ideally through their distribution with an open-source software license. Whenever the tool is not made publicly available, the paper must include a clear explanation for why this was not possible.

Authors are also encouraged to distribute their demonstration in a form that can be easily used, such as a virtual machine image, a software container (e.g., Docker), or a system configuration (e.g., Puppet, Ansible, Salt, CFEngine).

Screencast

To further increase the visibility of the presented tools and data sets, we require all authors to produce a screencast presenting their tool. For the papers that will be accepted for presentation, accompanying screencasts will be linked from the demonstration track website. The authors can submit a link to the screencast together with their papers as an alternative to the appendix that describes the way the demonstration will be carried out.

Review and Evaluation Criteria

Each submission will be reviewed by members of the program committee.

The main evaluation criteria include the relevance and quality of the proposed demonstration in terms of technical soundness, originality, relevance for the FSE audience, presentation quality, and usability.

Presentation and Publication

Accepted demonstrations will be allocated 4 pages (plus one additional page for references) in the main conference proceedings.

At least one author of each accepted paper must register and attend FSE 2025 in order for the paper to be published in the proceedings.

Demonstrators will be invited to give a formal presentation that will be scheduled as part of the conference program.

Important Dates

All dates are 23:59:59 AoE (UTC-12h).

Submission deadline: Jan 13, 2025
Notification to authors: March 10, 2025
Camera-ready deadline: April 24, 2025
Conference: June 23 - 27, 2025

Tool Demo Chairs

Jürgen Cito, TU Wien, Austria
Yasutaka Kamei, Kyushu University, Japan

If you have any questions about the suitability of a paper, please contact the co-chairs.

DemonstrationsFSE 2025

Program Display Configuration

Mon 23 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Accepted Papers

Call for Tool Demonstrations

Submission Guidelines

Tools and Data Availability

Screencast

Review and Evaluation Criteria

Presentation and Publication

Important Dates

Tool Demo Chairs

Jürgen CitoCo-chair

TU Wien

Austria

Yasutaka KameiCo-chair

Kyushu University

Japan

Ahmad Abdellatif

University of Calgary

Canada

Amjed Tahir

Massey University

New Zealand

Andreea Costea

Mon 23 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 24 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change