Internetware 2025
Fri 20 - Sun 22 June 2025 Trondheim, Norway
co-located with FSE 2025
VenueClarion Hotel Trondheim
Room nameCosmos 3A
Floor0
Capacity134
Room InformationNo extra information available

Information for Participants
Info for room Cosmos 3A:

Cosmos 3A is the first room in the Cosmos 3 wing.

When facing the main Cosmos Hall, access to the Cosmos 3 wing is on the left, close to the stairs. The area is accessed through a large door with the number “3”, which will stay open during the event.

Program

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

Fri 20 Jun

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

09:00 - 10:30
Opening & KeynoteResearch Track / Plenary Events at Cosmos 3A
Chair(s): Ge Li Peking University, Leonardo Montecchi Norwegian University of Science and Technology (NTNU), Mauro Pezzè University of Milano-Bicocca, William Chu Tunghai University, Cuiyun Gao Harbin Institute of Technology, Shenzhen
09:00
10m
Day opening
Opening
Research Track

09:10
20m
Other
Photo
Research Track

09:30
60m
Keynote
Keynote 1: Towards End-User Intention Driven IoT Application Programming
Plenary Events
Zhi Jin Peking University
11:00 - 13:00
Keynote & Session1: Software Vulnerability and Security IResearch Track / Plenary Events at Cosmos 3A
Chair(s): William Chu Tunghai University
11:00
60m
Keynote
Keynote 2: Coding with the Machine: Promises and Perils in AI-Driven Software Engineering
Plenary Events
Leon Moonen Simula Research Laboratory
12:00
15m
Talk
Towards understanding the security issues of Python programs
Research Track
Hongcheng Fan Nanjing University, di liu Jiangsu Police Institute, Jielun Wu Nanjing University, Yang Feng Nanjing University, Qingkai Shi Nanjing University, Baowen Xu Nanjing University
12:15
15m
Talk
A Novel LLM Approach of Cybersecurity Threat Analysis and Response
Research Track
TIAN HU Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Shangyuan Zhuang Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, zhaorui Guo Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Jiyan Sun Institute of Information Engineering, Chinese Academy of Sciences,School of Cyber Security, University of Chinese Academy of Sciences, Yinlong Liu Institute of Information Engineering, Chinese Academy of Sciences,School of Cyber Security, University of Chinese Academy of Sciences, Wei Ma Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, Hongchao Wang Institute of Information Engineering, Chinese Academy of Sciences;School of Cyber Security, University of Chinese Academy of Sciences, zhaolingfeng Innovation Academy for Microsatellites of Chinese Academy of Science, zhangxiaojie Innovation Academy for Microsatellites of Chinese Academy of Science
12:30
15m
Talk
Measuring and Explaining the Effects of Android App Transformations in Online Malware Detection
Research Track
Guozhu Meng Institute of Information Engineering, Chinese Academy of Sciences, Zhixiu Guo Institute of Information Engineering, Chinese Academy of Sciences, China, Xiaodong Zhang University of Chinese Academy of Science, Haoyu Wang Huazhong University of Science and Technology, Kai Chen Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yang Liu Nanyang Technological University
Pre-print
12:45
15m
Talk
Leveraging Visible Widget Sizes for Detecting Repackaged Android Apps
Research Track
Jun Ma Nanjing University, Weixiang Huang Nanjing University, Chun Cao Nanjing University
Pre-print
14:00 - 15:30
Session2: AI for Software Engineering IResearch Track at Cosmos 3A
Chair(s): Jialun Cao Hong Kong University of Science and Technology
14:00
15m
Talk
Code Retrieval with Mixture of Experts Prototype Learning Based on Classification
Research Track
Feng Ling School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Guoheng Huang School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Jingchao Wang School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Xiaochen Yuan Faculty of Applied Sciences, Macau Polytechnic University, Macau, China, Xuhang Chen School of Computer Science and Engineering, Huizhou University, Huizhou 516001, China, XueYong Zhang School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Fanlong Zhang School of Computer Science and Technology, Guangdong University of Technology, Guangzhou 510006, China, Chi-Man Pun Department of Computer and Information Science, University of Macau, Macau, China
14:15
15m
Talk
Issue Retrieval and Verification Enhanced Supplementary Code Comment Generation
Research Track
Yanzhen Zou Peking University, Xianlin Zhao Peking University, Xinglu Pan Peking University, Bing Xie Peking University
Pre-print
14:30
15m
Talk
CodeCleaner: Mitigating Data Contamination for LLM Benchmarking
Research Track
Jialun Cao Hong Kong University of Science and Technology, Songqiang Chen The Hong Kong University of Science and Technology, Wuqi Zhang MegaETH, Hau Ching Lo The Hong Kong University of Science and Technology, Yeting Li Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Shing-Chi Cheung Hong Kong University of Science and Technology
Pre-print Media Attached
14:45
15m
Talk
LASER:Script Execution by Autonomous Agents for On-demand Traffic Simulation
Research Track
Hao Gao Nanjing University, Jingyue Wang Nanjing University, Wenyang Fang Nanjing University, Jingwei Xu , Yunpeng Huang Nanjing University, Taolue Chen Birkbeck, University of London, Xiaoxing Ma Nanjing University
Pre-print
15:00
15m
Talk
Tech-ASan: Two-stage check for Address Sanitizer
Research Track
Yixuan Cao ShenZhen University, Yuhong Feng Shenzhen University, Huafeng Li Shenzhen University, Chongyi Huang Shenzhen University, Fangcao Jian Shenzhen University, Haoran Li Shenzhen University, Xu Wang Shenzhen University
DOI Authorizer link Pre-print Media Attached
16:00 - 17:30
Session3: Software Testing and Quality AssuranceResearch Track / Tool Demonstration Track / New Idea Track at Cosmos 3A
Chair(s): Yanjie Zhao Huazhong University of Science and Technology
16:00
15m
Talk
SRLRF: Fine-Grained Root Cause Analysis and Prediction for Compiler Optimization Defects
Research Track
Han Luo Nanjing University of Aeronautics and Astronautics, Yixuan Tang Nanjing University of Aeronautics and Astronautics, Jingxuan Zhang Nanjing University of Aeronautics and Astronautics, Xuanyan Zhu Nanjing University of Aeronautics and Astronautics, Jiayi Li Nanjing University of Aeronautics and Astronautics, Weiqin Zou Nanjing University of Aeronautics and Astronautics, Jiaqi Liu National Key Laborarory on Test Physics & Numerical Mathematics
16:15
15m
Talk
Revisit the Intuition of Mutation-Based Fault Localization in Real-world Programs
Research Track
Chenliang Xing Wuhan University, Gong Chen Wuhan University, Qi Xin Wuhan University, Xiaoyuan Xie Wuhan University
Media Attached
16:30
15m
Talk
Emerging Compiler Testing Based on Test Case Reuse
Research Track
Kelin Zhu School of Intelligent Software and Engineering, Nanjing University, Suzhou 215163, China, Yu Wang Nanjing University, Linzhang Wang State Key Laboratory for Novel Software Technology (Nanjing University, Nanjing 210023, China, Xuandong Li Nanjing University
16:45
10m
Talk
UITrans: Seamless UI Translation from Android to HarmonyOSBest Tool Demo Award
Tool Demonstration Track
Lina Gong Nanjing University of Aeronautics and Astronautic, Chen Wang Nanjing University of Aeronautics and Astronautics, Di Cui Xidian University, Yujun Huang Nanjing University of Aeronautics and Astronautics, Mingqiang Wei Nanjing University of Aeronautics and Astronautics
17:05
10m
Talk
XR4PD: Augmented Reality for Visualising Problem Diagrams in Requirements Analysis
New Idea Track
Yang Hua Guangxi Normal University, Hongbin Xiao Guangxi Key Lab of Multi-Source Information Mining and Securit(Guangxi Normal University), Wenhao Wang Guangxi Normal University, Zhi Li Guangxi Normal University
17:15
15m
Talk
Cluster-Based Multi-Objective Metamorphic Test Case Pair Selection for Deep Neural Networks
Research Track
Jingling Wang Nanjing University, Shuwei Qiu Nanjing University, Peng Wang Nanjing University, Jiyuan Song Nanjing University, Huayao Wu Nanjing University, Xintao Niu Nanjing University, Changhai Nie Nanjing University
Pre-print Media Attached

Sat 21 Jun

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

11:00 - 13:00
Session4: Code Optimization and Software ArchitectureResearch Track at Cosmos 3A
Chair(s): Changhai Nie Nanjing University
11:00
15m
Talk
Take Kernel Stack Overhead Out: eBPF-Enhanced Network Acceleration for Distributed Training within Ethernet
Research Track
Zhenyu Zhang School of Computer Science and Engineering, Sun Yat-sen University, Pengfei Chen Sun Yat-sen University, Guangba Yu School of Computer Science and Engineering, Sun Yat-sen University, Zilong He Sun Yat-sen University, Xiaoyun Li Sun Yat-sen University
Pre-print
11:15
15m
Talk
Exploiting Booster Pass Chain for Compiler Phase Ordering
Research Track
yihan chen , Huanhuan Chen Nanjing University, Yuan Yao Nanjing University, Ping Yu Nanjing University, Feng Xu Nanjing University, Xiaoxing Ma Nanjing University
File Attached
11:30
15m
Talk
DeFS: A Decentralized and High-Performance File System for Consortium Systems
Research Track
Yitong Cheng Shanghai JiaoTong University, Shenglong Zhao Shanghai JiaoTong University, Yang Yu Shanghai Jiao Tong University, China, Zhichao Hua Shanghai Jiao Tong University
11:45
15m
Talk
Proteus: An Automatical High-Efficiency Framework for Generating Compact and Printable Shellcode on ARMv8
Research Track
Jian Lin Information Engineering University, Guoan Liu Information Engineering University, Rui Chang Zhejiang University, Ruimin Wang Information Engineering University
12:00
15m
Talk
Modeling Go Concurrency: A Static Analysis Approach to Data Race Detection
Research Track
Fengjuan Gao Nanjing University of Science and Technology, Mumu Zhang Nanjing University, Zixiao Zhao Nanjing University, Yu Wang Nanjing University, Xuandong Li Nanjing University
12:15
15m
Talk
RABBIT: Managing Hierarchical Memory with Intelligent Tiering Aware Deduplication
Research Track
Zilu Yao National University of Defense Technology, Yinjin Fu Sun Yat-sen University, Nong Xiao National University of Defense Technology & Sun Yat-sen University
12:30
15m
Talk
DPCapsule: A Decentralized Private Computing System With Self-Controlled Data
Research Track
Yitong Cheng Shanghai JiaoTong University, Yang Yu Shanghai Jiao Tong University, China, Zhichao Hua Shanghai Jiao Tong University
12:45
15m
Talk
MicroGuard:Non-Intrusive Dynamic Analysis for Inter-Service Access Control of Microservices
Research Track
Haoming Luo School of Computer Science and Engineering, Sun Yat-sen University, Wanqi  Yang Sun Yat-Sen University, Pengfei Chen Sun Yat-sen University
14:00 - 15:30
Session5: Software Vulnerability and Security IINew Idea Track / Research Track at Cosmos 3A
Chair(s): Chuanyi Li Nanjing University
14:00
15m
Talk
Devmp: A Virtual Instruction Extraction Method for Commercial Code Virtualization Obfuscators
Research Track
Shenqianqian Zhang Key Laboratory of Cyberspace Security, Ministry of Education, Weiyu Dong Information Engineering University, Jian Lin Information Engineering University
14:15
15m
Talk
Line-level Semantic Structure Learning for Code Vulnerability Detection
Research Track
Ziliang Wang Peking University, Ge Li Peking University, Jia Li Tsinghua University, Yihong Dong Peking University, Yingfei Xiong Peking University, Zhi Jin Peking University
14:30
15m
Talk
SLVHound: Static Detection of Session Lingering Vulnerabilities in Modern Java Web ApplicationsACM SIGSOFT  Distinguished Paper Award
Research Track
Haining Meng SKLP, Institute of Computing Technology, CAS, China; University of Chinese Academy of Sciences, China, Jie Lu SKLP, Institute of Computing Technology, CAS, China; University of Chinese Academy of Sciences, China, Yongheng Huang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Lian Li Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences
14:45
15m
Talk
Def-VAE: Identifying Adversarial Inputs with Robust Latent Representations
Research Track
Chengye Li Institute of Software, Chinese Academy of Sciences, Changshun Wu Université Grenoble Alpes, Rongjie Yan Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
15:00
15m
Talk
Fuzzing for Stateful Protocol Programs Based on Constraints between States and Message Types
Research Track
Kunpeng Jian Institute of Information Engineering, Chinese Academy of Sciences, Yanyan Zou Institute of Information Engineering, Chinese Academy of Sciences, Menghao Li Institute of Information Engineering, Chinese Academy of Sciences, Wei Huo Institute of Information Engineering at Chinese Academy of Sciences
15:15
10m
Talk
PriceSleuth: Detecting DeFi Price Manipulation Attacks in Smart Contracts Using LLM and Static Analysis
New Idea Track
Hao Wu Xi'an JiaoTong University, Haijun Wang Xi'an Jiaotong University, Shangwang Li Xi'an Jiaotong University, Yin Wu Xi'an Jiaotong University, Ming Fan Xi'an Jiaotong University, Yitao Zhao Yunnan Power Grid Co., Ltd, Ting Liu Xi'an Jiaotong University
Pre-print
16:00 - 17:30
Session6: AI for Software Engineering IIResearch Track at Cosmos 3A
Chair(s): Xing Hu Zhejiang University
16:00
15m
Talk
Beyond Isolated Changes: A Context-aware and Dependency-enhanced Code Change Detection Method
Research Track
Binghe Wang Xi’an Jiaotong University, Wuxia Jin Xi'an Jiaotong University, Zijun Wang Northwest University, Mengjie Sun Xi’an Jiaotong University, Haijun Wang Xi'an Jiaotong University
16:15
15m
Talk
Orion: A Multi-Agent Framework for Optimizing RAG Systems through Specialized Agent Collaboration
Research Track
xianxing fang Xidian University, Liangru Xie Xidian University, Weibin Yang Xidian University, Tianyi Zhang Xidian University, Zhang Ruitao Xi’an Jiaotong-Liverpool University, Hao Wang Xidian University, Di Wu Norwegian University of Science and Technology, Yushan Pan Xi'an Jiaotong-Liverpool University
File Attached
16:30
15m
Talk
GPT Store Mining and Analysis
Research Track
Dongxun Su Huazhong University of Science and Technology, Yanjie Zhao Huazhong University of Science and Technology, Xinyi Hou Huazhong University of Science and Technology, Shenao Wang Huazhong University of Science and Technology, Haoyu Wang Huazhong University of Science and Technology
16:45
15m
Talk
Mining Discriminative Issue Resolution Temporal Sequential Patterns in Open Source Software Repositories
Research Track
YaxinWang Nanjing University, Liang Wang Nanjing University, Hao Hu Nanjing University, Xianping Tao Nanjing University
17:00
15m
Talk
Generating SysML Behavior Models via Large Language Models: an Empirical Study
Research Track
Yuan Wang School of Software, Beihang University, Ning Ge School of Software, Beihang University, Jiangxi Liu Beihang University, Zhilong Cao Beihang University, Zheping Chen Beihang University, Chunming Hu Beihang University
17:15
15m
Talk
FIRE: Smart Contract Bytecode Function Identification via Graph-Refined Hybrid Feature Encoding
Research Track
Yu Sun Zhejiang University, Lingfeng Bao Zhejiang University, Xiaohu Yang Zhejiang University

Sun 22 Jun

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

09:30 - 10:30
Future of Internetware Workshop IFuture of Internetware Workshop / Research Track at Cosmos 3A
09:30
50m
Keynote
Invited Talk 1: Automated Testing and Safety Analysis of Deep Neural Networks
Future of Internetware Workshop
Lionel Briand University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
11:00 - 13:00
Future of Internetware Workshop IIFuture of Internetware Workshop / Research Track at Cosmos 3A
11:00
50m
Keynote
Invited Talk 2: Testing Cyber-Physical Systems with AI Foundation Models
Future of Internetware Workshop
Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University
11:50
50m
Keynote
Invited Talk 3: Reinventing Testing for Big Data and Heterogeneous Computing
Future of Internetware Workshop
Miryung Kim UCLA and Amazon Web Services
14:00 - 15:30
Future of Internetware Workshop IIIFuture of Internetware Workshop / Research Track at Cosmos 3A
14:00
50m
Keynote
Invited Talk 4: Combatting Software Sprawl with LLMs
Future of Internetware Workshop
Earl T. Barr University College London
14:50
50m
Keynote
Invited Talk 5: Empowering Cloud Intelligence (AIOps) with LLMs: Advances, Learnings, and Beyond
Future of Internetware Workshop
Dongmei Zhang Microsoft
16:00 - 17:30
Future of Internetware Workshop IVFuture of Internetware Workshop / Research Track at Cosmos 3A
16:00
50m
Keynote
Invited Talk 6: Testing Code Analyzer using Code Generator
Future of Internetware Workshop
Shin Hwei Tan Concordia University
16:50
50m
Keynote
Invited Talk 7: Efficient and Green Code LLMs: Happier Software Engineers, Happier Planet
Future of Internetware Workshop
David Lo Singapore Management University

Mon 23 Jun

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

10:30 - 12:30
10:30
20m
Talk
On-Demand Scenario Generation for Testing Automated Driving Systems
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
14:00 - 15:20
Program Analysis 1FSE Industry Papers / FSE 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
FSE Research Papers
Katherine Hough Northeastern University, Jonathan Bell Northeastern University
DOI
14:20
20m
Talk
HapTest: The Dynamic Analysis Framework for OpenHarmony
FSE 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
FSE 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
FSE 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
16:00 - 18:00
Testing 2FSE Journal First / FSE 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
FSE 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
FSE 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
FSE Research Papers
Zhijie Wang University of Alberta, Zhehua Zhou University of Macau, Norman Song , 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
FSE 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
FSE 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
FSE Research Papers
Sujin Jang KAIST, Yeonhee Ryou KAIST, Heewon Lee KAIST, Korea, South (The Republic of), Kihong Heo KAIST
DOI

Tue 24 Jun

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

10:30 - 12:30
Verification and ValidationFSE Demonstrations / FSE Ideas, Visions and Reflections / FSE Research Papers / FSE 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
FSE Demonstrations
Kevin Guan Cornell University, Owolabi Legunsen Cornell University
10:40
10m
Talk
VO-GCSE: Verification Optimization through Global Common Subexpression Elimination
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
FSE Research Papers
Lars Gröninger University of Stuttgart, Beatriz Souza Universität Stuttgart, Michael Pradel University of Stuttgart
DOI
14:00 - 15:20
Empirical Studies 1FSE Research Papers / FSE 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
FSE 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
FSE 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
FSE 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
FSE Journal First
Mehil Shah Dalhousie University, Masud Rahman Dalhousie University, Foutse Khomh Polytechnique Montréal
Link to publication Pre-print
16:00 - 17:40
16:00
20m
Talk
LicenseGPT: A Fine-tuned Foundation Model for Publicly Available Dataset License Compliance
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
FSE 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
17:45 - 19:00
SIGSOFT Townhall on Technical DebtFSE Plenary Events at Cosmos 3A
17:45
75m
Meeting
Technical Debt Town Hall
FSE Plenary Events

Mon 23 Jun

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

Fri 20 Jun

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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cosmos 3A

Sat 21 Jun

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cosmos 3A

Mon 23 Jun

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Cosmos 3A

Tue 24 Jun

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Cosmos 3A